Hi Matthias,
I have tried another approach that to set up the network device on vexpress-a15 that simulated by Qemu.
But the boot process stops at the same point as on Cubietruck. If I delete the l4x_dtb=rom/vexpress_a15.dtb
from the cmdline, then it can boot the L4Linux. I attached the boot log.
Regards,
Yang
The boot log:
L4 Bootstrapper Build: #9 Do 21. Sep 13:49:59 CEST 2017, 5.4.1 20170404 Scanning up to 256 MB RAM, starting at offset 32MB Memory size is 256MB (80000000 - 8fffffff) RAM: 0000000080000000 - 000000008fffffff: 262144kB Total RAM: 256MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 13 modules behind 81100000 moving module 02 { 81a33000-81a644ab } -> { 81b23000-81b544ab } [201900] moving module 01 { 81a21000-81a3233f } -> { 81b11000-81b2233f } [70464] moving module 00 { 8199a000-81a20d5b } -> { 81a8a000-81b10d5b } [552284] moving module 12 { 8169a000-81999fff } -> { 8178a000-81a89fff } [3145728] moving module 11 { 81278000-81699487 } -> { 81368000-81789487 } [4330632] moving module 10 { 81277000-81277086 } -> { 81367000-81367086 } [135] moving module 09 { 81276000-81276445 } -> { 81366000-81366445 } [1094] moving module 08 { 81275000-81275420 } -> { 81365000-81365420 } [1057] moving module 07 { 81271000-8127444b } -> { 81361000-8136444b } [13388] moving module 06 { 8123f000-812708b3 } -> { 8132f000-813608b3 } [202932] moving module 05 { 81094000-8123e8e7 } -> { 81184000-8132e8e7 } [1747176] moving module 04 { 81032000-810936b3 } -> { 81122000-811836b3 } [399028] moving module 03 { 81010000-8103146f } -> { 81100000-8112146f } [136304] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page (via ELF) at 80002000 Regions of list 'regions' [ 80000000, 800001db] { 1dc} Root mbi_rt [ 80001000, 80001a7f] { a80} Kern fiasco [ 80002000, 80096fff] { 95000} Kern fiasco [ 800c0000, 800ca3e7] { a3e8} Sigma0 sigma0 [ 800d0000, 800d6177] { 6178} Sigma0 sigma0 [ 80140000, 8016eb7b] { 2eb7c} Root moe [ 80170000, 8017661b] { 661c} Root moe [ 81000000, 8100f5df] { f5e0} Boot bootstrap [ 81100000, 81a89fff] { 98a000} Root Module found kernel options (via ELF) at 80003000 API Version: (87) experimental Sigma0 config ip:800c0100 sp:00000000 Roottask config ip:80140210 sp:00000000 Starting kernel fiasco at 800011b8 Realview System ID: Rev=1 HBI=190 Build=f Arch=5 FPGA=00 Hello from Startup::stage2 Number of IRQs available at this GIC: 160 FPU: Initialize FPU0: Subarch: 4, Part: 30, Rev: 0, Var: f, Impl: 41 ARM generic timer: freq=62500000 interval=62500 cnt=5156008 SERIAL ESC: allocated IRQ 37 for serial uart Not using serial hack in slow timer handler. Welcome to L4/Fiasco.OC! L4/Fiasco.OC microkernel on arm Rev: unknown compiled with gcc 5.4.1 20170404 for Realview [] Build: #1 Thu Sep 21 11:11:54 CEST 2017
Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 80002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:80000000;80000fff] [0:80097000;800bffff] [0:800cb000;800cffff] [0:800d7000;8013ffff] [4:80140000;8016efff] [0:8016f000;8016ffff] [4:80170000;80176fff] [0:80177000;810fffff] [4:81100000;81a89fff] [0:81a8a000;8effffff] IOMEM:---------------------- [0:0;7fffffff] [0:90000000;ffffffff] mmap() called: unimplemented! MOE: Hello world MOE: found 235100 KByte free memory MOE: found RAM from 80000000 to 8f000000 MOE: allocated 240 KByte for the page array @0x800d7000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:103000] BOOTFS: [81100000-81121470] [C:105000] l4re BOOTFS: [81122000-811836b4] [C:107000] ned BOOTFS: [81184000-8132e8e8] [C:109000] io BOOTFS: [8132f000-813608b4] [C:10b000] cons BOOTFS: [81361000-8136444c] [C:10d000] vexpress_a15.dtb BOOTFS: [81365000-81365421] [C:10f000] l4lx-net-vex.cfg BOOTFS: [81366000-81366446] [C:111000] l4lx-net-vex.devs BOOTFS: [81367000-81367087] [C:113000] l4lx-net-vex.io BOOTFS: [81368000-81789488] [C:115000] vmlinuz BOOTFS: [8178a000-81a8a000] [C:117000] ramdisk-arm.rd MOE: cmdline: moe rom/l4lx-net-vex.cfg MOE: Starting: rom/ned rom/l4lx-net-vex.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-net-vex.cfg' Console Server cons> Created vcon channel: IO [41f010] cons> IO | Io service IO | Verboseness level: 4 IO | unused physical memory space: IO | [00000000000000-0000007fffffff] IO | [00000090000000-000000ffffffff] IO | no 'iommu' capability found use CPU-phys for DMA IO | Loading: config 'rom/l4lx-net-vex.devs' IO | Loading: config 'rom/l4lx-net-vex.io' IO | Real Hardware ----------------------------------- IO | System Bus: hid= IO | Resources: ==== start ==== IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Resources: ===== end ===== IO | clcd: hid=AMBA PL110 IO | Resources: ==== start ==== IO | IOMEM [00000010020000-00000010020fff 1000] non-pref (32bit) (align=fff flags=2) IO | Resources: ===== end ===== IO | CTRL: hid=System Control IO | Resources: ==== start ==== IO | IOMEM [00000010000000-00000010000fff 1000] non-pref (32bit) (align=fff flags=2) IO | Resources: ===== end ===== IO | kmi0: hid= IO | Resources: ==== start ==== IO | IRQ [0000000000002c-0000000000002c 1] none (32bit) (align=0 flags=1) IO | IOMEM [00000010006000-00000010006fff 1000] non-pref (32bit) (align=fff flags=2) IO | Resources: ===== end ===== IO | virtio_mmio3: hid= IO | Resources: ==== start ==== IO | IRQ [0000000000004b-0000000000004b 1] none (32bit) (align=0 flags=1) IO | IOMEM [00000010013600-000000100137ff 200] non-pref (32bit) (align=1ff flags=2) IO | Resources: ===== end ===== IO | NIC: hid=smc91x IO | Clients: ===== start ==== IO | NIC: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IRQ [0000000000003c-0000000000003c 1] none (32bit) (align=0 flags=1) IO | IOMEM [00000010030000-00000010030fff 1000] non-pref (32bit) (align=fff flags=2) IO | Resources: ===== end ===== IO | kmi1: hid= IO | Resources: ==== start ==== IO | IRQ [0000000000002d-0000000000002d 1] none (32bit) (align=0 flags=1) IO | IOMEM [00000010007000-00000010007fff 1000] non-pref (32bit) (align=fff flags=2) IO | Resources: ===== end ===== IO | warning: could not register control interface at cap 'platform_ctl' IO | Ready. Waiting for request. PH 0 offs=00010000 flags=rwx PH-type=0x1 virt=02000000 evirt=0247b5bc phys=02000000 ephys=0247b5bc f_sz=003f24df memsz=0047b5bc PH 1 offs=003b1cf8 flags=r-x PH-type=0x4 virt=023a1cf8 evirt=023a1d1c phys=023a1cf8 ephys=023a1d1c f_sz=00000024 memsz=00000024 PH 2 offs=00000000 flags=rwx PH-type=0x6474e551 virt=00000000 evirt=00000000 phys=00000000 ephys=00000000 f_sz=00000000 memsz=00000000 Starting binary at 0x2000330, argc=10 argv=0xafff4f7c *argv=0xb1007ff4 argv0=rom/vmlinuz External resolver is at 0xa80007f0 ======> L4Linux starting... <======== Linux version 4.7.0-l4 (yiyang@i85217) (gcc version 5.4.1 20170404 (Linaro GCC 5.4-2017.05) ) #2 Thu Sep 21 13:29:53 CEST 2017 Binary name: rom/vmlinuz This is an AEABI build. Linux kernel command line (9 args): mem=64M console=ttyLv0 earlyprintk=1 l4x_rd=rom/ramdisk-arm.rd root=1:0 rw ramdisk_size=4000 l4x_dtb=rom/vexpress_a15.dtb l4shmnet.add=shmns,macpart=1 CPU mapping (l:p)[1]: 0:0 Image: 02000000 - 02600000 [6144 KiB]. Areas: Text: 02000000 - 023a1d1c [3719kB] RO-Data: 022c0000 - 0238d000 [820kB] Data: 023ca000 - 023ed200 [140kB] Init: 023a2000 - 023ca000 [160kB] BSS: 023f24df - 0247b5bc [548kB] Device scan: Device: L4ICU Device: NIC IRQ: 0000003c - 0000003c MEM: 10030000 - 10030fff Device scan done. IO | vbus l4linux does not support a global DMA domain error: could not assign DMA space to vBUS: -2 DMA will not work! l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00, v:b3000c00, sp:023cbfa4) main thread will be 41d L4x: section-with-init(-data): Virt: 0x2000000 to 0x247bfff [4592 KiB] L4x: section-with-init-text: Virt: 0x2000000 to 0x247bfff [4592 KiB] L4x: Main thread running, waiting... L4x: Memory size: 64MB L4x: Setting superpages for main memory L4x: Adjusted memory start: 02000000 L4x: Main memory: Virt: 0x2600000 to 0x65fffff [65536 KiB] l4x: vmalloc area: 06600000 - 0e600000 L4x: text: Virt: 0x2000000 to 0x247bfff [4592 KiB]
________________________________ From: Matthias Lange matthias.lange@kernkonzept.com Sent: 15 September 2017 08:08 To: l4-hackers@os.inf.tu-dresden.de Cc: Yiyang Su Subject: Re: Add network device to L4Linux
Hi Yang,
I have to admit that I don't know what's going wrong yet. Your configuration looks reasonable. I need a little bit more time to reproduce your issue and to analyze the problem.
Regards, Matthias.
On 09/13/2017 01:56 PM, Yiyang Su wrote:
Hi,
Starting from a previous work [1], I have succeeded in booting L4Linux on
Cubietruck with the snapshot (l4re-snapshot-2016082114). Then I have
been trying to configure L4Linux to access Ethernet device. With current
configuration I cannot boot L4Llinux anymore. Following is my configuration
and boot log:
l4lx-net-cubi.devs
===========================================
local Res = Io.Res local Hw = Io.Hw
Io.hw_add_devices(function() NIC = Hw.Device(function() Property.hid = "sun7ia20gmac"; compatible = {"allwinner,sun7i-a20-gmac"}; Resource.regs = Res.mmio(0x01c50000, 0x01c5ffff); --Resource.irq = Res.irq(0); Resource.irq = Res.irq(85); --Resource.irq = Res.irq(4); Property.flags = Io.Hw_device_DF_dma_supported; end); end)
l4lx-net-cubi.io
===========================================
local hw = Io.system_bus()
Io.add_vbus("l4linux", Io.Vi.System_bus { NIC = wrap(hw:match("allwinner,sun7i-a20-gmac")); })
l4lx-net-cubi.cfg
===========================================
local L4 = require("L4");
local loader = L4.default_loader;
vbus_l4linux = loader:new_channel();
loader:start( { caps = { icu = L4.Env.icu, sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0), l4linux = vbus_l4linux:svr(), }, log = {"IO", "y"}, l4re_dbg = L4.Dbg.Warn, }, "rom/io -vvv rom/l4lx-net-cubi.devs rom/l4lx-net-cubi.io" );
-- start L4Linux loader:start( { caps = { vbus = vbus_l4linux, }, --log = {"l4linux", "cyan"}, log = L4.Env.log:m("rws"), l4re_dbg = L4.Dbg.Warn, }, "rom/vmlinuz mem=64M console=ttyLv0 earlyprintk=1 l4x_dtb=rom/sun7i-a20-cubietruck.dtb " .. "l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd " .. "root=1:0 rw ramdisk_size=4000" );
modules.list
entry L4Linux-net-cubi roottask moe rom/l4lx-net-cubi.cfg module l4re module ned module io module sun7i-a20-cubietruck.dtb module l4lx-net-cubi.cfg module l4lx-net-cubi.devs module l4lx-net-cubi.io module vmlinuz module[perl] "ramdisk-$ENV{ARCH}.rd"
boot log
U-Boot SPL 2017.03-rc3 (Aug 14 2017 - 13:26:17) DRAM: 2048 MiB CPU: 912000000Hz, AXI/AHB/APB: 3/2/2 Trying to boot from MMC1
U-Boot 2017.03-rc3 (Aug 14 2017 - 13:26:17 +0200) Allwinner Technology
CPU: Allwinner A20 (SUN7I) Model: Cubietech Cubietruck I2C: ready DRAM: 2 GiB MMC: SUNXI SD/MMC: 0 *** Warning - bad CRC, using default environment
Setting up a 1024x768 vga console (overscan 0x0) In: serial Out: vga Err: vga SCSI: SATA link 0 timeout. AHCI 0001.0100 32 slots 1 ports 3 Gbps 0x1 impl SATA mode flags: ncq stag pm led clo only pmp pio slum part ccc apst Net: eth0: ethernet@01c50000 starting USB... USB0: USB EHCI 1.00 USB1: USB OHCI 1.0 USB2: USB EHCI 1.00 USB3: USB OHCI 1.0 scanning bus 0 for devices... 1 USB Device(s) found scanning bus 2 for devices... 1 USB Device(s) found scanning usb for storage devices... 0 Storage Device(s) found Hit any key to stop autoboot: 0 switch to partitions #0, OK mmc0 is current device Scanning mmc 0:1... Found U-Boot script /boot/boot.scr reading /boot/boot.scr 1165 bytes read in 24 ms (46.9 KiB/s) ## Executing script at 43100000 Failed to mount ext2 filesystem... ** Unrecognized filesystem type ** reading boot/uImage 10481728 bytes read in 652 ms (15.3 MiB/s) ## Booting kernel from Legacy Image at 48000000 ... Image Name: L4 Image #32 Image Type: ARM Linux Kernel Image (uncompressed) Data Size: 10481664 Bytes = 10 MiB Load Address: 41000000 Entry Point: 41000000 Verifying Checksum ... OK Loading Kernel Image ... OK
Starting kernel ...
L4 Bootstrapper Build: #32 Mi 13. Sep 11:47:18 CEST 2017, 4.9.4 Scanning up to 1024 MB RAM, starting at offset 32MB Memory size is 1024MB (40000000 - 7fffffff) RAM: 0000000040000000 - 000000007fffffff: 1048576kB Total RAM: 1024MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 12 modules behind 41100000 moving module 02 { 419cd000-419fe49b } -> { 41abd000-41aee49b } [201884] moving module 01 { 419bb000-419cc337 } -> { 41aab000-41abc337 } [70456] moving module 00 { 4192d000-419ba98b } -> { 41a1d000-41aaa98b } [579980] moving module 11 { 4162d000-4192cfff } -> { 4171d000-41a1cfff } [3145728] moving module 10 { 4122b000-4162c473 } -> { 4131b000-4171c473 } [4199540] moving module 09 { 4122a000-4122a0c2 } -> { 4131a000-4131a0c2 } [195] moving module 08 { 41229000-412291ef } -> { 41319000-413191ef } [496] moving module 07 { 41228000-4122835d } -> { 41318000-4131835d } [862] moving module 06 { 4121f000-41227d73 } -> { 4130f000-41317d73 } [36212] moving module 05 { 41094000-4121e8d3 } -> { 41184000-4130e8d3 } [1616084] moving module 04 { 41032000-410936a7 } -> { 41122000-411836a7 } [399016] moving module 03 { 41010000-4103145f } -> { 41100000-4112145f } [136288] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page (via ELF) at 40002000 Regions of list 'regions' [ 40000000, 400001cf] { 1d0} Root mbi_rt [ 40001000, 40001a7f] { a80} Kern fiasco [ 40002000, 4009afff] { 99000} Kern fiasco [ 400c0000, 400ca287] { a288} Sigma0 sigma0 [ 400d0000, 400d6177] { 6178} Sigma0 sigma0 [ 40140000, 40168fcb] { 28fcc} Root moe [ 40170000, 40176ff3] { 6ff4} Root moe [ 41000000, 4100f5cb] { f5cc} Boot bootstrap [ 41100000, 41a1cfff] { 91d000} Root Module found kernel options (via ELF) at 40003000 API Version: (87) experimental Sigma0 config ip:400c0100 sp:00000000 Roottask config ip:40140210 sp:00000000 Starting kernel fiasco at 4000124c Non-HYP kernel detected but running in HYP mode, switching back. Hello from Startup::stage2 Number of IRQs available at this GIC: 160 FPU: Initialize FPU0: Subarch: 2, Part: 30, Rev: 4, Var: 7, Impl: 41 ARM generic timer: freq=24000000 interval=24000 cnt=212673046 SERIAL ESC: allocated IRQ 33 for serial uart Not using serial hack in slow timer handler. Welcome to L4/Fiasco.OC! L4/Fiasco.OC microkernel on arm Rev: unknown compiled with gcc 4.9.4 for Allwinner A20 [] Build: #4 Mon Sep 11 10:25:38 CEST 2017
Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 40002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:40000000;40000fff] [0:4009b000;400bffff] [0:400cb000;400cffff] [0:400d7000;4013ffff] [4:40140000;40168fff] [0:40169000;4016ffff] [4:40170000;40176fff] [0:40177000;410fffff] [4:41100000;41a1cfff] [0:41a1d000;7effffff] IOMEM:---------------------- [0:0;3fffffff] [0:80000000;ffffffff] MOE: Hello world MOE: found 1021976 KByte free memory MOE: found RAM from 40000000 to 7f000000 MOE: allocated 1008 KByte for the page array @0x40177000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:103000] BOOTFS: [41100000-41121460] [C:105000] l4re BOOTFS: [41122000-411836a8] [C:107000] ned BOOTFS: [41184000-4130e8d4] [C:109000] io BOOTFS: [4130f000-41317d74] [C:10b000] sun7i-a20-cubietruck.dtb BOOTFS: [41318000-4131835e] [C:10d000] l4lx-net-cubi.cfg BOOTFS: [41319000-413191f0] [C:10f000] l4lx-net-cubi.devs BOOTFS: [4131a000-4131a0c3] [C:111000] l4lx-net-cubi.io BOOTFS: [4131b000-4171c474] [C:113000] vmlinuz BOOTFS: [4171d000-41a1d000] [C:115000] ramdisk-arm.rd MOE: cmdline: moe rom/l4lx-net-cubi.cfg MOE: Starting: rom/ned rom/l4lx-net-cubi.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-net-cubi.cfg' IO | Io service IO | Verboseness level: 4 IO | unused physical memory space: IO | [00000000000000-0000003fffffff] IO | [00000080000000-000000ffffffff] IO | no 'iommu' capability found use CPU-phys for DMA IO | Loading: config 'rom/l4lx-net-cubi.devs' IO | warning: inconsistent fixed resource @ device: /System Bus/ IO | : hid=sun7ia20gmac IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Loading: config 'rom/l4lx-net-cubi.io' IO | Real Hardware ----------------------------------- IO | System Bus: hid= IO | Resources: ==== start ==== IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Resources: ===== end ===== IO | NIC: hid=sun7ia20gmac IO | Clients: ===== start ==== IO | NIC: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IRQ [00000000000055-00000000000055 1] none (32bit) (align=0 flags=1) IO | IOMEM [00000001c50000-00000001c5ffff 10000] non-pref (32bit) (align=ffff flags=2) IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Resources: ===== end ===== IO | warning: could not register control interface at cap 'platform_ctl' IO | Ready. Waiting for request. PH 0 offs=00010000 flags=rwx PH-type=0x1 virt=02000000 evirt=0245b5dc phys=02000000 ephys=0245b5dc f_sz=003d3653 memsz=0045b5dc PH 1 offs=00394898 flags=r-x PH-type=0x4 virt=02384898 evirt=023848bc phys=02384898 ephys=023848bc f_sz=00000024 memsz=00000024 PH 2 offs=00000000 flags=rwx PH-type=0x6474e551 virt=00000000 evirt=00000000 phys=00000000 ephys=00000000 f_sz=00000000 memsz=00000000 Starting binary at 0x2000330, argc=9 argv=0xafff4f84 *argv=0xb1007ff4 argv0=rom/vmlinuz External resolver is at 0xa80007cc ======> L4Linux starting... <======== Linux version 4.7.0-l4 (yiyang@i85217) (gcc version 4.9.4 (Linaro GCC 4.9-2017.01) ) #4 Wed Sep 13 11:18:30 CEST 2017 Binary name: rom/vmlinuz This is an AEABI build. Linux kernel command line (8 args): mem=64M console=ttyLv0 earlyprintk=1 l4x_dtb=rom/sun7i-a20-cubietruck.dtb l4x_rd=rom/ramdisk-arm.rd root=1:0 rw ramdisk_size=4000 CPU mapping (l:p)[1]: 0:0 Image: 02000000 - 02600000 [6144 KiB]. Areas: Text: 02000000 - 023848bc [3602kB] RO-Data: 022ad000 - 02370000 [780kB] Data: 023ac000 - 023cefe0 [139kB] Init: 02385000 - 023ac000 [156kB] BSS: 023d3653 - 0245b5dc [543kB] Device scan: Device: L4ICU Device: NIC IRQ: 00000055 - 00000055 MEM: 01c50000 - 01c5ffff DMAD: 00000000 - 00000000 Device scan done. l4lx_thread_create: Created thread 41e (cpu0) (u:b3000e00, v:b3000c00, sp:023adfa4) main thread will be 41e L4x: section-with-init(-data): Virt: 0x2000000 to 0x245bfff [4464 KiB] section-with-init(-data): Phys: 0x40273000 to 0x406cefff, [4464 KiB] L4x: section-with-init-text: Virt: 0x2000000 to 0x245bfff [4464 KiB] error: failed to get physical address for 2000000. L4x: Main thread running, waiting... L4x: Memory size: 64MB L4x: Setting superpages for main memory L4x: Adjusted memory start: 02000000 L4x: Main memory: Virt: 0x2600000 to 0x65fffff [65536 KiB] Main memory: Phys: 0x41c00000 to 0x45bfffff, [65536 KiB] l4x: vmalloc area: 06600000 - 0e600000 L4x: text: Virt: 0x2000000 to 0x245bfff [4464 KiB] error: failed to get physical address for 2000000.
The boot process stops at this point. Compare with other boot logs in archives the following step could be the loading ramdisk and device tree blob. Then I delete the "l4x_dtb=rom/sun7i-a20-cubietruck.dtb" from the cmdline, it can boot the L4Linux again. Does it mean there is a problem with loading the device tree blob?
Any suggestion is very appreciated. Thanks.
Best regards, Yang
[1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2017/008120.html