kernel not bootable today?

[Andrew Gallatin]

Peter Grehan writes:
 >   I just comitted a fix. The mtmsr() inlines don't do an isync, since

Thank you!

 > 
 > > On a related note, I don't think that the linker file
 > > is still unused in  elf_cpu_load_file().
 > 
 >   Ah yes. gcc didn't complain about that :-)
 > 
 >   Also, I found out that elf_cpu_load_file() is called when the kernel
 > is loaded, so there's no need to sync the icache for the entire kernel
 > when it's already been done for the loader. This might shave a
 > microsecond off boot time :-)

I have not tried yet, but should I now expect modules to work?

Thanks,

Drew