Hi L4-hackers,

I'm a newbie of L4 micro-kernel. The Fiasco/L4/L4Linux is really a good design for system architecture in the future. I'm trying to porting the L4 system to my target then evaluate. On my target, there is an DMA controller, which moves data to flash. Originally, Native-Linux uses dma_alloc_coherent() to allocate a DMA-dedicated memory. CPU copies data to that DMA-dedicated memory, then DMA controller moves data from DMA-dedicated memory to flash.

In L4Linux, I guess there should be some settings of DMA in I/O server configuration files. I'm searching for an example of configuring DMA-related settings.

I use the snapshot “l4re-snapshot-2016082114”. In my current configuration, "DEVICE1" is the DMA controller, "DEVICE2" is the flash, and "DMAMEM" is the DMA-dedicated memory. However, it generates some DMA-related error in boot messages. Such as:

IO | no 'iommu' capability found use CPU-phys for DMA IO | warning: inconsistent fixed resource @ device: /System Bus/ error: failed to get physical address for 2000000.

And so on.

The first thing I want to do is to make the boot message correct and I have the following questions: 1. Is the "DMAMEM" device needed to be configured? If needed, how to specify this to be a DMA memory? 2. Will dma_alloc_coherent() use the "DMAMEM" or other memory? Can I use dma_alloc_coherent() as Native-Linux? 3. I've also found a flag "Property.flags = Io.Hw_device_DF_dma_supported;". I'm not sure its usage. I just add this flag to DEVICE1(DMA controller) and DEVICE2(flash), is it correct? 4. Is my l4linux-io.devs and l4linux-io.io correct or need other modification for DMA? 5. I’ve found “IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6)” in the boot message. What the “DMADOM” means?

Any suggestion is very appreciated. Thanks.

BRs, Jesse

Here is my configurations: ---------------------------------------- l4linux-io.cfg:

local L4 = require("L4"); loader = L4.default_loader; local lxname = "vmlinuz"; vbus_l4linux = loader:new_channel(); loader:start( { caps = { sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; l4linux = vbus_l4linux:svr(); }, log = {"IO", "magenta"}, }, "rom/io -vvv rom/l4linux-io.devs rom/l4linux-io.io"); -- Start Linux loader:start( { caps = { vbus = vbus_l4linux; }, l4re_dbg = L4.Dbg.Warn, log = L4.Env.log:m("rws"), }, "rom/vmlinuz mem=64M console=ttyLv0 l4x_dtb=rom/simple.dtb l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=3072"); ---------------------------------------- l4linux-io.devs:

local Res = Io.Res local Hw = Io.Hw Io.hw_add_devices(function() DEVICE1 = Hw.Device(function() Property.hid = "device1"; compatible = {"arm,device1"}; Resource.regs = Res.mmio(0x14000000, 0x15ffffff); Property.flags = Io.Hw_device_DF_dma_supported; end); DEVICE2 = Hw.Device(function() Property.hid = "device2"; compatible = {"arm,device2"}; Resource.regs = Res.mmio(0x1F000000, 0x1F3fffff); Resource.irq = Res.irq(66); Property.flags = Io.Hw_device_DF_dma_supported; end); DMAMEM = Hw.Device(function() Property.hid = "dmamem"; compatible = {"arm,dmamem"}; Resource.mmio = Io.Mmio_data_space(0x10000, 0); end); end) ---------------------------------------- l4linux-io.io:

local hw = Io.system_bus()

Io.add_vbus("l4linux", Io.Vi.System_bus { DEVICE1 = wrap(hw:match("arm,device1")); DEVICE2 = wrap(hw:match("arm,device2")); DMAMEM = wrap(hw:match("arm,dmamem")); }) ---------------------------------------- boot messages:

