l4-hackers January 2015

l4-hackers@os.inf.tu-dresden.de

28 participants
36 discussions

Graphical desktop, l4con, mag
by teclis High Elf 02 Jun '17

02 Jun '17

Guten Tag, I've got the Hello app runing with fiasco and l4re in qemu, how do I get the graphical UI and console running that I see on the screen shots page? Do I need to use l4con and mag? I don't see an entry with l4con in modules.list. danke * <http://german.about.com/library/media/Audio/gutentag.wav>*

6 15

libfs/ FUSE on L4Re
by Stark, Josef 31 May '17

31 May '17

Hello, yesterday I came across a very interesting paper titled "Porting FUSE to L4Re", accessible here: http://os.inf.tu-dresden.de/papers_ps/pester-beleg.pdf For porting FUSE, the author uses a library called "libfs" which provides filesystem request forwarding and processing, if I understood correctly. It reads as if libfs is already included in L4Re. However, I couldn't find neither FUSE nor libfs in the current L4Re snapshot. Are they by any chance publicly available somewhere else, or are … [View More]

4 7

TrustZone example on i.MX6
by Markku Ahvenjärvi 07 Jul '15

07 Jul '15

Hello hackers, I'm trying to run Fiasco.OC in secure world and Linux in non-secure world on i.MX6Q. For this I'm using the TrustZone example (pkg/examples/sys/vm-tz). To secure world I have given 128MB RAM starting from 0x10000000 and I modified the example to give NS world 256MB starting from 0x20000000. I've replaced atags with dtb of my board and it is copied to NS side like kernel and initrd. At first I encountered runtime exception, which I fixed by implementing following to … [View More]

5 29

shared dataspace for l4re_kernel/ registering additional caps in ned
by Stark, Josef 12 Mar '15

12 Mar '15

