l4-hackers

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

2827 discussions

Re: How to run an application on l4linux
by Björn Döbel 09 Feb '15

09 Feb '15

Hi, > Do i have to generate kernel modules and copy to my ramdisk for > executing any linux application on l4linux? Or is there any other method ? No, you only have to generate kernel modules if you want to load them into the L4Linux kernel. If you simply want to run a Linux user application on top of L4Linux all you have to do is to make this program binary available to L4Linux, for instance by putting it onto the ramdisk. (You can mount the ramdisk with the -o loop option as Matthias already indicated.) > Regarding building kernel modules, I did the following: > I auto.conf file, I added CONFIG_L4_BLK_DS_DRV = y > I generated hello.ko file. Also, in its Makefile i had given L4linux > build directory path > In l4linux.cfg file ,I added l4bdds.add=rom/hello.ko > I did not copy the hello.ko file into my ramdisk-x86.rd. > But when i booted my l4linux, I couldn't find l4bdds in dev directory.My > command was > /# cat /dev/l4bdds > cat:can't open '/dev/l4bdds':No such file or directory Do you see any messages regarding L4bdds during bootup? Björn

1 0

Mounting l4linux ramdisk
by Harini Balachandran 09 Feb '15

09 Feb '15

I am trying to execute a hello world application on l4 linux.I generated hello.ko file.What is the procedure to mount the l4linux ramdisk and how to copy my .ko file to it. I gave the following command on the l4linux command prompt. [root]# mkdir /mnt/rd [root]# mount /dev/ram0 /mnt/rd mount:mounting /dev/ram0 on /mnt/rd failed:no such file or directory.

2 1

How to run an application on l4linux
by Gayathri Nagarajan 09 Feb '15

09 Feb '15

Many thanks for the l4 team in helping me resolve my errors. I have succesfully built fiasco.oc,l4re,l4linux I want to execute a socket program(linux application) on l4linux or using l4linux. Hence, I am in need of step by step procedure for executing it. Also, is there any links or reference pages regarding how to use l4linux and how to run linux applications on l4linux? Gayathri

2 1

Re:Linux boot problem
by Gayathri Nagarajan 05 Feb '15

05 Feb '15

Upon the boot of l4linux iso image using QEMU, I got the following: vmlinuz | RAMDISK: ext2 filesystem found at block 0 vmlinuz | RAMDISK: Loading 3072KiB [1 disk] into ram disk... done. vmlinuz | EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities vmlinuz | EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem vmlinuz | EXT4-fs (ram0): mounted filesystem without journal. Opts: (null) vmlinuz | VFS: Mounted root (ext2 filesystem) on device 1:0. vmlinuz | Freeing unused kernel memory: 144K (00709000 - 0072d000) vmlinuz | Clocksource tsc unstable (delta = 3346692958 ns) vmlinuz | /bin/sh: can't access tty; job control turned off I disabled ACPI and power management options also. I have included init=/bin/sh in l4linux.cfg script. Still the linux command prompt doesn't appear via l4linux launch. The script is below: //l4linux.cfg: L4.default_loader:start({}, "rom/vmlinuz mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-x86.rd root=1:0 ramdisk_size=4000 init=/bin/sh");

3 2

l4linux boot problem
by Gayathri Nagarajan 04 Feb '15

04 Feb '15

Upon the boot of l4linux iso image using QEMU, I got the following: vmlinuz | RAMDISK: ext2 filesystem found at block 0 vmlinuz | RAMDISK: Loading 3072KiB [1 disk] into ram disk... done. vmlinuz | EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities vmlinuz | EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem vmlinuz | EXT4-fs (ram0): mounted filesystem without journal. Opts: (null) vmlinuz | VFS: Mounted root (ext2 filesystem) on device 1:0. vmlinuz | Freeing unused kernel memory: 144K (00709000 - 0072d000) vmlinuz | Clocksource tsc unstable (delta = 3346692958 ns) vmlinuz | /bin/sh: can't access tty; job control turned off I even disabled power management and ACPI options in l4linux configuration, still the same fault.

2 1

Problem with L4linux
by Gayathri Nagarajan 02 Feb '15

02 Feb '15

When I executed l4linux as an l4re application , the attached image got generated. How to resolve this?

2 1

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 throughput for heavily I/O-bound workloads). I am dissatisfied with all the current mainstream OSes and want to take on the challenge of making something better. I am planning to reuse as much existing third-party code as possible, especially as I will probably be working on it alone at first (of course if anybody here wants to contribute they can). However, due to the design, the only part of L4Re that I can use as-is is sigma0 (which may require minor changes to fit into the XIP-based boot process I am going to use). I will be implementing my own root task which may use a few parts of moe, although I haven't looked too closely at the source for moe so I'm not sure if there's anything there that I can use. Other than sigma0, the low-level kernel headers, and possibly some parts of moe, I'm not sure if there is much else from L4Re (or Genode) that would be useful in the context of a pure Unix-like multi-server OS. Most of the code I reuse will come from BSD and GNU (which gets me quite far; the root task will probably be the biggest part of the base OS that will be primarily original code). I already have a very good idea of the design I'm going to use; I'll post more about it later.

2 4

Problem with Socket program
by Gayathri Nagarajan 01 Feb '15

01 Feb '15

I am trying to execute a socket program like - client server. I am getting errors like "undefined reference to socket". But I have included <sys/socket.h>. I tried adding library "-lsocket", still the same error. Also, I get errors like "Library Dependencies missing", "Cflags dependencies missing". What libraries have to be added in the makefile for any socket program? The kernel implementation of socket is also available in uclibc pkg of l4re. How do I make my program linked to the socket call? Please help us resolve this error to get the program built successfully. Thank you very much

2 1

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 *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");*

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 (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

2 1

Jump to page:

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