On Tue, Mar 10, 2009 at 10:34 AM, Marco Peereboom <[email protected]> wrote: > What happens here is that the bios lies and tells us to write a value to > some register and nothing happens. We have debugged several of these > machines and all to the same avail; we are doing it right but nothing > happens. Maybe it is an idea to complain to the vendor.
I could believe that if none of them turned off with other OS. But they do. So whatever the spec is or says, there's also the real world where not-openbsd works and we don't, which means the real spec is "whatever they do".