Hello all, for a project, I want to be able to load (elf-)binaries not only from the filesystem, but also from the network (receive binary, then start it.) For this, I will write a L4 app (let's call it "manager" for now) which handles the network part and then tells ned to start the received binary via a special "filename". I already modified ned so that its LUA-interface is exposed to other apps via a capability. But here comes the first problem: Normally you specify the capability table … [View More]

3 16

Running l4android on cubieboard2
by cem akpolat 12 Feb '15

12 Feb '15

Dear all, Couple of months ago, I was trying to run l4 on the samsung nexus s, but then I decided to switch to Cubieboard2 due to the simple configurations and costs stemming from the JTAG/UART interfaces which are quite expensive(around 1000 Euro). What I did: + the fiasco is compiled for All-sunxi and cubieboard + l4re is compiled for cubieboard2. + the uImage is generated through the following command make uimage -C ~/l4android/src/l4/ E=L4LinuxARM O=~l4android/src/build/l4/ + … [View More]boot.scr file for uboot is created in which the compiled kernel image is given as kernel as belowe ------------ setenv kernel_addr_r 0x46000000 # 8M setenv fdt_addr 0x49000000 # 2M setenv fdt_high 0xffffffff # Load fdt in place instead of relocating fatload mmc 0 0x43000000 /script.bin fatload mmc 0 ${kernel_addr_r} /uImage setenv bootargs "console=ttyS0,115200 hdmi.audio=EDID:0 disp.screen0_output_mode=EDID:1280x1024p60 rw root=/dev/mmcblk0p2 rootwait" fatload mmc 0 ${fdt_addr} /sun7i-a20-cubieboard2.dtb bootm ${kernel_addr_r} - ${fdt_addr} --------------------- #End of the setup # What I am seeing on the console outputs ------------------- ## Booting kernel from Legacy Image at 46000000 ... Image Name: L4 Image #32 Created: 2015-01-12 10:46:51 UTC Image Type: ARM Linux Kernel Image (uncompressed) Data Size: 10268672 Bytes = 9.8 MiB Load Address: 41000000 Entry Point: 41000000 Verifying Checksum ... OK ## Flattened Device Tree blob at 49000000 Booting using the fdt blob at 0x49000000 Loading Kernel Image ... OK Using Device Tree in place at 49000000, end 4900873e Using machid 0x10bb from environment Starting kernel ... L4 Bootstrapper Build: #32 Mo 12. Jan 11:46:50 CET 2015, 4.7.3 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 14 modules behind 41100000 moving module 02 { 41999000-419ca623 } -> { 41a89000-41aba623 } [202276] moving module 01 { 4198f000-4199833b } -> { 41a7f000-41a8833b } [37692] moving module 00 { 4193c000-4198e42b } -> { 41a2c000-41a7e42b } [336940] moving module 13 { 4163c000-4193bfff } -> { 4172c000-41a2bfff } [3145728] moving module 12 { 4128a000-4163b477 } -> { 4137a000-4172b477 } [3871864] moving module 11 { 41289000-412890e4 } -> { 41379000-413790e4 } [229] moving module 10 { 411f1000-41288c43 } -> { 412e1000-41378c43 } [621636] moving module 09 { 411cf000-411f0623 } -> { 412bf000-412e0623 } [136740] moving module 08 { 41080000-411ce453 } -> { 41170000-412be453 } [1369172] moving module 07 { 4107f000-4107f588 } -> { 4116f000-4116f588 } [1417] moving module 06 { 4107e000-4107e03b } -> { 4116e000-4116e03b } [60] moving module 05 { 4107d000-4107d425 } -> { 4116d000-4116d425 } [1062] moving module 04 { 4102a000-4107cc03 } -> { 4111a000-4116cc03 } [338948] moving module 03 { 41010000-41029457 } -> { 41100000-41119457 } [103512] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x40002000 Regions of list 'regions' [ 40000000, 400001cf] { 1d0} Root mbi_rt [ 40001000, 40001bbf] { bc0} Kern fiasco [ 40002000, 4005efff] { 5d000} Kern fiasco [ 40090000, 400968fb] { 68fc} Sigma0 sigma0 [ 40098000, 4009e177] { 6178} Sigma0 sigma0 [ 40140000, 4016e6a3] { 2e6a4} Root moe [ 40170000, 40186f13] { 16f14} Root moe [ 41000000, 4100f5ff] { f600} Boot bootstrap [ 41100000, 41a2bfff] { 92c000} Root Module API Version: (87) experimental Sigma0 config ip:40090100 sp:00000000 Roottask config ip:40140260 sp:00000000 Starting kernel fiasco at 40001388 Non-HYP kernel detected but running in HYP mode, switching back. ------------------------ What exactly Fiasco tries to tell me with this message "Non-HYP kernel detected but running in HYP mode, switching back.". Thanks, Cem Akpolat [View Less]

3 15

UX/RT - a Universally eXtensible Real-Time OS
by Andrew Warkentin 01 Feb '15

01 Feb '15

I am planning to write a new L4-based multi-server OS called UX/RT (initially I will use Fiasco.OC as the kernel since it has x86_64 support and supports kernel capabilities, but may eventually support seL4 as well). Unlike the other current L4 OS environments, it will be a multi-server Unix-like OS resembling QNX and Plan 9. I am intending it to have good support for both desktop and embedded systems (servers are not a huge priority; the microkernel architecture might limit the maximum … [View More]

2 4

Problem Launching L4Linux
by Piwe li 31 Jan '15

31 Jan '15

Hi everybody, I am actually trying to launch L4Linux on Fiasco.OC+L4RE on Xilinx Zynq using QEMU but I get an error at the end of the boot of L4Linux : */bin/sh: can't access tty; job control turned off* */ #* Even if I have a shell prompt I can’t type anything, that’s why I am sending this email. I am aware that my problem is very similar to this one http://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/005920.html but I tried every solution you suggested. I am working under *… [View More]Ubuntu 64bits 14.04* and I am compiling with *arm-linux-gnueabi-gcc 4.7.3*. To emulate the *Xilinx Zynq*, I’m using *QEMU emulator version 2.0.50* configured this way : *./configure --target-list="arm-softmmu,microblazeel-softmmu" --enable-fdt --disable-kvm* To launch QEMU, here is my command line : *qemu-system-arm -M arm-generic-fdt -dtb ~/Documents/zynq-zc706.dtb -kernel ~/Documents/gitL4/l4-hypervisor/build/l4/images/bootstrap.elf -serial mon:stdio* Zynq is ARM so I’m using this ramdisk : http://os.inf.tu-dresden.de/download/ramdisk-arm.rd You can find below my serial output, my modules.list file and my l4lx.cfg file. Thanks in advance, Louis. Here is my serial output : *SPI device 0x7f7d798ea450* *L4 Bootstrapper* * Build: #2 Fri Jan 30 10:04:49 CET 2015, 4.7.3* * Scanning up to 512 MB RAM* * Memory size is 512MB (00100000 - 200fffff)* * RAM: 0000000000100000 - 00000000200fffff: 524288kB* * Total RAM: 512MB* * mod09: 0166f000-0196f000: ramdisk-arm.rd* * mod08: 01325000-0166e47c: vmlinuz.arm* * mod07: 01324000-013240bd: arm-rv.io <http://arm-rv.io>* * mod06: 0120e000-01323704: io* * mod05: 0120d000-0120d189: l4lx.cfg* * mod04: 011ba000-0120cbd4: ned* * mod03: 011a0000-011b9458: l4re* * mod02: 0116e000-0119f624: moe* * mod01: 01164000-0116d33c: sigma0* * mod00: 01115000-01163828: fiasco* * Moving up to 10 modules behind 1200000* * moving module 00 { 1115000-1163827 } -> { 1a5a000-1aa8827 } [321576]* * moving module 01 { 1164000-116d33b } -> { 1aa9000-1ab233b } [37692]* * moving module 02 { 116e000-119f623 } -> { 1ab3000-1ae4623 } [202276]* * moving module 03 { 11a0000-11b9457 } -> { 196f000-1988457 } [103512]* * moving module 04 { 11ba000-120cbd3 } -> { 1989000-19dbbd3 } [338900]* * moving module 05 { 120d000-120d188 } -> { 1200000-1200188 } [393]* * moving module 06 { 120e000-1323703 } -> { 1201000-1316703 } [1136388]* * moving module 07 { 1324000-13240bc } -> { 1317000-13170bc } [189]* * moving module 08 { 1325000-166e47b } -> { 1318000-166147b } [3445884]* * moving module 09 { 166f000-196efff } -> { 1662000-1961fff } [3145728]* * moving module 03 { 196f000-1988457 } -> { 1962000-197b457 } [103512]* * moving module 04 { 1989000-19dbbd3 } -> { 197c000-19cebd3 } [338900]* * Scanning fiasco -serial_esc* * Scanning sigma0* * Scanning moe rom/l4lx.cfg* * Relocated mbi to [0x110e000-0x110e15d]* * Loading fiasco* * Loading sigma0* * Loading moe* * find kernel info page...* * found kernel info page at 0x102000* *Regions of list 'regions'* * [ 101000, 101b3f] { b40} Kern fiasco* * [ 102000, 15efff] { 5d000} Kern fiasco* * [ 190000, 1965fb] { 65fc} Sigma0 sigma0* * [ 198000, 19e17b] { 617c} Sigma0 sigma0* * [ 240000, 26cafb] { 2cafc} Root moe* * [ 270000, 286f0f] { 16f10} Root moe* * [ 1100000, 11143f3] { 143f4} Boot bootstrap* * [ 110a000, 110a121] { 122} Boot mbi* * [ 110e000, 110e25a] { 25b} Root Multiboot info* * [ 1114048, 111409f] { 58} Boot mbi* * [ 1200000, 19cebd3] { 7cebd4} Root Module* *API Version: (87) experimental* * Sigma0 config ip:00190100 sp:01113de4* *Roottask config ip:00240260 sp:00000000* * Starting kernel fiasco at 001012fc* *Hello from Startup::stage2* *Number of IRQs available at this GIC: 96* *Cache config: ON* *ID_PFR[01]: 00001031 00000011 ID_[DA]FR0: 00000000 00000000* *ID_MMFR[04]: 00100103 20000000 01230000 00002111* *-----Gpt_ticks : 1638 -----* *L2: ID=00000000 Type=00000000 Aux=00000000 WMask=ff S=1* *L2: Type L2C-Unknown Size = 0kB* *SERIAL ESC: allocated IRQ 82 for serial uart* *Not using serial hack in slow timer handler.* *Welcome to Fiasco.OC (arm)!* *L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden * *Rev: 72df873 compiled with gcc 4.7.3 for zynq [] * *Build: #1 Fri Jan 30 09:52:25 CET 2015 * *Calibrating timer loop... done.* *MDB: use page size: 20* *MDB: use page size: 12* *SIGMA0: Hello!* * KIP @ 102000* * allocated 4KB for maintenance structures* *SIGMA0: Dump of all resource maps* *RAM:------------------------* *[0:100000;100fff]* *[0:15f000;18ffff]* *[0:197000;197fff]* *[0:19f000;23ffff]* *[4:240000;26cfff]* *[0:26d000;26ffff]* *[4:270000;286fff]* *[0:287000;110dfff]* *[4:110e000;110efff]* *[0:110f000;11fffff]* *[4:1200000;19cefff]* *[0:19cf000;1f0fffff]* *IOMEM:----------------------* *[0:0;fffff]* *[0:20100000;ffffffff]* *MOE: Hello world* *MOE: found 499200 KByte free memory* *MOE: found RAM from 100000 to 1f100000* *MOE: allocated 496 KByte for the page array @0x19f000* *MOE: virtual user address space [0-bfffffff]* *MOE: rom name space cap -> [C:501000]* * BOOTFS: [1962000-197b458] [C:503000] l4re* * BOOTFS: [197c000-19cebd4] [C:504000] ned* * BOOTFS: [1200000-1200189] [C:505000] l4lx.cfg* * BOOTFS: [1201000-1316704] [C:506000] io* * BOOTFS: [1317000-13170bd] [C:507000] arm-rv.io <http://arm-rv.io>* * BOOTFS: [1318000-166147c] [C:508000] vmlinuz.arm* * BOOTFS: [1662000-1962000] [C:509000] ramdisk-arm.rd* *MOE: cmdline: moe rom/l4lx.cfg* *MOE: Starting: rom/ned rom/l4lx.cfg* *MOE: loading 'rom/ned'* *Ned says: Hi World!* *Ned: loading file: 'rom/l4lx.cfg'* *l4linux | libio: Warning: Query of 'vbus' failed!* *l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=023b4f8c* *l4linux | phys=02000000 ephys=023b4f8c* *l4linux | f_sz=003303b6 memsz=003b4f8c flgs=rwx* *l4linux | PH 1 (t: 4) offs=002f401c vaddr=022ec01c vend=022ec040* *l4linux | phys=022ec01c ephys=022ec040* *l4linux | f_sz=00000024 memsz=00000024 flgs=r-x* *l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000* *l4linux | phys=00000000 ephys=00000000* *l4linux | f_sz=00000000 memsz=00000000 flgs=rwx* *l4linux | Starting binary at 0x20002a0, argc=7 argv=0x80007f8c *argv=0xb1007ff0 argv0=rom/vmlinuz.arm* *l4linux | External resolver is at 0xa8000788* *l4linux | ======> L4Linux starting... <========* *l4linux | Linux version 3.13.0-l4 (novasys@vmxub) (gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-12ubuntu1) ) #1 Fri Jan 30 10:04:39 CET 2015 * *l4linux | Binary name: rom/vmlinuz.arm* *l4linux | This is an AEABI build.* *l4linux | Linux kernel command line (6 args): mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 init=/bin/sh * *l4linux | CPU mapping (l:p)[1]: 0:0* *l4linux | Image: 02000000 - 02400000 [4096 KiB].* *l4linux | Areas: Text: 02000000 - 0230a000 [3112kB] (a bit longer)* *l4linux | Data: 0230a000 - 0232b7c0 [133kB]* *l4linux | Initdata: 022ed000 - 02309d5c [115kB]* *l4linux | BSS: 023303b6 - 023b4f8c [530kB]* *l4linux | Device scan:* *l4linux | Device scan done.* *l4linux | l4lx_thread_create: Created thread 413 (cpu0) (u:b3000e00, v:b3000c00, sp:0230bfa4)* *l4linux | main thread will be 413* *l4linux | l4x_register_pointer_section: addr = 02000000 size = 3887104* *l4linux | section-with-init: Virt: 0x2000000 to 0x23b4f8b [3795 KiB]* *l4linux | section-with-init: Phys: 0x0038d000 to 0x00741f8b, [3795 KiB]* *l4linux | Main thread running, waiting...* *l4linux | L4x: Memory size: 64MB* *l4linux | L4x: Setting superpages for main memory* *l4linux | L4x: Adjusted memory start: 02000000* *l4linux | Main memory: Virt: 0x2400000 to 0x63fffff [65536 KiB]* *l4linux | Main memory: Phys: 0x01a00000 to 0x059fffff, [65536 KiB]* *l4linux | l4x: vmalloc area: 06400000 - 0e400000* *l4linux | l4x_register_pointer_section: addr = 02000000 size = 3887104* *l4linux | text: Virt: 0x2000000 to 0x23b4f8b [3795 KiB]* *l4linux | text: Phys: 0x0038d000 to 0x00741f8b, [3795 KiB]* *l4linux | l4x_rd_path: rom/ramdisk-arm.rd* *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 418 (timer) (u:b3000a00, v:00000000, sp:0234dfa0)* *Booting Linux on physical CPU 0x0* *Linux version 3.13.0-l4 (novasys@vmxub) (gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-12ubuntu1) ) #1 Fri Jan 30 10:04:39 CET 2015* *CPU: Fiasco [410fc090] revision 0 (ARMv7), cr=00000000* *CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction cache* *Machine: L4* *Memory policy: Data cache writeback* *INITRD: 00002000 - 00302000* *Built 1 zonelists in Zone order, mobility grouping on. Total pages: 17209* *Kernel command line: mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 init=/bin/sh* *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: 64804K/69636K available (2328K kernel code, 133K rwdata, 664K rodata, 115K init, 530K bss, 4832K reserved)* *Virtual kernel memory layout:* * vector : 0xbffff000 - 0xc0000000 ( 4 kB)* * fixmap : 0xfff00000 - 0xfffe0000 ( 896 kB)* * vmalloc : 0x06400000 - 0x0e400000 ( 128 MB)* * lowmem : 0x00000000 - 0x06400000 ( 100 MB)* * modules : Virtual kernel memory layout:* * vector : 0xbffff000 - 0xc0000000 ( 4 kB)* * fixmap : 0xfff00000 - 0xfffe0000 ( 896 kB)* * vmalloc : 0x06400000 - 0x0e400000 ( 128 MB)* * lowmem : 0x00000000 - 0x06400000 ( 100 MB)* * moNR_IRQS:220* *l4timer: Using IRQ210* *sched_clock: 32 bits at 1000kHz, resolution 1000ns, wraps every 2147483648000ns* *Console: colour dummy device 80x30* *console [ttyLv0] enabled* *Calibrating delay loop... 2636.18 BogoMIPS (lpj=13180928)* *pid_max: default: 32768 minimum: 301* *Mount-cache hash table entries: 512* *CPU: Testing write buffer coherency: ok* *Setting up static identity map for 0x222f940 - 0x222f940* *NET: Registered protocol family 16* *DMA: preallocated 256 KiB pool for atomic coherent allocations* *bio: create slab <bio-0> at 0* *Failed to create "l4x" debugfs directory: 1* *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)* *TCP: reno registered* *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)* *msgmni has been set to 126* *io scheduler noop registered* *io scheduler deadline registered* *io scheduler cfq registered (default)* *L4 serial driver* *ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4* *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* *TCP: cubic registered* *NET: Registered protocol family 17* *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: 112K (022ed000 - 02309000)* */bin/sh: can't access tty; job control turned off* */ #* Here is my modules.list : *modaddr 0x01100000* *default-kernel fiasco -serial_esc* *default-bootstrap bootstrap* *entry L4Linux ARM* *roottask moe rom/l4lx.cfg* *module l4re* *module ned* *module l4lx.cfg* *module io* *module arm-rv.io <http://arm-rv.io>* *module vmlinuz.arm* *module ramdisk-arm.rd* Here is my l4lx.cfg : *-- vim:set ft=lua:* *local lxname = "vmlinuz";* *if L4.Info.arch() == "arm" then* * lxname = "vmlinuz.arm";* *end* *L4.default_loader:start(* * { caps = {* * log = L4.Env.log:m("rws"),* * },* * l4re_dbg = L4.Dbg.Warn,* * log = { "l4linux", "yellow" },* * },* * "rom/" .. lxname .. " mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh");* But I also tried this one : *-- vim:set ft=lua:* *local lxname = "vmlinuz";* *if L4.Info.arch() == "arm" then* * lxname = "vmlinuz.arm";* *end* *L4.default_loader:start(* * { caps = {* * },* * l4re_dbg = L4.Dbg.Warn,* * log = L4.Env.log,* * },* * "rom/" .. lxname .. " mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh");* [View Less]

2 1

l4linux boot failed
by Nicolas VARONA 31 Jan '15

31 Jan '15

Hi l4Hackers, I want to run the l4linux given in l4re-snapshot-2014092821. So, I built the fiasco and the l4re. I created an iso image with grub2 and the modules given in example (entry l4linux) as test: make grub2iso E=L4linux MODULES_LIST=$cwd/l4/conf/modules.list MODULE_SEARCH_PATH=$cwd/kernel/fiasco/mybuild qemu-system-i386 -m 512M -cdrom l4linux.iso -serial file:$cwd/log I enabled needed options such as the VPCI bus and followed the instructions given in mails approaching my problem (… [View More]http://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/005938.html and http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/004861.html ). I can launch Linux but the boot crashes. I also tried with VBUS and modaddr 0x02000000 with the same result. So I put the logs in a file. I tried unsuccessfully to see my mistake. In addition, are the last warnings a problem? My configuration: I run a Kubuntu in a Vm: Distributor ID: Ubuntu Description: Ubuntu 14.04.1 LTS Release: 14.04 it's a x86-32bit I have: gcc (Ubuntu 4.8.2-19ubuntu1) 4.8.2 I wanted to compile for i386. I give to you the log file, the module list, and the l4lx-gfx.cfg used in modules. Thanks in advance for your help, Nicolas ################################### log ######################################### L4 Bootstrapper Build: #2 mardi 27 janvier 2015, 15:47:44 (UTC+0100), x86-32, 4.8.2 RAM: 0000000000000000 - 000000000009fbff: 639kB RAM: 0000000000100000 - 000000001fffdfff: 523256kB Total RAM: 511MB Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/l4lx-gfx.cfg need 1244 bytes to copy MBI reserved 1244 bytes at 0x2000 Moving up to 13 modules behind 1100000 moving module 12 { 22a1000-25a0fff } -> { 318c000-348bfff } [3145728] moving module 11 { 1dc0000-22a0ccc } -> { 2cab000-318bccc } [5115085] moving module 08 { 195d000-1dbf07b } -> { 2848000-2caa07b } [4595836] moving module 07 { 17d4000-195cea8 } -> { 26bf000-2847ea8 } [1609385] moving module 06 { 8c3000-17d30c3 } -> { 17ae000-26be0c3 } [15794372] moving module 04 { 66c000-8c2741 } -> { 1557000-17ad741 } [2451266] moving module 03 { 532000-66b48c } -> { 141d000-155648c } [1283213] moving module 02 { 2e0000-531e7b } -> { 11cb000-141ce7b } [2432636] moving module 10 { 214000-214226 } -> { 11ca000-11ca226 } [551] moving module 09 { 213000-21323e } -> { 11c9000-11c923e } [575] moving module 05 { 212000-21256a } -> { 11c8000-11c856a } [1387] moving module 01 { 1bc000-211dca } -> { 1172000-11c7dca } [351691] moving module 00 { 14a000-1bb4f7 } -> { 1100000-11714f7 } [464120] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x400000 Regions of list 'regions' [ 0, fff] { 1000} Arch BIOS [ 1000, 1fff] { 1000} Kern fiasco [ 2000, 24db] { 4dc} Root mbi_rt [ 9fc00, 9ffff] { 400} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b193] { b194} Sigma0 sigma0 [ 140000, 193363] { 53364} Root moe [ 2d0400, 2df43f] { f040} Boot bootstrap [ 300000, 38ffff] { 90000} Kern fiasco [ 400000, 475fff] { 76000} Kern fiasco [ 11c8000, 11cafff] { 3000} Root Module [ 141d000, 348bfff] { 206f000} Root Module [ 1fffe000, 1fffffff] { 2000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:0010021c sp:00000000 Roottask config ip:001401f6 sp:00000000 Starting kernel fiasco at 00300854 [1;32mWelcome to Fiasco.OC (ia32)! [0;32mL4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden Rev: unknown compiled with gcc 4.8.2 for Intel Pentium Pro [] Build: #12 Tue Jan 27 15:29:54 CET 2015 [0m [31mPerformance-critical config option(s) detected: CONFIG_NDEBUG is off [m Superpages: yes Kmem:: cpu page at 1fff8000 (4096Bytes) ACPI-Init ACPI: RSDP[0xf09e0] r00 OEM:BOCHS. ACPI: RSDT[0x203ffbc1] r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203ff1c0] r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203ff234] r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203ffb11] r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203ffb89] r01 OEM:BOCHS. OEMTID:BXPCHPET IO-APIC: MADT = 0x203ffb11 IO-APIC[ 0]: struct: 0x203ffb45 adr=fec00000 IO-APIC[ 0]: pins 24 PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge) PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge) PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge) PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge) PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge) PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge) PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge) PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge) PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge) PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge) PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge) PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge) PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge) PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge) PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge) PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge) PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge) PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge) PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge) PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge) PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge) PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge) PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge) PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge) IO-APIC: dual 8259: yes IO-APIC: ovr[ 0] 00 -> 2 0 IO-APIC: ovr[ 1] 05 -> 5 d IO-APIC: ovr[ 2] 09 -> 9 d IO-APIC: ovr[ 3] 0a -> a d IO-APIC: ovr[ 4] 0b -> b d Allocate cpu_mem @ 0xfeffa400 FPU0: SSE Local APIC[00]: version=11 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling ACPI: FACS phys=1fffe000 virt=0x203fe000 ACPI: HW sig=0 SERIAL ESC: allocated IRQ 4 for serial uart Absolute KIP Syscalls using: Sysenter Enable MSI support: chained IRQ mgr @ 0xfeffa150 SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. CPU[0]: GenuineIntel (6:6:3:0)[00000663] Model: QEMU Virtual CPU version 2.0.0 at 3392MHz 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) Calibrating timer loop... done. MDB: use page size: 22 MDB: use page size: 12 SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:2000;2fff] [0:3000;9efff] [0:10c000;13ffff] [4:140000;193fff] [0:194000;3fffff] [0:470000;11c7fff] [4:11c8000;11cafff] [0:11cb000;141cfff] [4:141d000;348bfff] [0:348c000;1d70ffff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:1fffe000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 447912 KByte free memory MOE: found RAM from 2000 to 1d710000 MOE: allocated 471 KByte for the page array @0x3000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [141d000-155648d] [C:503000] l4re BOOTFS: [1557000-17ad742] [C:504000] ned BOOTFS: [11c8000-11c856b] [C:505000] l4lx-gfx.cfg BOOTFS: [17ae000-26be0c4] [C:506000] io BOOTFS: [26bf000-2847ea9] [C:507000] fb-drv BOOTFS: [2848000-2caa07c] [C:508000] mag BOOTFS: [11c9000-11c923f] [C:509000] x86-legacy.devs BOOTFS: [11ca000-11ca227] [C:50a000] l4lx-x86.io BOOTFS: [2cab000-318bccd] [C:50b000] vmlinuz BOOTFS: [318c000-348c000] [C:50c000] ramdisk-x86.rd No fpage received MOE: cmdline: moe rom/l4lx-gfx.cfg MOE: Starting: rom/ned rom/l4lx-gfx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-gfx.cfg' [37mio | Io service[0m [37mio | Find root Pointer[0m [37mio | Find root Pointer: f09e0[0m [37mio | ACPI: RSDP 0xf09e0 00014 (v00 BOCHS )[0m [37mio | ACPI: RSDT 0x1ffffbc1 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001)[0m [37mio | ACPI: FACP 0x1ffff1c0 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001)[0m [37mio | ACPI: DSDT 0x1fffe040 01180 (v01 BOCHS BXPCDSDT 00000001 BXPC 00000001)[0m [37mio | ACPI: FACS 0x1fffe000 00040[0m [37mio | ACPI: SSDT 0x1ffff234 008DD (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001)[0m [37mio | ACPI: APIC 0x1ffffb11 00078 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001)[0m [37mio | ACPI: HPET 0x1ffffb89 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001)[0m [37mio | Parsing all Control Methods:[0m [37mio | Table [[0m[37mDSDT](id 0001) - 144 Objects with 18 Devices 52 Methods 8 Regions[0m [37mio | Parsing all Control Methods:[0m [37mio | Table [[0m[37mSSDT](id 0002) - 155 Objects with 32 Devices 42 Methods 1 Regions[0m [37mio | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquired[0m [37mio | evxfevnt-0175 [02] Enable : Transition to ACPI mode successful[0m [37mio | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9[0m [37mio | Completing Region/Field/Buffer/Package initialization:.....................................[0m [37mio | Initialized [0m[37m9/9 Regions 2/2 Fields 21/21 Buffers 5/5 Packages (308 nodes)[0m [37mio | Initializing Device/Processor/Thermal objects by executing _INI methods:[0m [37mio | Executed [0m[37m0 _INI methods requiring 1 _STA executions (examined 53 objects)[0m [37mio | ACPICA-Version:20121018, System in ACPI MODE, 32bit timer[0m [37mio | evgpeblk-0615 [03] EvInitializeGpeBlock : Enabled 16 GPEs in this block[0m [37mio | IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=40201)[0m [37mio | IRQ [00000000000000-00000000000000 1] none (32bit) (align=0 flags=40201)[0m [37mio | rom/l4lx-x86.io[0m[37m:[0m[37m17[0m[37m.[0m[37m28[0m[37m-[0m[37m36[0m[37 m: warning: could not find '[0m[37mPNP0100[0m[37m'[0m[37m[0m [37mio | Ready. Waiting for request.[0m [37mmag | Hello from MAG[0m [37mfb-drv | Trying execution of ``set VBE mode'' using x86emu[0m [37mfb-drv | Found VESA BIOS version 3.0[0m [37mfb-drv | OEM [0m[37mSeaBIOS VBE(C) 2011[0m [37mfb-drv | VBE mode 0x117 successfully set.[0m [37mfb-drv | Framebuffer memory: phys: fc000000 - fc400000[0m [37mfb-drv | virt: 400000 - 800000[0m [37mfb-drv | Starting server loop[0m [37mmag | mapped frame buffer at 0x400000[0m [37mmag | View::Info:[0m [37mmag | flags: 0[0m [37mmag | size: 1024x768 pos: 0, 0[0m [37mmag | bytes_per_line: 2048[0m [37mmag | buffer_offset: 0[0m [37mmag | RGBA(2): 5(11):6(5):5(0):0(0)[0m [37mmag | memory 400000-800000[0m [37mmag | Plugin: Mag_client service started[0m [37mmag | Plugin: Frame-buffer service started[0m [37mmag | L4INPUT native mode activated[0m [37mmag | L4INPUT: !!! W A R N I N G !!![0m [37mmag | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.[0m [37mmag | L4INPUT: !!! W A R N I N G !!![0m[37m[0m [37mmag | serio: i8042 AUX port at 0x60,0x64 irq 12[0m [37mmag | serio: i8042 KBD port at 0x60,0x64 irq 1[0m [37mmag | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1[0m [37mmag | input: AT Translated Set 2 keyboard on isa0060/serio0[0m [37mmag | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0[0m [37mmag | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0[0m [33ml4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=007d0000[0m [33ml4linux | phys=[0m[33m00400000 ephys=007d0000[0m [33ml4linux | f_sz=[0m[33m003d0000 memsz=003d0000 flgs=r-x[0m [33ml4linux | PH 1 (t: 1) offs=003d1000 vaddr=007d0000 vend=008e3000[0m [33ml4linux | phys=[0m[33m007d0000 ephys=008e3000[0m [33ml4linux | f_sz=[0m[33m00063316 memsz=00113000 flgs=rw-[0m [33ml4linux | PH 2 (t: 4) offs=002eb18c vaddr=006ea18c vend=006ea1b0[0m [33ml4linux | phys=[0m[33m006ea18c ephys=006ea1b0[0m [33ml4linux | f_sz=[0m[33m00000024 memsz=00000024 flgs=---[0m [33ml4linux | Starting binary at 0x400000, argc=6 argv=0xafff4f90 *argv=0xb1007ff4 argv0=rom/vmlinuz[0m [33ml4linux | External resolver is at 0xa80006f9[0m [33ml4linux | [34;1m======> L4Linux starting... <========[0m[0m [33ml4linux | Linux version 3.16.0-l4 (novasys@ubuntu) (gcc version 4.8.2 (Ubuntu 4.8.2-19ubuntu1) ) #54 Fri Jan 30 10:35:02 CET 2015[0m [33ml4linux | Binary name: rom/vmlinuz[0m [33ml4linux | Linux kernel command line (5 args): mem=64M console=tty0 l4x_rd=rom/ramdisk-x86.rd root=1:0 ramdisk_size=4000[0m [33ml4linux | CPU mapping (l:p)[1]: 0:0[0m [33ml4linux | Image: 00400000 - 008e3000 [5004 KiB].[0m [33ml4linux | Areas: Text: 00400000 - 007d0000 [3904kB] (a bit longer)[0m [33ml4linux | Data: 007d0000 - 00805700 [213kB][0m [33ml4linux | Initdata: 00807000 - 00834000 [180kB][0m [33ml4linux | BSS: 00834000 - 008cd000 [612kB][0m [33ml4linux | gs=43 fs=43[0m [33ml4linux | Device scan:[0m [33ml4linux | Device: L4ICU[0m [33ml4linux | Device: PCI0[0m [33ml4linux | Device: pci_l4x[0000][0m [33ml4linux | PORT: 0000c040 - 0000c04f[0m [33ml4linux | PORT: 000001f0 - 000001f7[0m [33ml4linux | PORT: 000003f6 - 000003f6[0m [33ml4linux | IRQ: 0000000e - 0000000e[0m [33ml4linux | PORT: 00000170 - 00000177[0m [33ml4linux | PORT: 00000376 - 00000376[0m [33ml4linux | IRQ: 0000000f - 0000000f[0m [33ml4linux | Device: pci_l4x[0001][0m [33ml4linux | IRQ: 0000000b - 0000000b[0m [33ml4linux | MEM: febc0000 - febdffff[0m [33ml4linux | PORT: 0000c000 - 0000c03f[0m [33ml4linux | Device scan done.[0m [33ml4linux | l4x_fiasco_gdt_entry_offset = 9[0m [33ml4linux | rtc not found[0m [33ml4linux | WARNING: RTC server does not seem to be there![0m [33ml4linux | l4lx_thread_create: Created thread 417 (cpu0) (u:b3000e00, v:b3000c00, sp:007d1fac)[0m [33ml4linux | main thread will be 417[0m [33ml4linux | l4x_register_pointer_section: addr = 007d0000 size = 1126400[0m [33ml4linux | section-with-init: Virt: 0x7d0000 to 0x8e2fff [1100 KiB][0m [33ml4linux | section-with-init: Phys: 0x00ab5000 to 0x00bc7fff, [1100 KiB][0m [33ml4linux | Main thread running, waiting...[0m [33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x410c07[0m [33ml4linux | L4x: Memory size: 64MB[0m [33ml4linux | L4x: Setting superpages for main memory[0m [33ml4linux | L4x: Adjusted memory start: 00400000[0m [33ml4linux | Main memory: Virt: 0xc00000 to 0x4bfffff [65536 KiB][0m [33ml4linux | Main memory: Phys: 0x03800000 to 0x077fffff, [65536 KiB][0m [33ml4linux | l4x: vmalloc area: 04c00000 - 0cc00000[0m [33ml4linux | Filling lower ptabs...[0m [33ml4linux | Done (1819 entries).[0m [33ml4linux | l4x_register_pointer_section: addr = 00400000 size = 3997696[0m [33ml4linux | text: Virt: 0x400000 to 0x7cffff [3904 KiB][0m [33ml4linux | text: Phys: 0x0064f000 to 0x00a1efff, [3904 KiB][0m [33ml4linux | Loading: rom/ramdisk-x86.rd[0m [33ml4linux | INITRD: Size of RAMdisk is 3072KiB[0m [33ml4linux | RAMdisk from 0cd1b000 to 0d01b000 [3072KiB][0m [33ml4linux | rtc not found[0m [33ml4linux | l4lx_thread_create: Created thread 41e (timer0) (u:b3000a00, v:00000000, sp:00861fa8)[0m [33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x410c07[0m [33ml4linux | WARNING: Unknown rdmsr: 00000186 at 0x80e632[0m [33ml4linux | WARNING: Unknown rdmsr: 00000187 at 0x80e632[0m [33ml4linux | WARNING: Unknown wrmsr: 000000c1 at 0x80e704[0m [33ml4linux | Invalid IO-Port access at pc = 0081c97a port=0x110[0m [33ml4linux | Die message: Trap: 13[0m [33ml4linux | panic: going to sleep forever, bye[0m #################################### l4lx-gfx.cfg ########################### -- vim:set ft=lua: loader = L4.default_loader; local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end -- Start io vbus_l4linux = loader:new_channel(); vbus_input = loader:new_channel(); vbus_fbdrv = loader:new_channel(); loader:start( { caps = { sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; input = vbus_input:svr(); l4linux = vbus_l4linux:svr(); fbdrv = vbus_fbdrv:svr(); }, }, "rom/io rom/x86-legacy.devs rom/l4lx-x86.io"); -- Start fb-drv (but only if we need to) local fb = L4.Env.vesa; if (not fb) then fb = loader:new_channel(); loader:start({ caps = { fb = fb:svr(), vbus = vbus_fbdrv }}, "rom/fb-drv -m 0x117"); end local mag_mag = loader:new_channel(); local mag_svc = loader:new_channel(); -- Start mag loader:start( { caps = { vbus = vbus_input; mag = mag_mag:svr(); svc = mag_svc:svr(); fb = fb; }, }, "rom/mag"); -- Start Linux loader:start( { caps = { log = L4.Env.log:m("rws"), fb = mag_svc:create(L4.Proto.Goos, "g=640x480"); vbus = vbus_l4linux; }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/" .. lxname .. " mem=64M console=tty0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000"); ############################## modules.list ###################################### modaddr 0x01100000 default-kernel fiasco -serial_esc default-bootstrap bootstrap entry L4Linux roottask moe rom/l4lx-gfx.cfg module l4re module ned module l4lx-gfx.cfg module io module fb-drv module mag module x86-legacy.devs module l4lx-x86.io module vmlinuz module ramdisk-x86.rd [View Less]

2 1

Makefile in l4re
by Harini Balachandran 31 Jan '15

31 Jan '15

Sir, I have some doubts regarding makefile in l4re.What does each statement in a makefile in l4re refer to? For ex,what does REQUIRES_LIBS refer to? Thank you.

2 1

SOCKET PROGRAMMING IN L4RE
by Sushma Rao 31 Jan '15

31 Jan '15

Sir, 1.Is it possible to perform client server communication using sockets in l4re? If so, what libraries should be added to the code? 2.Does l4re supports native c++ code or should we write specific code for l4re to execute client server communication?

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers January 2015