How to run t1040d4rdb with 32 bit physical address space

cancel
Showing results for 
Show  only  | Search instead for 
Did you mean: 

How to run t1040d4rdb with 32 bit physical address space

975 Views
jlee3
Contributor I

I have t1040d4rdb boards and learned that Linux Kernel and Device Tree shipped with the board is compiled for 36 bit physical address support.  I found an application note "Utilizing 36-Bit Physical Addressing in U-Boot and Linux" and tried to recompile Linux Kernel and Device Tree for 32 bit addressing.

I am running into several issues:

- When I run menuconfig to deselect CONFIG_PHYS_64BIT option, it did not allow me to deselect CONFIG_PHYS_64BIT.  I could not deselect CONFIG_SWIOTLB option either.  I then manually changed .config file to deselect the following kernel options:

  • CONFIG_PTE_64BIT 
  • CONFIG_PHYS_64BIT
  • CONFIG_ARCH_PHYS_ADDR_T_64BIT
  • CONFIG_ARCH_DMA_ADDR_T_64BIT
  • CONFIG_SWIOTLB
  • CONFIG_PHYS_ADDR_T_64BIT
  • CONFIG_PCI_BUS_ADDR_T_64BIT

- When I looked for device tree, I could not find any device tree files with 32 bit address for t1040rdb.  All device trees for t1040rdb are currently written for 36 bit address.

Could you provide a step by step instructions for how to build Linux kernel and Device tree with 32 bit address?

I believe that u-boot currently loaded on t1040d4rdb has 32 bit u-boot but I could not confirm.

Thanks in advance.

James

0 Kudos
Reply
2 Replies

765 Views
jlee3
Contributor I

Pavel,

Thanks for the reply.

However, I am already using t1040d4rdb.conf to build Linux kernel and Device Tree.

$ . ./fsl-setup-env -m t1040d4rdb

$ bitbake fsl-image-core

image files generated in deploy/ contains linux kernel with 36 bit physical addressing support 

For example, PCIe region for network card is mapped at 0xc10000000

What I need to accomplish is t1040d4rdb to build for 32 bit as the conf file says.

Thanks.

James Lee

0 Kudos
Reply

765 Views
Pavel
NXP Employee
NXP Employee

NXP SDK 2.0-1703 supports the following machines:

 

    b4420qds-64b b4420qds b4860qds-64b b4860qds

                c293pcie

                ls1021atwr ls1043aqds ls1043ardb ls1043ardb-32b ls2080ardb

                p2041rdb p3041ds p4080ds p5020ds-64b p5020ds p5040ds-64b p5040ds

                t1023rdb-64b t1023rdb t1024rdb-64b t1024rdb t1040d4rdb-64b t1040d4rdb t1042d4rdb-64b

                t1042d4rdb t2080qds-64b t2080qds t2080rdb-64b t2080rdb t4160qds-64b t4160qds t4240qds-64b

                t4240qds t4240rdb-64b t4240rdb

                ls1012afrdm-32b ls1012afrdm ls1012ardb-32b ls1012ardb ls1043ardb-32b ls1046ardb-32b ls1046ardb ls2088ardb

 

There is the following description for the t1040d4rdb configuration:

#              Design Board with ppce5500 core in 32b mode

 

There is the following description for the t1040d4rdb-64b configuration:

#              Design Board with ppce5500 core in 64b mode

 

Use the t1040d4rdb configuration for 32-bit mode using.

 

See attached files.


Have a great day,
Pavel Chubakov

-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------

0 Kudos
Reply