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