- l4-hackers - example.com Site

L4linux booting problem on IMX.6 based board
by diming.zhang＠gmail.com 04 Sep '18

04 Sep '18

Hi, I'm working on building L4linux for my imx.6 arm-board. But the booting stopped before the l4linux console coming out. The logs is as follows: U-Boot 2015.04-imx_v2015.04_3.14.52_1.1.0_ga+g6cf684a (Sep 01 2018 - 05:09:24) CPU: Freescale i.MX6Q rev1.5 at 792 MHz CPU: Temperature 33 C Reset cause: POR Board: MX6-SabreSD I2C: ready DRAM: 1 GiB MMC: FSL_SDHC: 0, FSL_SDHC: 1, FSL_SDHC: 2 *** Warning - bad CRC, using default environment No panel detected: default to Hannstar-XGA Display: Hannstar-XGA (1024x768) In: serial Out: serial Err: serial switch to partitions #0, OK mmc2(part 0) is current device Net: FEC [PRIME] Error: FEC address not set. Normal Boot Hit any key to stop autoboot: 1 0 reading l4linux.uimage 10982764 bytes read in 291 ms (36 MiB/s) ## Booting kernel from Legacy Image at 11000000 ... Image Name: L4 Image #51 Image Type: ARM Linux Kernel Image (uncompressed) Data Size: 10982700 Bytes = 10.5 MiB Load Address: 11000000 Entry Point: 11000000 Verifying Checksum ... OK Loading Kernel Image ... OK Starting kernel ... L4 Bootstrapper Build: #51 Mon Sep 3 02:20:50 CST 2018, 7.3.1 20180425 [linaro-7.3-2018.05 revision d29120a424ecfbc167ef90065c0eeb7f91977701] Scanning up to 1024 MB RAM, starting at offset 32MB Memory size is 1024MB (10000000 - 4fffffff) RAM: 0000000010000000 - 000000004fffffff: 1048576kB Total RAM: 1024MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 12 modules behind 11100000 moving module 02 { 11a45000-11a7952b } -> { 11b36000-11b6a52b } [214316] moving module 01 { 11a3a000-11a443b7 } -> { 11b2b000-11b353b7 } [41912] moving module 00 { 1197f000-11a399d7 } -> { 11a70000-11b2a9d7 } [764376] moving module 11 { 1167f000-1197efff } -> { 11770000-11a6ffff } [3145728] moving module 10 { 11673000-1167e766 } -> { 11764000-1176f766 } [46951] moving module 09 { 1124b000-116724cf } -> { 1133c000-117634cf } [4355280] moving module 08 { 1124a000-1124a0ee } -> { 1133b000-1133b0ee } [239] moving module 07 { 11248000-1124992f } -> { 11339000-1133a92f } [6448] moving module 06 { 11247000-112473b3 } -> { 11338000-113383b3 } [948] moving module 05 { 11087000-11246a87 } -> { 11178000-11337a87 } [1833608] moving module 04 { 11025000-1108676b } -> { 11116000-1117776b } [399212] moving module 03 { 1100f000-110244ef } -> { 11100000-111154ef } [87280] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page (via ELF) at 10002000 Regions of list 'regions' [ 10000000, 100001bf] { 1c0} Root mbi_rt [ 10001000, 10001a3f] { a40} Kern fiasco [ 10002000, 100cbfff] { ca000} Kern fiasco [ 10100000, 10109c5f] { 9c60} Sigma0 sigma0 [ 10119fcc, 1011e177] { 41ac} Sigma0 sigma0 [ 10140000, 10173d0b] { 33d0c} Root moe [ 10183f70, 1018f4b3] { b544} Root moe [ 11000000, 1100e5bb] { e5bc} Boot bootstrap [ 11100000, 11a6ffff] { 970000} Root Module found kernel options (via ELF) at 10003000 Sigma0 config ip:101003f4 sp:00000000 Roottask config ip:10141590 sp:00000000 Starting kernel fiasco at 10001230 Hello from Startup::stage2 Number of IRQs available at this GIC: 160 FPU: Initialize FPU0: Subarch: 3, Part: 30, Rev: 4, Var: 9, Impl: 41 L2: ID=410000c7 Type=9e340340 Aux=32070000 WMask=ffff S=0 L2: Type L2C-310 Size = 1024kB Ways=16 Waysize=64 SERIAL ESC: allocated IRQ 61 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 7.3.1 20180425 [linaro-7.3-2018.05 revision d29120a424ecfbc167ef90065c0eeb7f91977701] for i.MX6 [] Build: #1 Sat Sep 1 02:19:56 CST 2018 Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 10002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:10000000;10000fff] [0:100cc000;100fffff] [0:1010a000;10118fff] [0:1011f000;1013ffff] [4:10140000;10173fff] [0:10174000;10182fff] [4:10183000;1018ffff] [0:10190000;110fffff] [4:11100000;11a6ffff] [0:11a70000;4effffff] IOMEM:---------------------- [0FPU1: Subarch: 3, Part: 30, Rev: 4, Var: 9, Impl: 41 :Cache config: ON 0ID_PFR[01]: 00001231 00000011; ID_[DA]FR0: 00010444 00000000 fID_MMFR[04]: 00100103 20000000 01230000 00102111 ffffff] [0:50000000;ffffffff] MOE: Hello world MOE: found 1021396 KByte free memory MOE: found RAM from 10000000 to 4f000000 MOE: allocated 1008 KByte for the page array @0x10190000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:103000] MOE: rwfs name space cap -> [C:105000] BOOTFS: [11100000-111154fFPU2: Subarch: 3, Part: 30, Rev: 4, Var: 9, Impl: 41 0Cache config: ON ]ID_PFR[01]: 00001231 00000011 ID_[DA]FR0: 00010444 00000000 [ID_MMFR[04]: 00100103 20000000 01230000 00102111 C:107000] l4re BOOTFS: [11116000-1117776c] [C:109000] ned BOOTFS: [11178000-11337a88] [C:10b000] io BOOTFS: [11338000-113383b4] [C:10d000] l4lx_imx6.cfg BOOTFS: [11339000-1133a930] [C:10f000] imx6_hw_devices.devs BOOTFS: [1133b000-1133b0ef] [C:111000] l4lx-imx6.io BOOTFS: [1133c000-117634d0] [C:113000] vmlinuz BOOTFS: [11764000-1176f767] [C:115000] imx6FPU3: Subarch: 3, Part: 30, Rev: 4, Var: 9, Impl: 41 qCache config: ON _ID_PFR[01]: 00001231 00000011s ID_[DA]FR0: 00010444 00000000 aID_MMFR[04]: 00100103 20000000 01230000 00102111 bresd.dtb BOOTFS: [11770000-11a70000] [C:117000] ramdisk-arm.rd MOE: cmdline: moe rom/l4lx_imx6.cfg MOE: Starting: rom/ned rom/l4lx_imx6.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx_imx6.cfg' l4linux-IO| Io service l4linux-IO| Verboseness level: 4 l4linux-IO| unused physical memory space: l4linux-IO| [00000000000000-0000000fffffff] l4linux-IO| [00000050000000-000000ffffffff] l4linux-IO| no 'iommu' capability found, using CPU-phys for DMA l4linux-IO| Loading: config 'rom/imx6_hw_devices.devs' l4linux-IO| warning: inconsistent fixed resource @ device: /System Bus/ l4linux-IO| : hid= l4linux-IO| compatible= { "fsl,imx6q-fec" } l4linux-IO| DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) l4linux-IO| Loading: config 'rom/l4lx-imx6.io' l4linux-IO| Real Hardware ----------------------------------- l4linux-IO| System Bus: hid= l4linux-IO| Resources: ==== start ==== l4linux-IO| DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) l4linux-IO| Resources: ===== end ===== l4linux-IO| ethernet: hid= l4linux-IO| compatible= { "fsl,imx6q-fec" } l4linux-IO| Clients: ===== start ==== l4linux-IO| ethernet: [N2Vi9Proxy_devE] l4linux-IO| Clients: ===== end ==== l4linux-IO| Resources: ==== start ==== l4linux-IO| IOMEM [00000002188000-0000000218bfff 4000] non-pref (32bit) (align=3fff flags=2) l4linux-IO| IRQ [00000000000096-00000000000096 1] level high (32bit) (align=0 flags=300001) l4linux-IO| IRQ [00000000000097-00000000000097 1] level high (32bit) (align=0 flags=300001) l4linux-IO| DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) l4linux-IO| Resources: ===== end ===== l4linux-IO| warning: could not register control interface at cap 'platform_ctl' l4linux-IO| Ready. Waiting for request. l4linux | PH 0 offs=00010000 flags=rwx PH-type=0x1 l4linux | virt=03000000 evirt=0348e000 l4linux | phys=03000000 ephys=0348e000 l4linux | f_sz=004071fc memsz=0048e000 l4linux | PH 1 offs=003c099c flags=r-- PH-type=0x4 l4linux | virt=033b099c evirt=033b09c0 l4linux | phys=033b099c ephys=033b09c0 l4linux | f_sz=00000024 memsz=00000024 l4linux | PH 2 offs=00000000 flags=rwx PH-type=0x6474e551 l4linux | virt=00000000 evirt=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 l4linux | Starting binary at 0x3000260, argc=5 argv=0xafff4f94 *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux | External resolver is at 0xa8000b48 l4linux | ======> L4Linux starting... <======== l4linux | Linux version 4.17.0-l4 (zhangdiming@ubuntu) (gcc version 7.3.1 20180425 [linaro-7.3-2018.05 revision d29120a424ecfbc167ef90065c0eeb7f91977701] (Linaro GCC 7.3-2018.05)) #7 Mon Sep 3 02:20:06 CST 2018 l4linux | Binary name: rom/vmlinuz l4linux | This is an AEABI build. l4linux | Linux kernel command line (4 args): mem=64M console=ttyLv0l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 03000000 - 03600000 [6144 KiB]. l4linux | Areas: Text: 03000000 - 032f5000 [3028kB] l4linux | RO-Data: 032f5000 - 0339b000 [664kB] l4linux | Data: 033d6000 - 034071fc [196kB] l4linux | Init: 033b1000 - 033d6000 [148kB] l4linux | BSS: 034071fc - 0348e000 [539kB] l4linux | Device scan: l4linux | Device: L4ICU l4linux | Device: ethernet l4linux | MEM: 02188000 - 0218bfff l4linux | IRQ: 00000096 - 00000096 l4linux | IRQ: 00000097 - 00000097 l4linux | DMAD: 00000000 - 00000000 l4linux | Device scan done. l4linux | l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00, v:b3000c00, sp:033d7fa4) l4linux | main thread will be 41d l4linux | L4x: section-with-init(-data): Virt: 0x3000000 to 0x348dfff [4664 KiB] l4linux | section-with-init(-data): Phys: 0x10719fff00000000 to 0x123800000000, [8 KiB] l4linux | L4x: section-with-init-text: Virt: 0x3000000 to 0x348dfff [4664 KiB] l4linux | error: failed to get physical address for 3000000. l4linux | L4x: data: Virt: 0x3000000 to 0x348dfff [4664 KiB] l4linux | error: failed to get physical address for 3000000. l4linux | L4x: Main thread running, waiting... l4linux | L4x: Memory size: 64MB l4linux | L4x: Setting superpages for main memory l4linux | L4x: Adjusted memory start: 03000000 l4linux | L4x: Main memory: Virt: 0x3600000 to 0x75fffff [65536 KiB] l4linux | Main memory: Phys: 0x11c00000 to 0x15bfffff, [65536 KiB] l4linux | L4x: vmalloc area: 07600000 - 0f600000 l4linux | L4x: text: Virt: 0x3000000 to 0x348dfff [4664 KiB] l4linux | error: failed to get physical address for 3000000. l4linux | Loading: rom/ramdisk-arm.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | RAMdisk from 00002000 to 00302000 [3072KiB] l4linux | l4lx_thread_create: Created thread 422 (timer0) (u:b3000a00, v:00000000, sp:0342ffa0) l4linux | Booting Linux on physical CPU 0x0 l4linux | Linux version 4.17.0-l4 (zhangdiming@ubuntu) (gcc version 7.3.1 20180425 [linaro-7.3-2018.05 revision d29120a424ecfbc167ef90065c0eeb7f91977701] (Linaro GCC 7.3-2018.05)) #7 Mon Sep 3 02:20:06 CST 2018 l4linux | CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00400000 l4linux | CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction cache l4linux | Machine: L4 l4linux | Ignoring unrecognised tag 0x00000000 l4linux | Memory policy: Data cache writealloc l4linux | CPU: All CPU(s) started in SVC mode. l4linux | INITRD: 00002000 - 00302000 l4linux | random: get_random_bytes called from start_kernel+0x9c/0x3c0 with crng_init=0 l4linux | Built 1 zonelists, mobility grouping on. Total pages: 17685 l4linux | Kernel command line: mem=64M console=ttyLv0l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 l4linux | Dentry cache hash table entries: 16384 (order: 4, 65536 bytes) l4linux | Inode-cache hash table entries: 8192 (order: 3, 32768 bytes) l4linux | Memory: 64776K/71684K available (3028K kernel code, 196K rwdata, 664K rodata, 148K init, 539K bss, 6908K reserved, 0K cma-reserved) l4linux | Virtual kernel memory layout: l4linux | vector : 0xffff0000 - 0xffff1000 ( 4 kB) l4linux | fixmap : 0xffc00000 - 0xfff00000 (3072 kB) l4linux | vmalloc : 0x07600000 - 0x0f600000 ( 128 MB) l4linux | lowmem : 0x00000000 - 0x07600000 ( 118 MB) l4linux | modules : 0x02010000 - 0x03000000 ( 15 MB) l4linux | .text : 0x(ptrval) - 0x(ptrval) (3028 kB) l4linux | .init : 0x(ptrval) - 0x(ptrval) ( 148 kB) l4linux | .data : 0x(ptrval) - 0x(ptrval) ( 197 kB) l4linux | .bss : 0x(ptrval) - 0x(ptrval) ( 540 kB) l4linux | NR_IRQS: 282 l4linux | clocksource: l4kipclk: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 ns l4linux | l4timer: Using IRQ210 l4linux | sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every 2199023255500ns l4linux | Console: colour dummy device 80x30 l4linux | console [ttyLv0] enabled l4linux | Calibrating delay loop... 1581.05 BogoMIPS (lpj=7905280) l4linux | pid_max: default: 32768 minimum: 301 l4linux | Mount-cache hash table entries: 1024 (order: 0, 4096 bytes) l4linux | Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes) l4linux | CPU: Testing write buffer coherency: ok l4linux | Setting up static identity map for 0x3000000 - 0x3000000 l4linux | VFP support v0.3: implementor 41 architecture 3 part 30 variant 9 rev 4 l4linux | clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns l4linux | futex hash table entries: 256 (order: -1, 3072 bytes) l4linux | NET: Registered protocol family 16 l4linux | DMA: preallocated 256 KiB pool for atomic coherent allocations l4linux | Failed to create "l4x" debugfs directory: -19 l4linux | clocksource: Switched to clocksource l4kipclk l4linux | NET: Registered protocol family 2 l4linux | tcp_listen_portaddr_hash hash table entries: 512 (order: 0, 4096 bytes) l4linux | TCP established hash table entries: 1024 (order: 0, 4096 bytes) l4linux | TCP bind hash table entries: 1024 (order: 0, 4096 bytes) l4linux | TCP: Hash tables configured (established 1024 bind 1024) l4linux | UDP hash table entries: 256 (order: 0, 4096 bytes) l4linux | UDP-Lite hash table entries: 256 (order: 0, 4096 bytes) l4linux | NET: Registered protocol family 1 l4linux | Trying to unpack rootfs image as initramfs... l4linux | rootfs image is not initramfs (junk in compressed archive); looks like an initrd l4linux | INITRD: Freeing memory. l4linux | l4x: Checks passed. l4linux | NetWinder Floating Point Emulator V0.97 (double precision) l4linux | workingset: timestamp_bits=30 max_order=14 bucket_order=0 l4linux | io scheduler noop registered l4linux | io scheduler deadline registered l4linux | io scheduler cfq registered (default) l4linux | io scheduler mq-deadline registered l4linux | io scheduler kyber registered l4linux | L4 serial driver l4linux | serial-ttyLv.0: ttyLv0 at MMIO 0x1 (irq = 0, base_baud = 230400) is a L4-vcon l4linux | l4ser_shm: L4 shared mem serial driver l4linux | l4cdds: No name given, not starting. l4linux | brd: module loaded l4linux | l4bdds: No name given, not starting. l4linux | NET: Registered protocol family 17 l4linux | RAMDISK: ext2 filesystem found at block 0 l4linux | RAMDISK: Loading 3072KiB [1 disk] into ram disk... | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ | / - \ done. l4linux | EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem l4linux | EXT4-fs (ram0): mounted filesystem without journal. Opts: (null) l4linux | VFS: Mounted root (ext2 filesystem) readonly on device 1:0. l4linux | Freeing unused kernel memory: 148K l4linux | This architecture does not have kernel memory protection. l4linux | The booting stopped at here, and there is no sentance as "Please press Enter to activate this console." displayed. ============================== module.list ------------------------------------- modaddr 0x01100000 default-kernel fiasco -serial_esc default-bootstrap bootstrap entry imx6-arm roottask moe rom/l4lx_imx6.cfg module l4re module ned module io module l4lx_imx6.cfg module imx6_hw_devices.devs module l4lx-imx6.io module vmlinuz module[perl] "ramdisk-$ENV{ARCH}.rd" ============================== At this point I have no idea what to do any help will be much appreciated! Thank you very much! Regards Jason

