l4linux with ide-harddisk
"Rudolf Weber" <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <trinity-3bcd73d6-ff93-4d4f-9e35-141e4d0730e1-1375881110276@3capp-webde-bs12> |
Hello,
I prepared a 32 bit ubuntu system on a virtualbox and replaced the linux - Kernel through the
l4re-snapshot-2013060718 - L4Linux-mag-x86 Konfiguration.
First I made a disk and add it to the vm and I could mount it !
I wonder ( see later).
Now I configured the Ubuntu-Linux-Root-Disk as /dev/hda and:
...
piix 0000:00:03.0: IDE controller (0x8086:0x7111 rev 0x01)
pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0
piix 0000:00:03.0: not 100% native mode: will probe irqs later
ide0: BM-DMA at 0xd000-0xd007
ide1: BM-DMA at 0xd008-0xd00f
hdc: VBOX CD-ROM, ATAPI CD/DVD-ROM drive
hdc: UDMA/33 mode selected
ide0 at 0x1f0-0x1f7,0x3f6 on irq 14
ESC[37mio | ERROR: binding irq 15, result is -1 (Operation not permitted)
ESC[0m
ESC[33ml4linux | Bind irq to icu failed with -1ESC[0m
l4x-irq: Did not get IRQ 15 from IO service
==> I think, the interupt is not delegated from the IO-Server to l4linux
My understanding is, that the io-Server manage all interrupts,ioports.
But why I could mount a disk ?
I dont see a device in x86-legacy.dev, so I add IDE0 and IDE1 (see attachment),
and add a systembus
disks => new System_bus()
{
IDE0 => wrap(hw-root.match("ide0"));
IDE1 => wrap(hw-root.match("ide1"));
}
in
l4lx-x86.io (see attachment)
in the start-config l4lx-gfx.cfg the disks are granted to l4linux (see attachment)
As result, the output is
piix 0000:00:03.0: IDE controller (0x8086:0x7111 rev 0x01)
pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0
piix 0000:00:03.0: not 100% native mode: will probe irqs later
ide0: BM-DMA at 0xd000-0xd007
ide1: BM-DMA at 0xd008-0xd00f
hda: VBOX HARDDISK, ATA DISK drive
hda: UDMA/33 mode selected
hdc: VBOX CD-ROM, ATAPI CD/DVD-ROM drive
Switching to clocksource tsc
hdc: UDMA/33 mode selected
ide0 at 0x1f0-0x1f7,0x3f6 on irq 14
ESC[33ml4linux | Bind irq to icu failed with -1ESC[0m
l4x-irq: Did not get IRQ 15 from IO service
------------[ cut here ]------------
WARNING: at /home/rw/l4exp/l4re-snapshot-2013060718/src/l4linux/arch/l4/l4lxlib/
l4env/irq_vcpu.c:106 l4lx_irq_dev_startup+0x17a/0x180()
Modules linked in:
Pid: 1, comm: swapper Not tainted 3.9.0-l4 #1
Call Trace:
-> the ERROR "ERROR: binding irq 15, result is -1 (Operation not permitted)"
don't appear,
but the result is the same.
The current output of the serialine is in l4ubuntu.1
The l4-linux I configured with PCI/VPCI see attatchment x86_rw_config like in my last E-mails.
Summary:
* How to grant the ide-Controllers to l4linux ?
* Why l4Linux can't get the interrupt - what is wrong with my configuration ?
HW-Question: How are the IDE-Controllers and the PCI related ?
Thank you very much
Rudolf Weber
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4lx-gfx.cfg
(application/octet-stream, 1.3 KB) - not displayed
l4lx-x86.io
(application/octet-stream, 652 B) - not displayed
l4ubuntu.1.txt
(text/plain, 32.1 KB)
L4 Bootstrapper
Build: #3 Mi 31. Jul 14:55:03 CEST 2013, x86-32, 4.7.3
RAM: 0000000000000000 - 000000000009fbff: 639kB
RAM: 0000000000100000 - 000000007ffeffff: 2096064kB
Total RAM: 2047MB
Moving up to 12 modules behind 2000000
moving module 00 { 13e000-1aad9f } -> { 3dc6000-3e32d9f } [445856]
moving module 01 { 1ab000-205dfb } -> { 3e33000-3e8ddfb } [372220]
moving module 02 { 2e5000-547afb } -> { 3e8e000-40f0afb } [2501372]
moving module 03 { 548000-682267 } -> { 2000000-213a267 } [1286760]
moving module 04 { 683000-8dd2fb } -> { 213b000-23952fb } [2466556]
moving module 05 { 206000-206558 } -> { 2396000-2396558 } [1369]
moving module 06 { 8de000-1460449 } -> { 2397000-2f19449 } [12067914]
moving module 07 { 1461000-18c82ad } -> { 2f1a000-33812ad } [4616878]
moving module 08 { 18c9000-1a61bec } -> { 3382000-351abec } [1674221]
moving module 09 { 207000-20743b } -> { 351b000-351b43b } [1084]
moving module 10 { 208000-208289 } -> { 351c000-351c289 } [650]
moving module 11 { 1a62000-1f03fb9 } -> { 351d000-39befb9 } [4857786]
Scanning fiasco -serial_esc
Scanning sigma0
Scanning moe rom/l4lx-gfx.cfg
Bootloader MMAP:
[ 0, 9fc00) RAM (1)
[ 9fc00, a0000) reserved (2)
[ f0000, 100000) reserved (2)
[ 100000, 7fff0000) RAM (1)
[ 7fff0000, 80000000) ACPI (3)
[ fffc0000, 100000000) reserved (2)
Relocated mbi to [0x2e0000-0x2e048f]
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
[ 9fc00, 9ffff] { 400} Arch BIOS
[ f0000, fffff] { 10000} Arch BIOS
[ 100000, 10b197] { b198} Sigma0 sigma0
[ 140000, 18d27f] { 4d280} Root moe
[ 2d0000, 2e4427] { 14428} Boot bootstrap
[ 2e0000, 2e058c] { 58d} Root Multiboot info
[ 300000, 38ffff] { 90000} Kern fiasco
[ 400000, 472fff] { 73000} Kern fiasco
[ 2000000, 39befb9] { 19befba} Root Module
[ 7fff0000, 7fffffff] { 10000} Arch BIOS
[ fffc0000, ffffffff] { 40000} Arch BIOS
API Version: (87) experimental
Sigma0 config ip:0010021c sp:002df150
Roottask config ip:001401f8 sp:00000000
Starting kernel fiasco at 003007e0
[1;32mWelcome to Fiasco.OC (ia32)!
[0;32mL4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden
Rev: rNicht versioniertes Verzeichnis compiled with gcc 4.7.3 for Intel Pentium []
Build: #1 Mi 10. Jul 21:09:07 CEST 2013
[0m
[31mPerformance-critical config option(s) detected:
CONFIG_NDEBUG is off
CONFIG_NO_FRAME_PTR is off
[m
Superpages: yes
Kmem:: cpu page at 7fbe2000 (4096Bytes)
ACPI-Init
ACPI: RSDP[0xe0000] r02 OEM:VBOX..
ACPI: XSDT[0x203f0030] r01 OEM:VBOX.. OEMTID:VBOXXSDT
ACPI: FACP[0x203f00f0] r04 OEM:VBOX.. OEMTID:VBOXFACP
ACPI: SSDT[0x203f0240] r01 OEM:VBOX.. OEMTID:VBOXCPUT
Could not find APIC in RSDT nor XSDT, skipping init
Enabling special fully nested mode for PIC
Allocate cpu_mem @ 0xfffe5400
FPU0: SSE
Local APIC[00]: version=14 max_lvt=5
APIC ESR value before/after enabling: 00000000/00000000
Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling
SERIAL ESC: allocated IRQ 4 for serial uart
Absolute KIP Syscalls using: Sysenter
Enable MSI support: chained IRQ mgr @ 0xfffe5008
SERIAL ESC: allocated IRQ 4 for serial uart
Not using serial hack in slow timer handler.
CPU[0]: GenuineIntel (6:3A:9:0)[000306a9] Model: Intel(R) Core(TM) i7-3632QM CPU @ 2.20GHz at 2186MHz
64 Entry D TLB (4K pages) 512 Entry D TLB (4k or 4M pages)
Freeing init code/data: 28672 bytes (7 pages)
Calibrating timer loop... done.
SIGMA0: Hello!
KIP @ 400000
Found Fiasco: KIP syscalls: yes
allocated 4KB for maintenance structures
SIGMA0: Dump of all resource maps
RAM:------------------------
[0:1000;9efff]
[0:10c000;13ffff]
[4:140000;18dfff]
[0:18e000;2dffff]
[4:2e0000;2e0fff]
[0:2e1000;3fffff]
[0:46c000;1ffffff]
[4:2000000;39befff]
[0:39bf000;7bffffff]
[0:7fc00000;7ffeffff]
IOMEM:----------------------
[0:0;fff]
[0:9f000;fffff]
[0:7fff0000;fedfffff]
[0:fee01000;ffffffff]
IO PORTS--------------------------
[0:0;fffffff]
MOE: Hello world
MOE: found 2008096 KByte free memory
MOE: found RAM from 1000 to 7fff0000
MOE: allocated 2047 KByte for the page array @0x46c000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:501000]
BOOTFS: [2000000-213a268] [C:503000] l4re
BOOTFS: [213b000-23952fc] [C:504000] ned
BOOTFS: [2396000-2396559] [C:505000] l4lx-gfx.cfg
BOOTFS: [2397000-2f1944a] [C:506000] io
BOOTFS: [2f1a000-33812ae] [C:507000] mag
BOOTFS: [3382000-351abed] [C:508000] fb-drv
BOOTFS: [351b000-351b43c] [C:509000] x86-legacy.devs
BOOTFS: [351c000-351c28a] [C:50a000] l4lx-x86.io
BOOTFS: [351d000-39befba] [C:50b000] vmlinuz
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 | Dev_factory: register factory for N2Hw6DeviceE[0m
[37mio | GTF: register factory for 7Pci_dev[0m
[37mio | GTF: register factory for N2Hw12Msi_resourceE[0m
[37mio | Dev_factory: register factory for N2Hw11Gpio_deviceE[0m
[37mio | Io service[0m
[37mio | Find root Pointer[0m
[37mio | Find root Pointer: e0000[0m
[37mio | ACPI: RSDP 0xe0000 00024 (v02 VBOX )[0m
[37mio | ACPI: XSDT 0x7fff0030 00034 (v01 VBOX VBOXXSDT 00000001 ASL 00000061)[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf00f0, 0x80007cc8, 0x80007ccc): UNINPLEMENTED[0m
[37mio | ACPI: FACP 0x7fff00f0 000F4 (v04 VBOX VBOXFACP 00000001 ASL 00000061)[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0410, 0x80007ca8, 0x80007cac): UNINPLEMENTED[0m
[37mio | ACPI: DSDT 0x7fff0410 01B96 (v01 VBOX VBOXBIOS 00000002 INTL 20100528)[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0200, 0x80007ca8, 0x80007cac): UNINPLEMENTED[0m
[37mio | ACPI: FACS 0x7fff0200 00040[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0240, 0x80007cc8, 0x80007ccc): UNINPLEMENTED[0m
[37mio | ACPI: SSDT 0x7fff0240 001CC (v01 VBOX VBOXCPUT 00000002 INTL 20100528)[0m
[37mio | Parsing all Control Methods:[0m
[37mio | Table [[0m[37mDSDT](id 0001) - 212 Objects with 23 Devices 64 Methods 4 Regions[0m
[37mio | Parsing all Control Methods:[0m
[37mio | Table [[0m[37mSSDT](id 0002) - 0 Objects with 0 Devices 0 Methods 0 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 07 [_GPE] 1 regs on int 0x9[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:60:AcpiOsInstallInterruptHandler(9, 0x1082f60, 0x39b0): UNINPLEMENTED[0m
[37mio | nseval-0527 [03] NsExecModuleCode : Executed module-level code at 0xbf1f4c[0m
[37mio | ACPI: Executed 1 blocks of module-level executable AML code[0m
[37mio | Completing Region/Field/Buffer/Package initialization:...............................[0m
[37mio | Initialized [0m[37m3/4 Regions 1/1 Fields 20/20 Buffers 7/7 Packages (221 nodes)[0m
[37mio | Initializing Device/Processor/Thermal objects by executing _INI methods:[0m
[37mio | Executed [0m[37m1 _INI methods requiring 0 _STA executions (examined 25 objects)[0m
[37mio | ACPICA-Version:20121018, System in ACPI MODE, 24bit timer[0m
[37mio | <0x9b10>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d3b0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d428>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d4c8>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d568>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d5e0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d608>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | rom/l4lx-x86.io[0m[37m:[0m[37m31[0m[37m.[0m[37m37[0m[37m: [0m[37msyntax error, unexpected ';', expecting ')'[0m[37m[0m
[37mio | rom/l4lx-x86.io: error using as lua config: rom/l4lx-x86.io:1: unexpected symbol near '>'[0m
[37mio | rom/l4lx-x86.io: error (legacy format): parse errors (errno=1)[0m
[37mio | Ready. Waiting for request.[0m
L4 Bootstrapper
Build: #3 Mi 31. Jul 14:55:03 CEST 2013, x86-32, 4.7.3
RAM: 0000000000000000 - 000000000009fbff: 639kB
RAM: 0000000000100000 - 000000007ffeffff: 2096064kB
Total RAM: 2047MB
Moving up to 12 modules behind 2000000
moving module 00 { 13e000-1aad9f } -> { 3dc6000-3e32d9f } [445856]
moving module 01 { 1ab000-205dfb } -> { 3e33000-3e8ddfb } [372220]
moving module 02 { 2e5000-547afb } -> { 3e8e000-40f0afb } [2501372]
moving module 03 { 548000-682267 } -> { 2000000-213a267 } [1286760]
moving module 04 { 683000-8dd2fb } -> { 213b000-23952fb } [2466556]
moving module 05 { 206000-206558 } -> { 2396000-2396558 } [1369]
moving module 06 { 8de000-1460449 } -> { 2397000-2f19449 } [12067914]
moving module 07 { 1461000-18c82ad } -> { 2f1a000-33812ad } [4616878]
moving module 08 { 18c9000-1a61bec } -> { 3382000-351abec } [1674221]
moving module 09 { 207000-20743b } -> { 351b000-351b43b } [1084]
moving module 10 { 208000-20828b } -> { 351c000-351c28b } [652]
moving module 11 { 1a62000-1f03fb9 } -> { 351d000-39befb9 } [4857786]
Scanning fiasco -serial_esc
Scanning sigma0
Scanning moe rom/l4lx-gfx.cfg
Bootloader MMAP:
[ 0, 9fc00) RAM (1)
[ 9fc00, a0000) reserved (2)
[ f0000, 100000) reserved (2)
[ 100000, 7fff0000) RAM (1)
[ 7fff0000, 80000000) ACPI (3)
[ fffc0000, 100000000) reserved (2)
Relocated mbi to [0x2e0000-0x2e048f]
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
[ 9fc00, 9ffff] { 400} Arch BIOS
[ f0000, fffff] { 10000} Arch BIOS
[ 100000, 10b197] { b198} Sigma0 sigma0
[ 140000, 18d27f] { 4d280} Root moe
[ 2d0000, 2e4427] { 14428} Boot bootstrap
[ 2e0000, 2e058c] { 58d} Root Multiboot info
[ 300000, 38ffff] { 90000} Kern fiasco
[ 400000, 472fff] { 73000} Kern fiasco
[ 2000000, 39befb9] { 19befba} Root Module
[ 7fff0000, 7fffffff] { 10000} Arch BIOS
[ fffc0000, ffffffff] { 40000} Arch BIOS
API Version: (87) experimental
Sigma0 config ip:0010021c sp:002df150
Roottask config ip:001401f8 sp:00000000
Starting kernel fiasco at 003007e0
[1;32mWelcome to Fiasco.OC (ia32)!
[0;32mL4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden
Rev: rNicht versioniertes Verzeichnis compiled with gcc 4.7.3 for Intel Pentium []
Build: #1 Mi 10. Jul 21:09:07 CEST 2013
[0m
[31mPerformance-critical config option(s) detected:
CONFIG_NDEBUG is off
CONFIG_NO_FRAME_PTR is off
[m
Superpages: yes
Kmem:: cpu page at 7fbe2000 (4096Bytes)
ACPI-Init
ACPI: RSDP[0xe0000] r02 OEM:VBOX..
ACPI: XSDT[0x203f0030] r01 OEM:VBOX.. OEMTID:VBOXXSDT
ACPI: FACP[0x203f00f0] r04 OEM:VBOX.. OEMTID:VBOXFACP
ACPI: SSDT[0x203f0240] r01 OEM:VBOX.. OEMTID:VBOXCPUT
Could not find APIC in RSDT nor XSDT, skipping init
Enabling special fully nested mode for PIC
Allocate cpu_mem @ 0xfffe5400
FPU0: SSE
Local APIC[00]: version=14 max_lvt=5
APIC ESR value before/after enabling: 00000000/00000000
Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling
SERIAL ESC: allocated IRQ 4 for serial uart
Absolute KIP Syscalls using: Sysenter
Enable MSI support: chained IRQ mgr @ 0xfffe5008
SERIAL ESC: allocated IRQ 4 for serial uart
Not using serial hack in slow timer handler.
CPU[0]: GenuineIntel (6:3A:9:0)[000306a9] Model: Intel(R) Core(TM) i7-3632QM CPU @ 2.20GHz at 2186MHz
64 Entry D TLB (4K pages) 512 Entry D TLB (4k or 4M pages)
Freeing init code/data: 28672 bytes (7 pages)
Calibrating timer loop... done.
SIGMA0: Hello!
KIP @ 400000
Found Fiasco: KIP syscalls: yes
allocated 4KB for maintenance structures
SIGMA0: Dump of all resource maps
RAM:------------------------
[0:1000;9efff]
[0:10c000;13ffff]
[4:140000;18dfff]
[0:18e000;2dffff]
[4:2e0000;2e0fff]
[0:2e1000;3fffff]
[0:46c000;1ffffff]
[4:2000000;39befff]
[0:39bf000;7bffffff]
[0:7fc00000;7ffeffff]
IOMEM:----------------------
[0:0;fff]
[0:9f000;fffff]
[0:7fff0000;fedfffff]
[0:fee01000;ffffffff]
IO PORTS--------------------------
[0:0;fffffff]
MOE: Hello world
MOE: found 2008096 KByte free memory
MOE: found RAM from 1000 to 7fff0000
MOE: allocated 2047 KByte for the page array @0x46c000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:501000]
BOOTFS: [2000000-213a268] [C:503000] l4re
BOOTFS: [213b000-23952fc] [C:504000] ned
BOOTFS: [2396000-2396559] [C:505000] l4lx-gfx.cfg
BOOTFS: [2397000-2f1944a] [C:506000] io
BOOTFS: [2f1a000-33812ae] [C:507000] mag
BOOTFS: [3382000-351abed] [C:508000] fb-drv
BOOTFS: [351b000-351b43c] [C:509000] x86-legacy.devs
BOOTFS: [351c000-351c28c] [C:50a000] l4lx-x86.io
BOOTFS: [351d000-39befba] [C:50b000] vmlinuz
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 | Dev_factory: register factory for N2Hw6DeviceE[0m
[37mio | GTF: register factory for 7Pci_dev[0m
[37mio | GTF: register factory for N2Hw12Msi_resourceE[0m
[37mio | Dev_factory: register factory for N2Hw11Gpio_deviceE[0m
[37mio | Io service[0m
[37mio | Find root Pointer[0m
[37mio | Find root Pointer: e0000[0m
[37mio | ACPI: RSDP 0xe0000 00024 (v02 VBOX )[0m
[37mio | ACPI: XSDT 0x7fff0030 00034 (v01 VBOX VBOXXSDT 00000001 ASL 00000061)[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf00f0, 0x80007cc8, 0x80007ccc): UNINPLEMENTED[0m
[37mio | ACPI: FACP 0x7fff00f0 000F4 (v04 VBOX VBOXFACP 00000001 ASL 00000061)[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0410, 0x80007ca8, 0x80007cac): UNINPLEMENTED[0m
[37mio | ACPI: DSDT 0x7fff0410 01B96 (v01 VBOX VBOXBIOS 00000002 INTL 20100528)[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0200, 0x80007ca8, 0x80007cac): UNINPLEMENTED[0m
[37mio | ACPI: FACS 0x7fff0200 00040[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0240, 0x80007cc8, 0x80007ccc): UNINPLEMENTED[0m
[37mio | ACPI: SSDT 0x7fff0240 001CC (v01 VBOX VBOXCPUT 00000002 INTL 20100528)[0m
[37mio | Parsing all Control Methods:[0m
[37mio | Table [[0m[37mDSDT](id 0001) - 212 Objects with 23 Devices 64 Methods 4 Regions[0m
[37mio | Parsing all Control Methods:[0m
[37mio | Table [[0m[37mSSDT](id 0002) - 0 Objects with 0 Devices 0 Methods 0 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 07 [_GPE] 1 regs on int 0x9[0m
[37mio | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:60:AcpiOsInstallInterruptHandler(9, 0x1082f60, 0x39b0): UNINPLEMENTED[0m
[37mio | nseval-0527 [03] NsExecModuleCode : Executed module-level code at 0xbf1f4c[0m
[37mio | ACPI: Executed 1 blocks of module-level executable AML code[0m
[37mio | Completing Region/Field/Buffer/Package initialization:...............................[0m
[37mio | Initialized [0m[37m3/4 Regions 1/1 Fields 20/20 Buffers 7/7 Packages (221 nodes)[0m
[37mio | Initializing Device/Processor/Thermal objects by executing _INI methods:[0m
[37mio | Executed [0m[37m1 _INI methods requiring 0 _STA executions (examined 25 objects)[0m
[37mio | ACPICA-Version:20121018, System in ACPI MODE, 24bit timer[0m
[37mio | <0x9b10>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d3b0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d428>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d4c8>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d568>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d5e0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[0m
[37mio | <0x1d608>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201)[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 2.0[0m
[37mfb-drv | OEM [0m[37mVirtualBox VESA BIOS[0m
[37mfb-drv | VBE mode 0x117 successfully set.[0m
[37mfb-drv | Framebuffer memory: phys: e0000000 - e0c00000[0m
[37mfb-drv | virt: 400000 - 1000000[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-1000000[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=00790000[0m
[33ml4linux | phys=[0m[33m00400000 ephys=00790000[0m
[33ml4linux | f_sz=[0m[33m00390000 memsz=00390000 flgs=r-x[0m
[33ml4linux | PH 1 (t: 1) offs=00391000 vaddr=00790000 vend=008a4000[0m
[33ml4linux | phys=[0m[33m00790000 ephys=008a4000[0m
[33ml4linux | f_sz=[0m[33m00060211 memsz=00114000 flgs=rw-[0m
[33ml4linux | PH 2 (t: 4) offs=002c3470 vaddr=006c2470 vend=006c2494[0m
[33ml4linux | phys=[0m[33m006c2470 ephys=006c2494[0m
[33ml4linux | f_sz=[0m[33m00000024 memsz=00000024 flgs=---[0m
[33ml4linux | Starting binary at 0x400000, argc=5 argv=0x80007f94 *argv=0xb1007ff4 argv0=rom/vmlinuz[0m
[33ml4linux | External resolver is at 0xa8000730[0m
[33ml4linux | [34;1m======> L4Linux starting... <========[0m[0m
[33ml4linux | Linux version 3.9.0-l4 ([email protected]) (gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1) ) #1 Fri Jul 26 13:04:42 CEST 2013[0m
[33ml4linux | Binary name: rom/vmlinuz[0m
[33ml4linux | Linux kernel command line (4 args): mem=512M console=ttyLv0 root=/dev/hda2 init=/bin/sh[0m
[33ml4linux | CPU mapping (l:p)[1]: 0:0[0m
[33ml4linux | Image: 00400000 - 008a4000 [4752 KiB].[0m
[33ml4linux | Areas: Text: 00400000 - 00790000 [3648kB] (a bit longer)[0m
[33ml4linux | Data: 00790000 - 007bfe20 [191kB][0m
[33ml4linux | Initdata: 007c1000 - 007f1000 [192kB][0m
[33ml4linux | BSS: 007f2000 - 0088f000 [628kB][0m
[33ml4linux | gs=43 fs=43[0m
[33ml4linux | Device scan:[0m
[33ml4linux | Device: (noname)[0m
[33ml4linux | Device: PCI0[0m
[33ml4linux | Device: pci_l4x[0000][0m
[33ml4linux | IRQ: 00000005 - 00000005[0m
[33ml4linux | PORT: 0000d240 - 0000d247[0m
[33ml4linux | PORT: 0000d248 - 0000d24b[0m
[33ml4linux | PORT: 0000d250 - 0000d257[0m
[33ml4linux | PORT: 0000d258 - 0000d25b[0m
[33ml4linux | PORT: 0000d260 - 0000d26f[0m
[33ml4linux | MEM: f0806000 - f0807fff[0m
[33ml4linux | Device: pci_l4x[0001][0m
[33ml4linux | IRQ: 00000005 - 00000005[0m
[33ml4linux | PORT: 0000d100 - 0000d1ff[0m
[33ml4linux | PORT: 0000d200 - 0000d23f[0m
[33ml4linux | Device: pci_l4x[0002][0m
[33ml4linux | IRQ: 0000000a - 0000000a[0m
[33ml4linux | MEM: f0000000 - f001ffff[0m
[33ml4linux | PORT: 0000d010 - 0000d017[0m
[33ml4linux | Device: pci_l4x[0003][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 | PORT: 0000d000 - 0000d00f[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 418 (cpu0) (u:b3000e00, v:b3000c00, sp:00791fac)[0m
[33ml4linux | main thread will be 418[0m
[33ml4linux | l4x_register_pointer_section: addr = 00790000 size = 1130496[0m
[33ml4linux | section-with-init: virt: 0x790000 to 0x8a3fff [1104 KiB][0m
[33ml4linux | section-with-init: Phys: 0x00b6a000 to 0x00c7e000, Size: 1130496[0m
[33ml4linux | Main thread running, waiting...[0m
[33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x7dbc38[0m
[33ml4linux | L4x: Setting superpages for main memory[0m
[33ml4linux | Main memory size: 512MB[0m
[33ml4linux | Adjusted memory start: 00400000[0m
[33ml4linux | Main memory: virt: 0xc00000 to 0x20bfffff [524288 KiB][0m
[33ml4linux | Main memory: Phys: 0x03c00000 to 0x23c00000, Size: 536870912[0m
[33ml4linux | l4x: vmalloc area: 20c00000 - 28c00000[0m
[33ml4linux | Filling lower ptabs...[0m
[33ml4linux | Done (1882 entries).[0m
[33ml4linux | l4x_register_pointer_section: addr = 00400000 size = 3735552[0m
[33ml4linux | text: virt: 0x400000 to 0x78ffff [3648 KiB][0m
[33ml4linux | text: Phys: 0x007da000 to 0x00b6a000, Size: 3735552[0m
[33ml4linux | rtc not found[0m
Linux version 3.9.0-l4 ([email protected]) (gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1) ) #1 Fri Jul 26 13:04:42 CEST 2013
Disabled fast string operations
e820: BIOS-provided physical RAM map:
L4Lx-Memory: [mem 0x0000000000000000-0x00000000003fffff] reserved
L4Lx-Memory: [mem 0x0000000000400000-0x00000000008a3fff] usable
L4Lx-Memory: [mem 0x00000000008a4000-0x0000000000bfffff] unusable
L4Lx-Memory: [mem 0x0000000000c00000-0x0000000020bfffff] usable
Notice: NX (Execute Disable) protection cannot be enabled: non-PAE kernel!
.text .data .bss are not marked as E820_RAM!
e820: last_pfn = 0x20c00 max_arch_pfn = 0x100000
init_memory_mapping: [mem 0x00000000-0x000fffff]
init_memory_mapping: [mem 0x20800000-0x20bfffff]
init_memory_mapping: [mem 0x20000000-0x207fffff]
init_memory_mapping: [mem 0x00400000-0x008a3fff]
init_memory_mapping: [mem 0x00c00000-0x1fffffff]
524MB LOWMEM available.
mapped low ram: 0 - 20c00000
low ram: 0 - 20c00000
Zone ranges:
DMA [mem 0x00400000-0xffffffff]
Normal [mem 0x00000000-0x20bfffff]
Movable zone start for each node
Early memory node ranges
node 0: [mem 0x00400000-0x008a3fff]
node 0: [mem 0x00c00000-0x20bfffff]
e820: [mem 0x20c00000-0xffffffff] available for PCI devices
Built 1 zonelists in Zone order, mobility grouping on. Total pages: 131220
Kernel command line: mem=512M console=ttyLv0 root=/dev/hda2 init=/bin/sh
PID hash table entries: 4096 (order: 2, 16384 bytes)
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
__ex_table already sorted, skipping sort
Initializing CPU#0
Memory: 519360k/536576k available (2823k kernel code, 9680k reserved, 1015k data, 192k init, 0k highmem)
virtual kernel memory layout:
fixmap : 0x28d01000 - 0x28d1b000 ( 104 kB)
vmalloc : 0x20c00000 - 0x28c00000 ( 128 MB)
lowmem : 0x00000000 - 0x20c00000 ( 524 MB)
.init : 0x007c1000 - 0x007f1000 ( 192 kB)
.data : virtual kernel memory layout:
fixmap : 0x28d01000 - 0x28d1b000 ( 104 kB)
vmNR_IRQS:192 nr_irqs:192 192
Console: colour dummy device 80x25
console [ttyLv0] enabled
l4timer: Using IRQ65
[33ml4linux | l4lx_thread_create: Created thread 41f (timer) (u:b3000a00, v:00000000, sp:00825fa8)[0m
Detected 2186.446 MHz processor
Calibrating delay loop (skipped), value calculated using timer frequency.. 4372.89 BogoMIPS (lpj=21864460)
pid_max: default: 32768 minimum: 301
Mount-cache hash table entries: 512
[33ml4linux | WARNING: Unknown wrmsr: 0000008b at 0x7dbc38[0m
Disabled fast string operations
Last level iTLB entries: 4KB 512, 2MB 0, 4MB 0
Last level dTLB entries: 4KB 512, 2MB 32, 4MB 32
tlb_flushall_shift: 1
CPU: Intel(R) Core(TM) i7-3632QM CPU @ 2.20GHz (fam: 06, model: 3a, stepping: 09)
Performance Events: unsupported p6 CPU model 58 no PMU driver, software events only.
NET: Registered protocol family 16
bio: create slab <bio-0> at 0
vgaarb: loaded
SCSI subsystem initialized
pps_core: LinuxPPS API ver. 1 registered
pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <[email protected]>
PTP clock support registered
l4vPCI: L4 root bridge is device 39d20
PCI host bridge to bus 0000:00
pci_bus 0000:00: root bus resource [io 0x0000-0xffff]
pci_bus 0000:00: root bus resource [mem 0x00000000-0xffffffff]
pci_bus 0000:00: root bus resource [bus 00-ff]
l4vPCI: Using L4-IO for IRQ routing
L4IRQ: set irq type of 5 to 8
pci 0000:00:00.0: PCI INT A -> GSI 5 (level, low) -> IRQ 5
L4IRQ: set irq type of 5 to 8
pci 0000:00:01.0: PCI INT A -> GSI 5 (level, low) -> IRQ 5
L4IRQ: set irq type of 10 to 8
pci 0000:00:02.0: PCI INT A -> GSI 10 (level, low) -> IRQ 10
pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0
Switching to clocksource l4kipclk
NET: Registered protocol family 2
TCP established hash table entries: 8192 (order: 4, 65536 bytes)
TCP bind hash table entries: 8192 (order: 3, 32768 bytes)
TCP: Hash tables configured (established 8192 bind 8192)
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
RPC: Registered named UNIX socket transport module.
RPC: Registered udp transport module.
RPC: Registered tcp transport module.
RPC: Registered tcp NFSv4.1 backchannel transport module.
l4x: Checks passed.
platform rtc_cmos: registered platform RTC device (no PNP device found)
NFS: Registering the id_resolver key type
Key type id_resolver registered
Key type id_legacy registered
msgmni has been set to 1014
io scheduler noop registered
io scheduler deadline registered
io scheduler cfq registered (default)
l4fb.0: looking for capability 'fb' as goos session
l4fb l4fb.0: 640x480@16 2bypp, size: 614400 @ 28e00000
l4fb l4fb.0: 5:6:5 11:5:0 linelen=1280 visual=2
l4fb l4fb.0: l4fb L4 frame buffer device (refresh: 10jiffies)
Console: switching to colour frame buffer device 80x30
L4 serial driver
ttyLv0 at MMIO 0x1 (irq = 64) 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.
Uniform Multi-Platform E-IDE driver
piix 0000:00:03.0: IDE controller (0x8086:0x7111 rev 0x01)
pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0
piix 0000:00:03.0: not 100% native mode: will probe irqs later
ide0: BM-DMA at 0xd000-0xd007
ide1: BM-DMA at 0xd008-0xd00f
hda: VBOX HARDDISK, ATA DISK drive
hda: UDMA/33 mode selected
hdc: VBOX CD-ROM, ATAPI CD/DVD-ROM drive
Switching to clocksource tsc
hdc: UDMA/33 mode selected
ide0 at 0x1f0-0x1f7,0x3f6 on irq 14
[33ml4linux | Bind irq to icu failed with -1[0m
l4x-irq: Did not get IRQ 15 from IO service
------------[ cut here ]------------
WARNING: at /home/rw/l4exp/l4re-snapshot-2013060718/src/l4linux/arch/l4/l4lxlib/l4env/irq_vcpu.c:106 l4lx_irq_dev_startup+0x17a/0x180()
Modules linked in:
Pid: 1, comm: swapper Not tainted 3.9.0-l4 #1
Call Trace:
[<0041e82f>] warn_slowpath_common+0x5f/0x80
[<005636ba>] ? l4lx_irq_dev_startup+0x17a/0x180
[<005636ba>] ? l4lx_irq_dev_startup+0x17a/0x180
[<0041e86d>] warn_slowpath_null+0x1d/0x20
[<005636ba>] l4lx_irq_dev_startup+0x17a/0x180
[<005bad20>] ? ide_requeue_and_plug+0x40/0x40
[<00453d3f>] irq_startup+0x2f/0x70
[<005bad20>] ? ide_requeue_and_plug+0x40/0x40
[<00452d9c>] __setup_irq+0x38c/0x410
[<005bad20>] ? ide_requeue_and_plug+0x40/0x40
[<00452eb8>] request_threaded_irq+0x98/0x110
[<005be1d4>] ide_host_register+0x364/0x5d0
[<005c2e39>] ide_pci_init_two+0x4a9/0x800
[<004d0007>] ? proc_ns_follow_link+0x77/0x1c0
[<006b8faa>] ? klist_next+0x2a/0xc0
[<006b905a>] ? klist_put+0x1a/0x50
[<006b90a4>] ? klist_iter_exit+0x14/0x20
[<005b320b>] ? bus_find_device+0x5b/0x70
[<005b103f>] ? put_device+0xf/0x20
[<00575cbf>] ? pci_dev_put+0xf/0x20
[<00576109>] ? pci_get_dev_by_id+0x49/0x80
[<00576040>] ? pci_do_find_bus+0x40/0x40
[<005760f7>] ? pci_get_dev_by_id+0x37/0x80
[<007d4e6b>] ? generic_ide_init+0x16/0x16
[<00576233>] ? pci_get_subsys+0x33/0x40
[<007d4e6b>] ? generic_ide_init+0x16/0x16
[<005c31a2>] ide_pci_init_one+0x12/0x20
[<005c5046>] piix_init_one+0x16/0x20
[<007d4ea0>] ide_scan_pcibus+0x35/0xcb
[<007d4e39>] ? piix_ide_init+0x9b/0xa1
[<007d4d95>] ? ide_init+0x6a/0x73
[<007d4e6b>] ? generic_ide_init+0x16/0x16
[<00400172>] do_one_initcall+0x122/0x170
[<0043c473>] ? __wake_up+0x43/0x50
[<007c16a2>] kernel_init_freeable+0xcf/0x16e
[<007c111f>] ? do_early_param+0x7a/0x7a
[<006ba38b>] kernel_init+0xb/0xc0
[<006c1ba7>] ret_from_kernel_thread+0x1b/0x28
[<006ba380>] ? rest_init+0x60/0x60
---[ end trace bfd2d5cf2e507f77 ]---
ide1 at 0x170-0x177,0x376 on irq 15
ide_generic: please use "probe_mask=0x3f" module parameter for probing all legacy ISA IDE ports
ide-gd driver 1.18
hda: max request size: 128KiB
hda: 33554432 sectors (17179 MB) w/256KiB Cache, CHS=33288/16/63
hda: cache flushes supported
hda: hda1 hda2
ide-cd driver 5.00
ide-atapi: cmd 0x5a timed out
hdc: lost interrupt
ide-atapi: cmd 0x5a timed out
hdc: lost interrupt
ide-cd: hdc: ATAPI 32X DVD-ROM drive, 128kB Cache
cdrom: Uniform CD-ROM driver Revision: 3.20
hdc: lost interrupt
ide-atapi: cmd 0x3 timed out
hdc: lost interrupt
x86-legacy.devs
(application/octet-stream, 1.1 KB) - not displayed
x86_rw_config
(application/octet-stream, 47.2 KB) - not displayed