kernel not bootable today?

[Peter Grehan]

Hi Drew,

> OK, now I'm really confused..  I thought I narrowed it down
> to your elf_machdep.c changes (which is confusing, as I'm not loading
> any modules).  I added some printfs, and the resulting kernel boots
> just fine.
> 
> Is it possible there is some sort of size or alignment issue?

  I just comitted a fix. The mtmsr() inlines don't do an isync, since
it isn't required for all bits in the msr, most noticeably the EE
bit. However, an context-syncing instruction is required when changing
the address relocation bits. I'm not exactly sure why putting in
printfs or running with syscons didn't expose this, but it should
be fixed now.

> 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 :-)

later,

Peter.