> That's odd, since FreeBSD and Linux work fine on K6, even though > they don't do special treatment with K6 (as for the PGE bit). So > perhaps setting the bit is not the direct cause. Hmm, perhaps you can take a look at how they use the PGE feature and see if it differs from what I did in oskit-mach. -- To UNSUBSCRIBE, email to debian-hurd-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org