A co-worker pointed out that that I didn't update the kernel that pxe boots.
And indeed, pxe still booted with a 32 bit kernel. I have booted now into FAI. I have some problems left, but that's for tomorrow.
I'm going to write this up and put it on the wiki, tomorrow or next week. Thanks for all the help! Rudy -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- Rudy Gevaert [EMAIL PROTECTED] tel:+32 9 264 4734 Directie ICT, afd. Infrastructuur Direction ICT, Infrastructure dept. Groep Systemen Systems group Universiteit Gent Ghent University Krijgslaan 281, gebouw S9, 9000 Gent, Belgie www.UGent.be -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --