> Did you use the plan 9 kencc to build > that inferno kernel? As I > understand, inferno's 8c doesn't have the H5 option...
I used the versions with Inferno, except that I borrowed a couple files from Plan9's 8l to get the H5 support. And in case anyone's curious, I booted it with grub a little earlier today. So leaving aside the question of whether it's desirable, it's easily doable. BLS