My computer has a SATA hard drive which is only accessible through the IDE interface (so AHCI doesn't work). Unfortunately, Genode doesn't detect it. I mentioned this problem earlier, but now I have a null modem cable to get the debugging info. Here is the full serial output:

Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2009 TU Dresden Rev: rUNKNOWN compiled with gcc 4.7.2 for Intel Pentium [] Performance-critical config option(s) detected: CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_FINE_GRAINED_CPUTIME is on

Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling SERIAL ESC: Using serial hack in slow timer handler. SERIAL ESC: No IRQ for specified uart port. Using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (6:17:7:0) Model: Pentium III (Tanner) at 2341 MHz

128 Entry I TLB (4K pages) 272 Entry D TLB (4K pages) 48 Entry D TLB (4M pages) 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: 20480 bytes (5 pages)

Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures

KIP @ 1000 magic: 4be6344c version: 87004444 sigma0 esp: 002da72c eip: 00104558 sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 010530dc MBI @ 69000 mod[3] [16fc000,16fc997) config mod[4] [16fd000,1aa35c4) init mod[5] [1aa4000,1dd1263) timer mod[6] [1dd2000,214c903) rom_blk mod[7] [214d000,24c32e5) part_blk mod[8] [24c4000,293d218) rump.lib.so mod[9] [293e000,31a781f) rump_fs.lib.so mod[10] [31a8000,3297fa8) rump_fs mod[11] [3298000,3648ca5) ld.lib.so mod[12] [3649000,399817e) fs_rom mod[13] [3999000,3d5c7d7) pci_drv mod[14] [3d5d000,41771d6) fb_drv mod[15] [4178000,4498be3) ps2_drv mod[16] [4499000,484e3b7) acpi_drv mod[17] [484f000,4c79654) atapi_drv mod[18] [4c7a000,4fe892e) ahci :ram_alloc: Allocator 1075e78 dump: Block: [00064000,0006401c) size=0000001c avail=00000000 max_avail=00000000 Block: [0006401c,00064038) size=0000001c avail=00000000 max_avail=00000000 Block: [00064038,00064054) size=0000001c avail=00000000 max_avail=00000000 Block: [00064054,00064070) size=0000001c avail=00000000 max_avail=00000000 Block: [00064070,0006408c) size=0000001c avail=00000000 max_avail=00000000 Block: [0006408c,000640a8) size=0000001c avail=00000000 max_avail=00000000 Block: [000640a8,000640c4) size=0000001c avail=00000000 max_avail=00000000 Block: [000640c4,000640e0) size=0000001c avail=00000000 max_avail=00000000 Block: [000640e0,000640fc) size=0000001c avail=00000000 max_avail=69400000 Block: [000640fc,00064118) size=0000001c avail=00000000 max_avail=00000000 Block: [00064118,00064134) size=0000001c avail=00000000 max_avail=00000000 Block: [00064134,00064150) size=0000001c avail=00000000 max_avail=00000000 Block: [00064150,00069000) size=00004eb0 avail=00004eb0 max_avail=00034fe4 Block: [0006a000,0006a01c) size=0000001c avail=00000000 max_avail=00034fe4 Block: [0006a01c,0009f000) size=00034fe4 avail=00034fe4 max_avail=00034fe4 Block: [0010a000,0010a01c) size=0000001c avail=00000000 max_avail=69400000 Block: [0010a01c,0010a038) size=0000001c avail=00000000 max_avail=00000000 Block: [0010a038,01000000) size=00ef5fc8 avail=00ef5fc8 max_avail=00ef5fc8 Block: [01087000,0108701c) size=0000001c avail=00000000 max_avail=69400000 Block: [0108701c,016fc000) size=00674fe4 avail=00674fe4 max_avail=00674fe4 Block: [04fe9000,40000000) size=3b017000 avail=3b017000 max_avail=69400000 Block: [50000000,b9400000) size=69400000 avail=69400000 max_avail=69400000 => mem_size=2778447872 (2649 MB) / mem_avail=2778447424 (2649 MB) :region_alloc: Allocator 1076fa8 dump: Block: [00002000,00064000) size=00062000 avail=00062000 max_avail=00062000 Block: [0009f000,0010a000) size=0006b000 avail=0006b000 max_avail=06c00000 Block: [b9400000,c0000000) size=06c00000 avail=06c00000 max_avail=06c00000 => mem_size=114085888 (108 MB) / mem_avail=114085888 (108 MB) :io_mem: Allocator 10762c4 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [00002000,00064000) size=00062000 avail=00062000 max_avail=00062000 Block: [0009f000,0010a000) size=0006b000 avail=0006b000 max_avail=46bfffff Block: [b9400000,ffffffff) size=46bfffff avail=46bfffff max_avail=46bfffff => mem_size=1187831807 (1132 MB) / mem_avail=1187831807 (1132 MB) :io_port: Allocator 1076710 dump: Block: [00000000,00010000) size=00010000 avail=00010000 max_avail=00010000 => mem_size=65536 (0 MB) / mem_avail=65536 (0 MB) :irq: Allocator 1076b5c dump: Block: [00000000,00000010) size=00000010 avail=00000010 max_avail=00000010 => mem_size=16 (0 MB) / mem_avail=16 (0 MB) :rom_fs: Rom_fs 10773ec dump: Rom: [0214d000,024c32e5) part_blk Rom: [03649000,0399817e) fs_rom Rom: [016fc000,016fc997) config Rom: [04c7a000,04fe892e) ahci Rom: [04499000,0484e3b7) acpi_drv Rom: [0484f000,04c79654) atapi_drv Rom: [03d5d000,041771d6) fb_drv Rom: [00001000,00002000) l4v2_kip Rom: [016fd000,01aa35c4) init Rom: [03298000,03648ca5) ld.lib.so Rom: [024c4000,0293d218) rump.lib.so Rom: [04178000,04498be3) ps2_drv Rom: [03999000,03d5c7d7) pci_drv Rom: [01dd2000,0214c903) rom_blk Rom: [0293e000,031a781f) rump_fs.lib.so Rom: [031a8000,03297fa8) rump_fs Rom: [01aa4000,01dd1263) timer :core ranges: Allocator 107940c dump: Block: [00064000,00069000) size=00005000 avail=00005000 max_avail=00005000 Block: [0006a000,0009f000) size=00035000 avail=00035000 max_avail=69400000 Block: [0010a000,40000000) size=3fef6000 avail=3fef6000 max_avail=3fef6000 Block: [50000000,b9400000) size=69400000 avail=69400000 max_avail=69400000 => mem_size=2838691840 (2707 MB) / mem_avail=2838691840 (2707 MB) Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 2649 MB to init int main(): --- init created, waiting for exit condition --- [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "CAP" [init] service "RAM" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_PORT" [init] service "IO_MEM" [init] service "SIGNAL" [init] child "acpi" [init] RAM quota: 6127616 [init] ELF binary: acpi_drv [init] priority: 0 [init] provides service PCI [init] provides service IRQ [init] child "fb_drv" [init] RAM quota: 4030464 [init] ELF binary: fb_drv [init] priority: 0 [init] provides service Framebuffer [init] child "ps2_drv" [init] RAM quota: 884736 [init] ELF binary: ps2_drv [init] priority: 0 [init] provides service Input [init] child "atapi_drv" [init] RAM quota: 209551360 [init] ELF binary: atapi_drv [init] priority: 0 [init] provides service Block [init] child "timer" [init] RAM quota: 884736 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "part_blk" [init] RAM quota: 10321920 [init] ELF binary: part_blk [init] priority: 0 [init] provides service Block [init] child "rump_fs" [init] RAM quota: 8224768 [init] ELF binary: rump_fs [init] priority: 0 [init] provides service File_system [init] child "fs_rom" [init] RAM quota: 104693760 [init] ELF binary: fs_rom [init] priority: 0 [init] provides service ROM [init] child "init" [init] RAM quota: 1073577984 [init] ELF binary: init [init] priority: 0 [init -> acpi] available memory for ACPI 2048 kiB, for PCI_DRV 3644 kiB [init -> ps2_drv] Could not set defaults [init -> ps2_drv] Could not enable stream [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init] child "timer" announces service "Timer" [init] child "ps2_drv" announces service "Input" [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17 [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_THREAS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_U [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = uT [init -> acpi] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi] MADT IRQ 9 -> GSI 9 flags: d [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIT [init -> rump_fs] Asserting rump kernel 5028 KB of RAM [init -> atapi_drv] IDE 0 Device 0: none IRQ: 14 [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = uG [init -> atapi_drv] IDE 0 Device 1: none IRQ: 14 [init -> acpi] MCFG BASE 0xf0000000 seg 00 bus 00-3f [init -> atapi_drv] IDE 1 Device 0: none IRQ: 15 [init -> atapi_drv] IDE 1 Device 1: none IRQ: 15 no RM attachment (READ pf_addr=0 pf_ip=100cb0f from 14.01) virtual void Genode::Signal_session_component::submit(Genode::Signal_context_cay [init -> rump_fs] BOOTSTRAP [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAL [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSET [init -> acpi -> pci_drv] PCI driver started [init -> acpi -> pci_drv] Could not open file "pci_device_pd" [init -> acpi -> pci_drv] PCI device protection domain for IOMMU support is note [init -> acpi -> pci_drv] 00 BDF start 0, functions: 0x4000, physical base 0xf00 [init -> acpi] ACPI table format is supported - rewrite GSIs [init -> acpi] Rewriting 00:02.0 IRQ: 10 -> GSI: 16 [init -> acpi] Rewriting 00:1b.0 IRQ: 10 -> GSI: 16 [init -> acpi] Rewriting 00:1d.0 IRQ: 05 -> GSI: 23 [init -> acpi] Rewriting 00:1d.1 IRQ: 11 -> GSI: 19 [init -> acpi] Rewriting 00:1d.2 IRQ: 03 -> GSI: 18 [init -> acpi] Rewriting 00:1d.3 IRQ: 10 -> GSI: 16 [init -> acpi] Rewriting 00:1d.7 IRQ: 05 -> GSI: 23 [init -> acpi] Rewriting 00:1f.1 IRQ: 00 -> GSI: 18 [init -> acpi] Rewriting 00:1f.2 IRQ: 11 -> GSI: 19 [init -> acpi] Rewriting 00:1f.3 IRQ: 11 -> GSI: 19 [init -> acpi] Rewriting 01:00.0 IRQ: 11 -> GSI: 17 [init] child "acpi" announces service "PCI" [init] child "acpi" announces service "IRQ" [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t0 [init] child "fb_drv" announces service "Framebuffer" [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_E Quota exceeded! amount=28672, size=4096, consumed=28672 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)