2 1

Genode 18.08 brings modern hardware support
by Stefan Kalkowski 30 Aug '18

30 Aug '18

Dear l4-hackers, the community and team around the Genode OS framework proudly presents release 18.08, which is at the same time the 10th anniversary of our project. With this release we follow our ambition to sculpt a general-purpose OS using the Genode framework. It adds support for a lot of different recent hardware, the ability to apply Intel microcode updates in a kernel agnostic fashion, and extends the interactive usability of the system. Readers of this mailing list might be especially interested in the update of the NOVA and Fiasco.OC kernels used by the framework to recent versions. The highlights of Genode 18.08 are: - Sculpt OS with live runtime view - Device drivers - Linux device-driver environment based on kernel 4.16.3 - Updated and enhanced Intel framebuffer and wireless drivers - De-componentized USB stack, support for isochronous devices - Improved device compatibility of NIC and PS/2 drivers - Experimental runtime for Zircon-based drivers - Base framework and OS-level infrastructure - NIC-router support for multiple uplinks - New VFS plugin for using LwIP as TCP/IP stack - Cached file-system-based ROM service - VFS plugin for importing initial content - Enhanced Ada language support - Libraries and applications - Python 3 - VirtualBox 5.1.38 - Platforms - New Intel Microcode update mechanism - Multiprocessor support for our custom kernel on x86 - Updated NOVA and Fiasco.OC kernels All of these and more improvements can be read in detail in the release documentation: https://genode.org/documentation/release-notes/18.08 We are looking forward for your feedback. Happy hacking! -- Stefan Kalkowski Genode labs https://github.com.skalk | https://genode.org

