Hi
i tried ahci_drv.run ,it worked well
when i tried to use ahci_drv and part_blk making l4linux access to hard disk, it failed.

[init -> l4linux] thread=18000 cpu=1
[init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 6161b1
[init -> part_blk] Partition 1: LBA 2048 (204800 blocks) type: 7
[init -> part_blk] Partition 2: LBA 206848 (209730572 blocks) type: 7
[init -> part_blk] Partition 3: LBA 209938430 (1006979074 blocks) type: f
[init -> part_blk] Partition 4: LBA 1934756096 (18764976 blocks) type: 7

my hard disk /dev/sda

Disk /dev/sda: 1000.2 GB, 1000204886016 bytes
255 heads, 63 sectors/track, 121601 cylinders, total 1953525168 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disk identifier: 0xb673c29c

   Device Boot      Start         End      Blocks   Id  System
/dev/sda1   *        2048      206847      102400    7  HPFS/NTFS/exFAT
/dev/sda2          206848   209937419   104865286    7  HPFS/NTFS/exFAT
/dev/sda3       209938430  1216917503   503489537    f  W95 Ext'd (LBA)
/dev/sda4      1934756096  1953521071     9382488    7  HPFS/NTFS/exFAT
/dev/sda5       209938432   517138431   153600000    7  HPFS/NTFS/exFAT
/dev/sda6       517140480   824340479   153600000    7  HPFS/NTFS/exFAT
/dev/sda7       824342528  1019652095    97654784   83  Linux
/dev/sda8      1019654144  1021605887      975872   82  Linux swap / Solaris
/dev/sda9      1021607936  1216917503    97654784   83  Linux

the part_blk server get the parition of my hard disk (though not all),but the l4liunx can not get the partition table 

[]input:Genode input key as /devices/virtual/input/input0
[]input:Genode input mounse as /devices/virtual/input/input1
[]sda:unknown partition table
[]Genode blk-file driver initialized

Regards
Yuqing Wang