L4 Bootstrapper Build: #164 拻 12堎 9 11:39:51 CST 2016, 4.8.4 Scanning up to 128 MB RAM, starting at offset 32MB Memory size is 128MB (20000000 - 27ffffff) RAM: 0000000020000000 - 0000000027ffffff: 131072kB Total RAM: 128MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 13 modules behind 21100000 moving module 02 { 219d5000-21a064ab } -> { 21ac6000-21af74ab } [201900] moving module 01 { 219c3000-219d434b } -> { 21ab4000-21ac534b } [70476] moving module 00 { 2193d000-219c29db } -> { 21a2e000-21ab39db } [547292] moving module 12 { 21935000-2193cd5d } -> { 21a26000-21a2dd5d } [32094] moving module 11 { 21635000-21934fff } -> { 21726000-21a25fff } [3145728] moving module 10 { 2121b000-21634487 } -> { 2130c000-21725487 } [4297864] moving module 09 { 2121a000-2121a0fa } -> { 2130b000-2130b0fa } [251] moving module 08 { 21219000-2121939b } -> { 2130a000-2130a39b } [924] moving module 07 { 2109e000-212188db } -> { 2118f000-213098db } [1550556] moving module 06 { 21084000-2109d583 } -> { 21175000-2118e583 } [103812] moving module 05 { 2102a000-210836b7 } -> { 2111b000-211746b7 } [366264] moving module 04 { 21010000-21029473 } -> { 21101000-2111a473 } [103540] moving module 03 { 2100f000-2100f325 } -> { 21100000-21100325 } [806] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page (via ELF) at 20002000 Regions of list 'regions' [ 20000000, 200001c7] { 1c8} Root mbi_rt [ 20001000, 20001aff] { b00} Kern fiasco [ 20002000, 20092fff] { 91000} Kern fiasco [ 200c0000, 200c9f43] { 9f44} Sigma0 sigma0 [ 200d0000, 200d6177] { 6178} Sigma0 sigma0 [ 20140000, 20168c27] { 28c28} Root moe [ 20170000, 2017b58b] { b58c} Root moe [ 21000000, 2100e5e3] { e5e4} Boot bootstrap [ 21100000, 21a2dfff] { 92e000} Root Module found kernel options (via ELF) at 20003000 API Version: (87) experimental Sigma0 config ip:200c0100 sp:00000000 Roottask config ip:2014020c sp:00000000 Starting kernel fiasco at 200012b8 Realview System ID: Rev=0 HBI=000 Build=0 Arch=0 FPGA=00 Invalid System ID for this kernel config Expected (00000000 & cfffff00) == 0190f500 Stopping. Hello from Startup::stage2 Number of IRQs available at this GIC: 160 FPU: Initialize FPU0: Subarch: 2, Part: 30, Rev: 5, Var: 7, Impl: 41 ARM generic timer: freq=6000000 interval=6000 cnt=18158508199882336289 SERIAL ESC: allocated IRQ 98 for serial uart Not using serial hack in slow timer handler. Welcome to L4/Fiasco.OC! L4/Fiasco.OC microkernel on arm Rev: r72 compiled with gcc 4.8.4 for Realview [] Build: #16 Tue Nov 29 12:16:44 CST 2016

Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 20002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:20000000;20000fff] [0:20093000;200bffff] [0:200ca000;200cffff] [0:200d7000;2013ffff] [4:20140000;20168fff] [0:20169000;2016ffff] [4:20170000;2017bfff] [0:2017c000;210fffff] [4:21100000;21a2dfff] [0:21a2e000;26ffffff] IOMEM:---------------------- [0:0;1fffffff] [0:28000000;ffffffff] MOE: Hello world MOE: found 104420 KByte free memory MOE: found RAM from 20000000 to 27000000 MOE: allocated 112 KByte for the page array @0x20093000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:103000] BOOTFS: [21100000-21100326] [C:105000] l4linux-io.cfg BOOTFS: [21101000-2111a474] [C:107000] l4re BOOTFS: [2111b000-211746b8] [C:109000] ned BOOTFS: [21175000-2118e584] [C:10b000] hello BOOTFS: [2118f000-213098dc] [C:10d000] io BOOTFS: [2130a000-2130a39c] [C:10f000] l4linux-io.devs BOOTFS: [2130b000-2130b0fb] [C:111000] l4linux-io.io BOOTFS: [2130c000-21725488] [C:113000] vmlinuz BOOTFS: [21726000-21a26000] [C:115000] ramdisk-arm.rd BOOTFS: [21a26000-21a2dd5e] [C:117000] simple.dtb MOE: cmdline: moe rom/l4linux-io.cfg MOE: Starting: rom/ned rom/l4linux-io.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4linux-io.cfg' IO | Io service IO | Verboseness level: 4 IO | unused physical memory space: IO | [00000000000000-0000001fffffff] IO | [00000028000000-000000ffffffff] IO | no 'iommu' capability found use CPU-phys for DMA IO | Loading: config 'rom/l4linux-io.devs' IO | warning: inconsistent fixed resource @ device: /System Bus/ IO | : hid=device1 IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | warning: inconsistent fixed resource @ device: /System Bus/ IO | : hid=device2 IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Loading: config 'rom/l4linux-io.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 | DEVICE1: hid=device1 IO | Clients: ===== start ==== IO | DEVICE1: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IOMEM [00000014000000-00000015ffffff 2000000] non-pref (32bit) (align=1ffffff flags=2) IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Resources: ===== end ===== IO | DEVICE2: hid=device2 IO | Clients: ===== start ==== IO | DEVICE2: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IOMEM [0000001f000000-0000001f3fffff 400000] non-pref (32bit) (align=3fffff flags=2) IO | IRQ [00000000000042-00000000000042 1] none (32bit) (align=0 flags=1) IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Resources: ===== end ===== IO | DMAMEM: hid=dmamem IO | Clients: ===== start ==== IO | DMAMEM: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IOMEM [00000020124000-00000020133fff 10000] non-pref (32bit) (align=ffff flags=2) IO | Resources: ===== end ===== IO | warning: could not register control interface at cap 'platform_ctl' IO | Ready. Waiting for request. PH 0 offs=00008000 flags=rwx PH-type=0x1 virt=02000000 evirt=0248c17c phys=02000000 ephys=0248c17c f_sz=004023d5 memsz=0048c17c PH 1 offs=003b7404 flags=r-x PH-type=0x4 virt=023af404 evirt=023af428 phys=023af404 ephys=023af428 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=7 argv=0xafff4f8c *argv=0xb1007ff4 argv0=rom/vmlinuz External resolver is at 0xa80007c4 ======> L4Linux starting... <======== Linux version 4.7.0-l4 (jesse@tplabpcu07640) (gcc version 4.8.4 (Ubuntu/Linaro 4.8.4-2ubuntu1~14.04.1) ) #119 Thu Dec 8 18:05:42 CST 2016 Binary name: rom/vmlinuz This is an AEABI build. Linux kernel command line (6 args): mem=64M console=ttyLv0 l4x_dtb=rom/simple.dtb l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=3072 CPU mapping (l:p)[1]: 0:0 Image: 02000000 - 02600000 [6144 KiB]. Areas: Text: 02000000 - 023af428 [3773kB] RO-Data: 022c7000 - 02397000 [832kB] Data: 023d8000 - 023fda80 [150kB] Init: 023b0000 - 023d8000 [160kB] BSS: 024023d5 - 0248c17c [551kB] Device scan: Device: L4ICU Device: DMAMEM MEM: 20124000 - 20133fff Device: DEVICE1 MEM: 14000000 - 15ffffff DMAD: 00000000 - 00000000 Device: DEVICE2 MEM: 1f000000 - 1f3fffff IRQ: 00000042 - 00000042 DMAD: 00000000 - 00000000 Device scan done. l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00, v:b3000c00, sp:023d9fa4) main thread will be 41d L4x: section-with-init(-data): Virt: 0x2000000 to 0x248cfff [4660 KiB] section-with-init(-data): Phys: 0x2017c000 to 0x20608fff, [4660 KiB] L4x: section-with-init-text: Virt: 0x2000000 to 0x248cfff [4660 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: 0x21c00000 to 0x25bfffff, [65536 KiB] l4x: vmalloc area: 06600000 - 0e600000 L4x: text: Virt: 0x2000000 to 0x248cfff [4660 KiB] error: failed to get physical address for 2000000. Loading: rom/ramdisk-arm.rd INITRD: Size of RAMdisk is 3072KiB RAMdisk from 00002000 to 00302000 [3072KiB] l4lx_thread_create: Created thread 422 (timer0) (u:b3000a00, v:00000000, sp:02423fa0) IO | new iomem region: p=1f000000 v=400000 s=400000 (bmb=0x34470) Booting Linux on physical CPU 0x0 Linux version 4.7.0-l4 (jesse@tplabpcu07640) (gcc version 4.8.4 (Ubuntu/Linaro 4.8.4-2ubuntu1~14.04.1) ) #119 Thu Dec 8 18:05:42 CST 2016 DTB: virt=02600100 phys=21c00100 CPU: Fiasco [410fc075] revision 5 (ARMv7), cr=00400000 CPU: div instructions available: patching division code CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction cache Machine model: L4Linux (DT) Memory policy: Data cache writealloc CPU: All CPU(s) started in SVC mode. INITRD: 00002000 - 00302000 Built 1 zonelists in Zone order, mobility grouping on. Total pages: 17717 Kernel command line: mem=64M console=ttyLv0 l4x_dtb=rom/simple.dtb l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=3072 PID hash table entries: 512 (order: -1, 2048 bytes) Dentry cache hash table entries: 16384 (order: 4, 65536 bytes) Inode-cache hash table entries: 8192 (order: 3, 32768 bytes) Memory: 64632K/71684K available (2941K kernel code, 150K rwdata, 832K rodata, 160K init, 551K bss, 7052K reserved, 0K cma-reserved) Virtual kernel memory layout: vector : 0xbffff000 - 0xc0000000 ( 4 kB) fixmap : 0xffc00000 - 0xfff00000 (3072 kB) vmalloc : 0x06600000 - 0x0e600000 ( 128 MB) lowmem : 0x00000000 - 0x06600000 ( 102 MB) modules : 0x01010000 - 0x02000000 ( 15 MB) .text : 0x02000000 - 0x023af428 (3774 kB) .init : 0x023b0000 - 0x023d8000 ( 160 kB) .data : 0x023d8000 - 0x023fda80 ( 151 kB) .bss : 0x024023d5 - 0x0248c17c ( 552 kB) NR_IRQS:282 clocksource: l4kipclk: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 ns l4timer: Using IRQ210 sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every 2199023255500ns __l4x_ioremap: Mapping physaddr 1f000000 [0x400000 Bytes, 1f000000+400000] to 00400000+000000 clocksource_probe: no matching clocksources found Console: colour dummy device 80x30 console [ttyLv0] enabled Calibrating delay loop... 1594.16 BogoMIPS (lpj=7970816) pid_max: default: 32768 minimum: 301 Mount-cache hash table entries: 1024 (order: 0, 4096 bytes) Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes) CPU: Testing write buffer coherency: ok Setting up static identity map for 0x2000000 - 0x2000000 VFP support v0.3: implementor 41 architecture 2 part 30 variant 7 rev 5 clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns NET: Registered protocol family 16 DMA: preallocated 256 KiB pool for atomic coherent allocations Failed to create "l4x" debugfs directory: 1 clocksource: Switched to clocksource l4kipclk NET: Registered protocol family 2 TCP established hash table entries: 1024 (order: 0, 4096 bytes) TCP bind hash table entries: 1024 (order: 0, 4096 bytes) TCP: Hash tables configured (established 1024 bind 1024) UDP hash table entries: 256 (order: 0, 4096 bytes) UDP-Lite hash table entries: 256 (order: 0, 4096 bytes) NET: Registered protocol family 1 Trying to unpack rootfs image as initramfs... rootfs image is not initramfs (junk in compressed archive); looks like an initrd INITRD: Freeing memory. l4x: Checks passed. NetWinder Floating Point Emulator V0.97 (double precision) futex hash table entries: 256 (order: -1, 3072 bytes) workingset: timestamp_bits=29 max_order=14 bucket_order=0 squashfs: version 4.0 (2009/01/31) Phillip Lougher jffs2: version 2.2. ? 2001-2006 Red Hat, Inc. io scheduler noop registered io scheduler deadline registered io scheduler cfq registered (default) L4 serial driver serial-ttyLv.0: ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4-vcon l4ser_shm: L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded l4bdds: No name given, not starting. mousedev: PS/2 mouse device common for all mice IO | new iomem region: p=14000000 v=2000000 s=2000000 (bmb=0x344f8) __l4x_ioremap: Mapping physaddr 14000000 [0x2000000 Bytes, 14000000+2000000] to 0e600000+000000 Creating 1 MTD partitions on "NOR_FLASH": 0x000000f00000-0x000001000000 : "DATA" NET: Registered protocol family 17 L4IRQ: set irq type of 211 to 1 RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 3072KiB [1 disk] into ram disk... done. EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem EXT4-fs (ram0): mounted filesystem without journal. Opts: (null) VFS: Mounted root (ext2 filesystem) readonly on device 1:0. Freeing unused kernel memory: 160K (023b0000 - 023d8000) This architecture does not have kernel memory protection.

Please press Enter to activate this console.