1 0

L4Re Build Failure on i386 (Revision 80)
by Paul Boddie 12 Aug '18

12 Aug '18

Hello, I thought I'd try and get L4Re and the UX variant of Fiasco.OC working again. Various errors with the actual compiler - not typical compilation errors - have previously occurred, but system updates come along every so often and I saw that new revisions of L4Re/Fiasco.OC have also arrived fairly recently. Unfortunately, the L4Re build fails with complaints about the linking process. Here is the verbose build output at the point of failure: [fb-drv] ==> Linking fb-drv LD_PRELOAD=libgendep.so LD_LIBRARY_PATH=:/home/paulb/L4/UX/src/l4/mybuild/tool/gendep/32:/home/paulb/L4/UX/src/l4/mybuild/tool/gendep GENDEP_TARGET=fb-drv GENDEP_BINARY=ld GENDEP_BINARY_ALT1=ld /home/paulb/L4/UX/src/l4/tool/bin/l4-bender -t ld - Dl4obj=/home/paulb/L4/UX/src/l4/mybuild -Dl4dir=/home/paulb/L4/UX/src/l4 - Dgcclibdir="/usr/lib/gcc/i686-linux-gnu/7/ /usr/lib/gcc/i686-linux- gnu/7/../../../../i686-linux-gnu/lib/i686-linux-gnu/7/ /usr/lib/gcc/i686- linux-gnu/7/../../../../i686-linux-gnu/lib/i386-linux-gnu/ /usr/lib/gcc/i686- linux-gnu/7/../../../../i686-linux-gnu/lib/../lib/ /usr/lib/gcc/i686-linux- gnu/7/../../../i686-linux-gnu/7/ /usr/lib/gcc/i686-linux-gnu/7/../../../i386- linux-gnu/ /usr/lib/gcc/i686-linux-gnu/7/../../../../lib/ /lib/i686-linux- gnu/7/ /lib/i386-linux-gnu/ /lib/../lib/ /usr/lib/i686-linux-gnu/7/ /usr/lib/i386-linux-gnu/ /usr/lib/../lib/ /usr/lib/gcc/i686-linux- gnu/7/../../../../i686-linux-gnu/lib/ /usr/lib/gcc/i686-linux-gnu/7/../../../ /lib/ /usr/lib/" -Dl4system=x86_gen -Dl4api=l4f -Dlinker="ld -m elf_i386" -- spec=/home/paulb/L4/UX/src/l4/mk/bid-bender.spec -- -o fb-drv -MD -MF ./.fb- drv.pcs.d -PClibc_support_misc -PClibio-vbus -PCx86emu_int10 -PCx86emu_int10 - PCstdlibs -static -gc-sections -Ttext-segment=0x01000000 --defsym __L4_KIP_ADDR__=0xaffff000 --defsym __L4_STACK_ADDR__=0xb0000000 -L /home/paulb/L4/UX/src/l4/mybuild/lib/x86_gen/l4f -L /home/paulb/L4/UX/src/l4/mybuild/lib/x86_gen -L /home/paulb/L4/UX/src/l4/mybuild/lib --warn-common -Ttext-segment=0x01000000 main.o dummy.o splash.o vesa.o ld: section `.note.gnu.property' assigned to non-existent phdr `interp' ld: section `.rel.dyn' assigned to non-existent phdr `interp' I know that the ldscripts have been changed, but I struggle to see how the above relates to them or whether they are even involved in this particular outcome. Might there be something obviously wrong somewhere in the recent changes? Paul

