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