l4linux boot failed

Nicolas VARONA nvarona at pactenovation.fr
Fri Jan 30 12:32:50 CET 2015


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

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150130/0de7dd7f/attachment-0001.html>


More information about the l4-hackers mailing list