2 7

L4Re development version available on GitHub
by Jakub Jermar 04 Jul '18

04 Jul '18

Dear L4 hackers, we in Kernkonzept are happy to announce the release of our L4Re operating system framework on GitHub. Today we release 6 new repositories: https://github.com/kernkonzept/mk https://github.com/kernkonzept/manifest https://github.com/kernkonzept/l4re-core https://github.com/kernkonzept/hello https://github.com/kernkonzept/drivers-frst https://github.com/kernkonzept/bootstrap Together with the Fiasco.OC repository released earlier this year[1], these repositories represent a frequently updated foundation for building operating systems with real-time, security, safety and virtualization requirements. The manifest repository contains a Wiki with detailed instructions on building[2] L4Re and contributing[3] to it. Happy hacking! Jakub [1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2018/008224.html [2] https://github.com/kernkonzept/manifest/wiki/BUILDING [3] https://github.com/kernkonzept/manifest/wiki/CONTRIBUTING

1 0

Building programs with MODE=shared in L4Re
by Paul Boddie 03 Jul '18

03 Jul '18

Hello, I have been busy writing libraries and programs for L4Re and recently had to think about the size of the payloads I have been deploying. It appears that in the build system, one can use MODE=shared to build dynamically-linked programs, and there is a shared version of the hello example in the examples package. However, I don't see any recipe for doing this for other programs. My impression is that the dynamic linker must have all the required libraries deployed as modules, and so I wrote a script to generate a list of such modules using readelf. In addition, it appears that libl4sys-direct.so is required (which readelf does not detect). Adding these modules to my conf/modules.list should yield success, but within my constrained debugging environment, I only see that "shared" programs fail to start. I really need to see if they start but then experience some initialisation problem, or whether they actually crash but Mag keeps their viewports around. Are there any other things that I need to consider when building and deploying such programs? I searched for guidance on this topic and only found the following: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/007094.html http://os.inf.tu-dresden.de/pipermail/l4-hackers/2016/007830.html Both of these discussion threads only provide some details and are obviously not tutorials. Thanks for any clues you might be able to provide! Paul P.S. I guess I could also see if the CI20 produces useful console-level details, perhaps indicating an architecture-related problem. Usually, however, the problem is caused by some simple mistake I have made, so I suspect that there is merely some detail I have forgotten.

