On 11.12.2006 14:00, Nathaniel Gray wrote: > Hmm, this time it worked. The only difference was that I built using > "make boot" then "make all" after wiping out the boot directory. > Well, let's consider it a random glitch for now, unless we see it again... Aleksey