Dear comp.os.minix group,

According to the OSDI book (page 288) one could choose which of the
harddisk drivers as follows:

label=BIOS

within the boot monitor. I do not really need to use `bios_wini' driver
(I just wanted to check that information) and was not able to land in a
system which would use `bios_wini' instead of `at_wini'.

I have Minix 3.1.2.
I have tried the following three combinations

1. label=BIOS

2. c0=bios

3. label=BIOS
c0=bios

monitor options. Is there anything else what should be done in order to
use `bios_wini'?

just curious, regards
--
Matej Kosik