2 9

Release of Sculpt TC
by Alexander Boettcher 14 Jun '18

14 Jun '18

Hi l4-hackers, we are happy to announce the release of Sculpt TC [0], a Genode based incarnation of a microkernel based operating system. It is the second out of four Sculpt OS releases planned in 2018 [1]. Under https://genode.org/download/sculpt you find the downloadable image, which is a live system and installer all in one. Once booted you can download further packages to play around with, e.g several native Genode applications and VMs on several VMMs. Have fun. Cheers, Alex B. [0] https://lists.genode.org/pipermail/users/2018-June/006115.html [1] https://genode.org/about/road-map#2018_-_The_year_of_Sculpt -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 3

Issues about webserver on L4Re
by 李鼎基 07 Jun '18

07 Jun '18

Hi, I’ve been trying to find or write a webserver directly on L4Re (*NO* L4Linux involved) based on snapshot “l4re-snapshot-17.12”. At first, I noticed that there was already a web server in “l4re-snapshot-17.12/src/l4/pkg/ankh”. But it was broken, even if I removed the “broken” file to make, nothing was generated under “/path/to/build/pkg/ankh” except “Makefile”. Then I intend to write a simple webserver (1st step a socket demo). Although there are socket APIs, I don’t know how to solve the NIC driver issues. The same code works well on Linux but failed on L4Re. Therefore: 1. Is there any way to revive the “ankh”? 2. If not, is there any way/demo to write a simple webserver directly on L4Re? Or how to solve the NIC driver issues? -- Thanks

