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.html>
More information about the l4-hackers
mailing list