***littlebo1eep is now known as littlebebeep
***littlebebeep is now known as littlebobeep
<DiffieHellman>spine-o-saurus: Yes, use the 32bit ones, those will run in 32bit mode. There's some work on a partial 64bit port, but that isn't done yeg. <luckyluke>spine-o-saurus: I'm working on gnumach, with a 32 bit userland, but still can't boot from a ramdisk