2 1

Porting L4Re and Fiasco.OC to the Ben NanoNote and Letux 400
by Paul Boddie 30 May '18

30 May '18

As promised, I wrote up my experiences porting L4Re and Fiasco.OC to the Ben NanoNote: https://blogs.fsfe.org/pboddie/?p=2147 There are, in fact, nine articles describing the process, which I accept might be a bit too much reading for the casual inquirer, especially as the narrative wanders from one problem to be solved to the next. But the summary should cover the main tasks that need to be done in this kind of work. Since getting things working on the Ben, I have also persuaded the software to work on the Letux 400 notebook computer, which is a variant of the Skytone Alpha-400 product that did the rounds almost ten years ago (although I was probably completely unaware of it at that time): http://blogs.fsfe.org/pboddie/?p=2175 I hope that some of the information I have shared is useful to others and perhaps encourages someone else to port the software to a device of their choosing. Good luck to that person! Paul P.S. As noted before, the patches are here: http://www.boddie.org.uk/paul/L4Re-Fiasco.OC.html

2 5

Input driver configuration and use in L4Re
by Paul Boddie 24 May '18

24 May '18

Hello again, I have been implementing input drivers for the keypad/keyboard provided by the Ben NanoNote and Letux 400 notebook computer, and although I appear to have implemented something that works (tested using specialised example code), using the existing OMAP3 keypad code as a guide (in pkg/drivers/input), I wondered whether it is possible to connect such drivers to other components in a convenient way. I see that the input package is the thing that provides the device registry that I use when employing the arm_input_register macro, and in that package is a framework that supposedly exports input drivers as serial I/O devices using the "l4drv" driver. But I can't find anything obvious that uses the connect operation which would need to occur to probe, enable, and attach my driver to this framework. Is it possible to integrate my input drivers to things like Mag, which seems to use input events, or to fbterminal or other things? I haven't seen any documentation or code that demonstrates this, but I suppose that I may have missed something somewhere. Thanks for any help that is offered! Paul

