<div dir="ltr">Here's the output from Fiasco.OC. My test, test-blk-cli-nowrite, should read from my SSD, and give output similar to test-blk-cli, but it doesn't. Note that it works in Qemu.<br><br>Bender: Hello World.<br>Need 06a96000 bytes to relocate modules.<br>Relocating to 7956a000: <br>Copying 10485760 bytes...<br>Copying 7558864 bytes...<br>Copying 14463248 bytes...<br>Copying 7118464 bytes...<br>Copying 8346872 bytes...<br>Copying 6123064 bytes...<br>Copying 6853608 bytes...<br>Copying 1298720 bytes...<br>Copying 6721728 bytes...<br>Copying 6645048 bytes...<br>Copying 6341296 bytes...<br>Copying 6395352 bytes...<br>Copying 6024024 bytes...<br>Copying 6637760 bytes...<br>Copying 1871 bytes...<br>Copying 8878520 bytes...<br>Copying 404264 bytes...<br>Copying 695472 bytes...<br>Copying 728940 bytes...<br><br><br>L4 Bootstrapper<br>  Build: #1 Wed May 27 02:30:51 UTC 2015, x86-64, 4.9.2<br>  RAM: 0000000000000000 - 000000000009e7ff: 634kB<br>  RAM: 0000000000100000 - 00000000be10ffff: 3113024kB<br>  RAM: 00000000bee5d000 - 00000000bee5dfff: 4kB<br>  RAM: 00000000bf064000 - 00000000bf462fff: 4092kB<br>  RAM: 00000000bf7f3000 - 00000000bf7fffff: 52kB<br>  RAM: 0000000100001000 - 000000043effffff: 13615100kB<br>  Total RAM: 16340MB<br>  Moving up to 18 modules behind 1100000<br>  moving module 00 { 7961c000-796c5caf } -> { 7ffff000-800a8caf } [695472]<br>  moving module 01 { 796c6000-79728b27 } -> { 800a9000-8010bb27 } [404264]<br>  moving module 02 { 79729000-79fa09b7 } -> { 8010c000-809839b7 } [8878520]<br>  moving module 03 { 79fa1000-79fa174e } -> { 1100000-110074e } [1871]<br>  moving module 04 { 79fa2000-7a5f68bf } -> { 1101000-17558bf } [6637760]<br>  moving module 05 { 7a5f7000-7abb5b57 } -> { 1756000-1d14b57 } [6024024]<br>  moving module 06 { 7abb6000-7b1cf5d7 } -> { 1d15000-232e5d7 } [6395352]<br>  moving module 07 { 7b1d0000-7b7dc2af } -> { 232f000-293b2af } [6341296]<br>  moving module 08 { 7b7dd000-7be33537 } -> { 293c000-2f92537 } [6645048]<br>  moving module 09 { 7be34000-7c49d0bf } -> { 2f93000-35fc0bf } [6721728]<br>  moving module 10 { 7c49e000-7c5db11f } -> { 35fd000-373a11f } [1298720]<br>  moving module 11 { 7c5dc000-7cc653e7 } -> { 373b000-3dc43e7 } [6853608]<br>  moving module 12 { 7cc66000-7d23ce37 } -> { 3dc5000-439be37 } [6123064]<br>  moving module 13 { 7d23d000-7da32cf7 } -> { 439c000-4b91cf7 } [8346872]<br>  moving module 14 { 7da33000-7e0fce7f } -> { 4b92000-525be7f } [7118464]<br>  moving module 15 { 7e0fd000-7eec810f } -> { 525c000-602710f } [14463248]<br>  moving module 16 { 7eec9000-7f5fe6cf } -> { 6028000-675d6cf } [7558864]<br>  moving module 17 { 7f5ff000-7fffefff } -> { 675e000-715dfff } [10485760]<br>  Scanning /fiasco/fiasco -serial_esc<br>  Scanning /fiasco/sigma0<br>  Scanning /stage1/core<br>  Bootloader MMAP:<br>    [        0,     9e800) RAM (1)<br>    [    9e800,     a0000) reserved (2)<br>    [    e0000,    100000) reserved (2)<br>    [   100000,  be110000) RAM (1)<br>    [ be110000,  be4e0000) reserved (2)<br>    [ be4e0000,  be8cf000) ACPI NVS (4)<br>    [ be8cf000,  bee5d000) reserved (2)<br>    [ bee5d000,  bee5e000) RAM (1)<br>    [ bee5e000,  bf064000) ACPI NVS (4)<br>    [ bf064000,  bf463000) RAM (1)<br>    [ bf463000,  bf7f3000) reserved (2)<br>    [ bf7f3000,  bf800000) RAM (1)<br>    [ fec00000,  fec01000) reserved (2)<br>    [ fec10000,  fec11000) reserved (2)<br>    [ fec20000,  fec21000) reserved (2)<br>    [ fed00000,  fed01000) reserved (2)<br>    [ fed61000,  fed71000) reserved (2)<br>    [ fed80000,  fed90000) reserved (2)<br>    [ fef00000, 100000000) reserved (2)<br>    [100001000, 43f000000) RAM (1)<br>  Relocated mbi to [0x2de000-0x2de5a0]<br>  Loading /fiasco/fiasco<br>  Loading /fiasco/sigma0<br>  Loading /stage1/core<br>  find kernel info page...<br>  found kernel info page at 0x400000<br>Regions of list 'regions'<br>    [        0,       fff] {     1000} Arch   BIOS<br>    [     1000,      1fff] {     1000} Kern   /fiasco/fiasco<br>    [    9e800,     9ffff] {     1800} Arch   BIOS<br>    [    e0000,     fffff] {    20000} Arch   BIOS<br>    [   100000,    10c31f] {     c320} Sigma0 /fiasco/sigma0<br>    [   2d0080,    2e51c7] {    15148} Boot   bootstrap<br>    [   2de000,    2de69d] {      69e} Root   Multiboot info<br>    [   300000,    34afff] {    4b000} Kern   /fiasco/fiasco<br>    [   400000,    4b4fff] {    b5000} Kern   /fiasco/fiasco<br>    [   500000,    74060f] {   240610} Root   /stage1/core<br>    [  1013000,   10a8fff] {    96000} Boot   bootstrap-ptab64<br>    [  1100000,   715dfff] {  605e000} Root   Module<br>    [ be110000,  be4dffff] {   3d0000} Arch   BIOS<br>    [ be4e0000,  be8cefff] {   3ef000} Arch   BIOS<br>    [ be8cf000,  bee5cfff] {   58e000} Arch   BIOS<br>    [ bee5e000,  bf063fff] {   206000} Arch   BIOS<br>    [ bf463000,  bf7f2fff] {   390000} Arch   BIOS<br>    [ fec00000,  fec00fff] {     1000} Arch   BIOS<br>    [ fec10000,  fec10fff] {     1000} Arch   BIOS<br>    [ fec20000,  fec20fff] {     1000} Arch   BIOS<br>    [ fed00000,  fed00fff] {     1000} Arch   BIOS<br>    [ fed61000,  fed70fff] {    10000} Arch   BIOS<br>    [ fed80000,  fed8ffff] {    10000} Arch   BIOS<br>    [ fef00000,  ffffffff] {  1100000} Arch   BIOS<br>  API Version: (87) experimental<br>  Sigma0 config    ip:0000000000101164 sp:00000000002e2040<br>  Roottask config  ip:0000000000500000 sp:0000000000000000<br>  Starting kernel /fiasco/fiasco at 0000000000300960<br><br>Welcome to Fiasco.OC (amd64)!<br>L4/Fiasco.OC amd64 microkernel (C) 1998-2013 TU Dresden<br>Rev: 03bf8ed compiled with gcc 4.9.2 for AMD Opteron    []<br>Build: #1 Wed May 27 02:30:31 UTC 2015<br><br>Performance-critical config option(s) detected:<br>  CONFIG_NDEBUG is off<br><br>Superpages: yes<br>Kmem:: cpu page at 43efe6000 (4096Bytes)<br>Per_cpu_data_alloc: (orig: 0xfffffffff009ed00-0xfffffffff009f8f8)<br>OSVW_MSR1 = 0x0000000000000010<br>#Errata known 5, affected by at least one<br>ACPI-Init<br>ACPI: RSDP[0xf0490]     r02 OEM:ALASKA<br>ACPI: XSDT[0x200bf078]  r01 OEM:ALASKA OEMTID:A.M.I...<br>ACPI: FACP[0x200c52a0]  r05 OEM:ALASKA OEMTID:A.M.I...<br>ACPI: APIC[0x200c53b0]  r03 OEM:ALASKA OEMTID:A.M.I...<br>ACPI: FPDT[0x200c5450]  r01 OEM:ALASKA OEMTID:A.M.I...<br>ACPI: MCFG[0x200c5498]  r01 OEM:ALASKA OEMTID:A.M.I...<br>ACPI: AAFT[0x200c54d8]  r01 OEM:ALASKA OEMTID:OEMAAFT.<br>ACPI: HPET[0x200c5540]  r01 OEM:ALASKA OEMTID:A.M.I...<br>ACPI: SSDT[0x200c5578]  r01 OEM:AMD... OEMTID:POWERNOW<br>ACPI: IVRS[0x200c6c90]  r01 OEM:AMD... OEMTID:RD890S..<br>ACPI: BGRT[0x200c6d60]  r00 OEM:ALASKA OEMTID:A.M.I...<br>IO-APIC: MADT = 0x200c53b0<br>IO-APIC[ 0]: struct: 0x200c541c adr=fec00000<br>IO-APIC[ 0]: pins 24<br>  PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge)<br>IO-APIC[ 1]: struct: 0x200c5428 adr=fec20000<br>IO-APIC[ 1]: pins 32<br>  PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[24m]: vector=38, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[25m]: vector=39, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[26m]: vector=3a, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[27m]: vector=3b, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[28m]: vector=3c, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[29m]: vector=3d, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[30m]: vector=3e, del=0, dm=physical, dest=0 (high, edge)<br>  PIN[31m]: vector=3f, del=0, dm=physical, dest=0 (high, edge)<br>IO-APIC: dual 8259: yes<br>IO-APIC: ovr[ 0] 00 -> 2<br>IO-APIC: ovr[ 1] 09 -> 9<br>Allocate cpu_mem @ 0xfffffffffffe9400<br>FPU0: SSE AVX <br>Local APIC[10]: version=10 max_lvt=5<br>APIC ESR value before/after enabling: 00000000/00000000<br>Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling<br>SERIAL ESC: Using serial hack in slow timer handler.<br>SERIAL ESC: No IRQ for specified uart port.<br>Using serial hack in slow timer handler.<br>Enable MSI support: chained IRQ mgr @ 0xfffffffffffe9350<br>CPU[0]: AuthenticAMD (15:2:0:0)[00600f20] Model: AMD FX(tm)-8320 Eight-Core Processor            at 3492MHz<br><br>  48/512 Entry I TLB (4K pages)     24/512 Entry I TLB (4M pages)<br>  64/1024 Entry D TLB (4K pages)     64/1024 Entry D TLB (4M pages)<br>  64 KB L1 I Cache (2-way associative, 64 bytes per line)<br>  16 KB L1 D Cache (4-way associative, 64 bytes per line)<br>2048 KB L2 U Cache (8-way associative, 64 bytes per line)<br>8192 KB L3 U Cache (12-way associative, 64 bytes per line)<br><br>Freeing init code/data: 24576 bytes (6 pages)<br><br>Per_cpu_data_alloc: (orig: 0xfffffffff009ed00-0xfffffffff009f8f8)<br>Allocate 3064 bytes (3KB) for CPU[4] local storage (offset=fd34300, 0xffffffffffdd3000-0xffffffffffdd3bf8)<br>MP: detecting APs...<br>Per_cpu_data_alloc: (orig: 0xfffffffff009ed00-0xfffffffff009f8f8)<br>Calibrating timer loop... Allocate 3064 bytes (3KB) for CPU[1] local storage (offset=fd35300, 0xffffffffffdd4000-0xffffffffffdd4bf8)<br>done.<br>SIGMA0: Hello!<br>  KIP @ 400000<br>  allocated 4KB for maintenance structures<br>SIGMA0: Dump of all resource maps<br>RAM:------------------------<br>[0:2000;9dfff]<br>[0:10d000;2ddfff]<br>[4:2de000;2defff]<br>[0:2df000;3fffff]<br>OSVW_MSR1 = 0x0000000000000010<br>#Errata known 5, affected by at least one<br>[Allocate cpu_mem @ 0xffffffffffd7e000<br>0Local APIC[13]: version=10 max_lvt=5<br>:4af000;4fffff]<br>[4:500000;740fff]<br>[0:741000;10fffff]<br>[4:1100000;715dfff]<br>[0:715e000;be10ffff]<br>[0:bee5d000;bee5dfff]<br>[0:bf064000;bf462fff]<br>[0:bf7f3000;bf7fffff]<br>[0:100001000;43b3fffff]<br>IOMEM:----------------------<br>APIC ESR value before/after enabling: 00000000/00000000<br>[Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling<br>:ram_alloc: Allocator 72a200 dump:<br> Block: [00002000,00002038) size=00000038 avail=00000000 max_avail=00000000<br> Block: [00002038,00002070) size=00000038 avail=00000000 max_avail=00000000<br> Block: [00002070,000020a8) size=00000038 avail=00000000 max_avail=00000000<br> Block: [000020a8,000020e0) size=00000038 avail=00000000 max_avail=00000000ffffffd40000-0xffffffffffd40bf8)<br> Block: [000020e0,00002118) size=00000038 avail=00000000 max_avail=00000000<br> Block: [00002118,00002150) size=00000038 avail=00000000 max_avail=00000000<br> Block: [00002150,00002950) size=00000800 avail=00000000 max_avail=00000000<br> Block: [00002950,00002988) size=00000038 avail=00000000 max_avail=00000000<br> Block: [00002988,000029c0) size=00000038 avail=00000000 max_avail=001d0f58<br> Block: [000029c0,000029f8) size=00000038 avail=00000000 max_avail=00000000<br>:core ranges: Allocator 72f0f0 dump:00038 avail=00000000 max_avail=00000000<br> Block: [00002000,0009e000) size=0009c000 avail=0009c000 max_avail=0009c000<br> Block: [0010d000,002de000) size=001d1000 avail=001d1000 max_avail=001d1000<br> Block: [002df000,00400000) size=00121000 avail=00121000 max_avail=3fb51000<br> Block: [004af000,40000000) size=3fb51000 avail=3fb51000 max_avail=3fb51000<br> Block: [50000000,be110000) size=6e110000 avail=6e110000 max_avail=33b3ff000<br> Block: [bee5d000,bee5e000) size=00001000 avail=00001000 max_avail=00001000<br> Block: [bf064000,bf463000) size=003ff000 avail=003ff000 max_avail=33b3ff000<br> Block: [bf7f3000,bf800000) size=0000d000 avail=0000d000 max_avail=33b3ff000<br> Block: [100001000,43b400000) size=33b3ff000 avail=33b3ff000 max_avail=33b3ff000<br> => mem_size=16802361344 (16023 MB) / mem_avail=16802361344 (16023 MB)bef90<br>Genode 15.055e000,0715e038) size=00000038 avail=00000000 max_avail=00000000<br>int main(): --- create local services --- avail=38ea1fc8 max_avail=6e110000<br>int main(): --- start init ---ze=6e110000 avail=6e110000 max_avail=6e110000<br>int main(): transferred 15924 MB to init0 avail=00001000 max_avail=33b3ff000<br>int main(): --- init created, waiting for exit condition ---_avail=003ff000<br>[init] parent provides0000) size=0000d000 avail=0000d000 max_avail=33b3ff000<br>[init]   service "ROM"400000) size=33b3ff000 avail=33b3ff000 max_avail=33b3ff000<br>[init]   service "LOG"32 (15925 MB) / mem_avail=16698946688 (15925 MB)<br>[init]   service "CAP"or 72c4c0 dump:<br>[init]   service "RAM"2000) size=00001000 avail=00001000 max_avail=00001000<br>[init]   service "RM"0d000) size=0006f000 avail=0006f000 max_avail=0006f000<br>[init]   service "CPU"f000) size=000ae000 avail=000ae000 max_avail=00d4d000<br>[init]   service "PD"5d000) size=00d4d000 avail=00d4d000 max_avail=00d4d000fffffcfd000-0xffffffffffcfdbf8)<br>[init]   service "IRQ"4000) size=00206000 avail=00206000 max_avail=7ffbc4c00000<br>[init]   service "IO_PORT") size=00390000 avail=00390000 max_avail=00390000<br>[init]   service "IO_MEM"00) size=40801000 avail=40801000 max_avail=7ffbc4c00000<br>[init]   service "SIGNAL"000000) size=7ffbc4c00000 avail=7ffbc4c00000 max_avail=7ffbc4c00000<br>[init] child "acpi"417546240 (134201448 MB) / mem_avail=140720417546240 (134201448 MB)<br>[init]   RAM quota:  6119424mp:ector 90 (Periodic Mode) for scheduling<br>[init]   ELF binary: acpi_drvize=00002000 avail=00002000 max_avail=00002000<br>[init]   priority:   0d000) size=0006f000 avail=0006f000 max_avail=0006f000<br>[init]   provides service PCIize=000ae000 avail=000ae000 max_avail=00d4d000<br>[init]   provides service IRQize=00d4d000 avail=00d4d000 max_avail=00d4d000<br>[init] child "timer"064000) size=00206000 avail=00206000 max_avail=fffffffbc4bfffff<br>[init]   RAM quota:  876544 size=00390000 avail=00390000 max_avail=00390000<br>[init]   ELF binary: timer0) size=40801000 avail=40801000 max_avail=fffffffbc4bfffff<br>[init]   priority:   0fffffffffffff) size=fffffffbc4bfffff avail=fffffffbc4bfffff max_avail=fffffffbc4bfffff<br>[init]   provides service Timer23 (17592186028136 MB) / mem_avail=18446744056638746623 (17592186028136 MB)<br>[init] child "rom_blk"b360 dump:<br>[init]   RAM quota:  33382400ize=00010000 avail=00010000 max_avail=00010000<br>[init]   ELF binary: rom_blkmem_avail=65536 (0 MB)<br>[init]   priority:   0 dump:<a href="http://mp.lib.so">mp.lib.so</a><br>[init]   provides service Blocke=00000038 avail=00000038 max_avail=00000038<br>Quota exceeded! amount=24576, size=4096, consumed=24576<br>[init] upgrading quota donation for Env::CPU (8192 bytes)<br>[init] child "ahci_drv"0) part_blk<br>[init]   RAM quota:  10313728romrv<br>[init]   ELF binary: ahci_drvi_drvv<br>[init]   priority:   080) acpi_drv<br>[init]   provides service Blockgdrv<br>[init] Could not open ROM session for module "test-blk-cli-nowrite"<br>[init -> acpi] available memory for ACPI 2048 kiB, for PCI_DRV 3348 kiB<br>[init -> ahci_drv] --- Starting AHCI driver -> done right .-) --<br>[init] child "rom_blk" announces service "Block"<br>[init] child "timer" announces service "Timer"<br>[init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32_t = unsigned int]: Found MADT<br>[init -> acpi] MADT IRQ 0 -> GSI 2 flags: 0<br>[init -> acpi] MADT IRQ 9 -> GSI 9 flags: f<br>[init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32_t = unsigned int]: Found MCFG<br>[init -> acpi] MCFG BASE 0xe0000000 seg 00 bus 00-ff<br>[init -> acpi -> pci_drv] PCI driver started<br>[init -> acpi -> pci_drv] Could not open ROM session for module "pci_device_pd"<br>[init -> acpi -> pci_drv] PCI device protection domain for IOMMU support is not available<br>[init -> acpi -> pci_drv] 00 BDF start 0, functions: 0x10000, physical base 0xe0000000<br>[init -> acpi] ACPI table format is supported - rewrite GSIs<br>[init -> acpi] Rewriting 01:00.0 IRQ: 10 -> GSI: 24<br>[init -> acpi] Rewriting 01:00.1 IRQ: 11 -> GSI: 25<br>[init -> acpi] Rewriting 02:00.0 IRQ: 10 -> GSI: 48<br>[init -> acpi] Rewriting 03:05.0 IRQ: 10 -> GSI: 20<br>[init -> acpi] Rewriting 05:00.0 IRQ: 11 -> GSI: 19<br>[init] child "acpi" announces service "PCI"<br>[init] child "acpi" announces service "IRQ"<br>[init -> ahci_drv] AHCI found (vendor: 1002 device: 4391 class: 00010601)<br>[init -> acpi -> pci_drv] 0:11.0 uses IRQ, vector 0xb<br>[init -> ahci_drv]      version: 1.0200<br>[init -> ahci_drv]      command slots: 32<br>[init -> ahci_drv]      native command queuing: yes<br>[init -> ahci_drv]      64 bit support: yes<br>[init -> ahci_drv]      number of ports: 4 pi: f<br>[init -> ahci_drv]              #0: ATA<br>[init -> ahci_drv]              #1: ATA<br>[init -> ahci_drv]              #2: ATAPI<br>[init -> ahci_drv]              #3: off<br><br><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 27, 2015 at 5:22 AM, Christian Helmuth <span dir="ltr"><<a href="mailto:christian.helmuth@...1..." target="_blank">christian.helmuth@...1...</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Thanks for your persistence regarding this subject. Please provide more information (log, config, run script) for the current issue (and in the future).<br>
<br>
Greets<br>
--<br>
Christian Helmuth<br>
Genode Labs<br>
<br>
<a href="http://www.genode-labs.com/" target="_blank">http://www.genode-labs.com/</a> · <a href="http://genode.org/" target="_blank">http://genode.org/</a> · /ˈdʒiː.nəʊd/<br>
<br>
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden<br>
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth<br>
<br>
------------------------------------------------------------------------------<br>
_______________________________________________<br>
genode-main mailing list<br>
<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...12...ceforge.net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" target="_blank">https://lists.sourceforge.net/lists/listinfo/genode-main</a><br>
</blockquote></div><br></div>