Device Tree Blob support in l4linux

Martin Schröder martin.schroeder at
Tue Aug 19 10:32:45 CEST 2014

Hi Adam,

Am 19.08.2014 um 00:13 schrieb Adam Lackorzynski:
>> I am using the imx28-evk.dts where I replaced the "model" and "compatible"
>> line by what I found in simple.dts.
> Ok, that's one thing to do. Does Linux say that it uses a DT? Like:
> [    0.000000] Machine model: L4Linux (DT)

Yes it does:

> Booting Linux on physical CPU 0x0
> Linux version 3.14.0-l4 (mschroeder at dev04) (gcc version 4.6.2 (OSELAS.Toolchain-2011.11.3) ) #32 Mon Aug 18
> DTB: virt=02400100 phys=41600100
> CPU: Fiasco [41069265] revision 5 (ARMv5TEJ, cr=00000000
> CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction cache
> Machine model: L4Linux (DT)
> Ignoring RAM at 40000000-47ffffff (!CONFIG_HIGHMEM).
> Memory pilcy: Data cache writeback


More information about the l4-hackers mailing list