2 4

Re: Assertion failure error in kernel vgic interrupt processing
by nico.hacker 14 May '18

14 May '18

Hi, The previous test is not enough to cause error, this error is not related to peripherals, I have removed almost all peripheral drivers In the previous test, I added a delay operation before the vm2 start, so that vm1 completely up and then start vm2, this will greatly reduce the probability of the error. Now I removed this delay, vm1 and vm2 started simultaneously, then the error will occur frequently (about 1/10 probability). The error is generated when kernel processes vtimer interrupts. Under normal circumstances, after processing a vtimer interrupt, the vcpu thread will return to uvmm and then execute prepare_guest_entry(). This operation will eventually enter the kernel through the system call to set the state of vcpu thread, but when the error occurs, I find that the vcpu thread does not execute vcpu_resume, it processes two consecutive vtimer interrupts. As a result, the assertion fails.  Is the kernel able to guarantee that the complete process of handling vgic and vtimer interrupts (including the process in uvmm) is not interrupted by a new interrupt?  Here's my configuration: ------------------------------------------------------------------------- uvmm.ned vmm.start_vm{   id=1,   mem=256,   vbus=io_busses.vm_hw,   bootargs=common_bootargs .. " ramdisk_size=9100 root=/dev/ram",   kernel="rom/Image.gz",   rd="rom/ramdisk-arm.rd",   fdt="rom/virt-board.dtb",   prio=nil, cpus=0x1 }; vmm.start_vm{   id=2,   mem=256,   vbus=io_busses.vm_nohw,   bootargs=common_bootargs .. " ramdisk_size=9100 root=/dev/ram",   kernel="rom/Image.gz",   rd="rom/ramdisk-arm.rd",   fdt="rom/virt-board.dtb",   prio=nil, cpus=0x1 }; -------------------------------------------------------------------------- io.cfg -- vi:ft=lua local Res = Io.Res local Hw = Io.Hw local add_children = Io.Dt.add_children add_children(Io.system_bus(), function()   VGIC = Hw.Device(function()     Property.hid = "arm-gicc";     Resource.reg0 = Res.mmio(0x12006000, 0x12007fff);     Property.flags = Io.Hw_device_DF_multi_vbus;   end)   VM1_DEV = Hw.Device(function()     Property.hid = "vm1_dev";     Resource.reg0 = Res.mmio(0x70100000, 0x70100FFF); --UART   end)   VM2_DEV = Hw.Device(function()     Property.hid = "vm2_dev";     Resource.reg0 = Res.mmio(0x70100000, 0x70100FFF); --UART   end) end) ---------------------------------------------------------------------------- vm_hw.vbus Io.add_vbusses {   vm_hw = Io.Vi.System_bus(function()     VGIC = wrap(Io.system_bus():match("arm-gicc"));     VM1_DEV = wrap(Io.system_bus():match("vm1_dev"));   end); } ---------------------------------------------------------------------------- vm_nohw.vbus Io.add_vbusses {   vm_nohw = Io.Vi.System_bus(function()     VGIC = wrap(Io.system_bus():match("arm-gicc"));     VM2_DEV = wrap(Io.system_bus():match("vm2_dev"));   end); }---------------------------------------------------------------------------- Nico 于 2018-04-11 05:59:58,Adam Lackorzynski<adam os="" inf="" tu-dresden="" de="">写道:</adam><blockquote style="padding-left:1ex;margin:0px 0px 0px 0.8ex;border-left:#ccc 1px solid"><pre>On Mon Apr 09, 2018 at 22:26:38 +0800, nico wrote: > Sorry, the last email did not specify this information. > I gave VM1 all the hardware resources, and it used eight cores. VM2 only has > uart resources (also timer, gic resources), using a single core. I tried to > give both VM1 and VM2 only the necessary hardware resources( uart, timer, gic), > and that error won't happen. Ok, that's interesting. So that means that some of the passed through hardware is causing this. Would you be able to find out which device is causing this, by selectively enabling/disabling devices? Adam > On 4/9/2018 06:28ï¼ Adam Lackorzynski<adam os="" inf="" tu-dresden="" de=""> wroteï¼ > > Hi Nico, > > On Fri Mar 30, 2018 at 10:15:33 +0800, nico wrote: > > Hi Adam, I'm using an eight-core Cortex-A53 processor. The vm is > running 64bit Linux. It is recommended to start two or three vms, that > will be easier to reproduce this problem. > > > So, I tried several things but cannot reproduce this issue. I assume > this are single-core VMs only? Any hardware passed through? > Just trying to narrow it down... _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers </adam></pre></blockquote><div style="height:30px;"></div><div style="height:2px;width:298px;border-bottom:solid 2px #e5e5e5"></div><div style="height:20px;"></div><a target="_blank" style="background-image:url(http://r.g.tom.com/kwap/r/app/other/suixinyou.png);bac… center;font-size:14px;background-size: 20px;height: 39px;line-height: 39px;padding-left: 25px;display:block;color:#333333;text-decoration: none;" href="http://mail.tom.com/webmail-static/welcomesxy.html" onmouseover="this.style.cssText='background-image:url(http://r.g.tom.com/kwap/r/app/other/suixinyou.png);bac… center;font-size:14px;background-size: 20px;height: 39px;line-height: 39px;padding-left: 27px;display:block;color:#4c4c4c; text-decoration:underline;'" onmouseout="this.style.cssText='background-image:url(http://r.g.tom.com/kwap/r/app/other/suixinyou.png);bac… center;font-size:14px;background-size: 20px;height: 39px;line-height: 39px;padding-left: 27px;display:block;color:#4c4c4c;text-decoration:none'">随心邮-在微信里收发邮件，及时省电又安心</a>

2 1