move the kernel to 0x80000000

This commit is contained in:
Robert Morris 2011-08-31 09:48:52 -04:00
parent 5c292b3d71
commit 15997d5849
3 changed files with 4 additions and 3 deletions

View file

@ -43,7 +43,7 @@ bootmain(void)
// Call the entry point from the ELF header.
// Does not return!
entry = (void(*)(void))(elf->entry & 0xFFFFFF);
entry = (void(*)(void))(elf->entry - KERNBASE);
entry();
}