Fixes bug with 64 bit linkage
authorBarret Rhoden <brho@cs.berkeley.edu>
Sun, 16 Jun 2013 04:27:50 +0000 (21:27 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sat, 22 Jun 2013 17:29:30 +0000 (10:29 -0700)
commit2d5f35778810ceac1e8fe00c8705bd7c72b656bd
tree5d3cc8bb73a4352d512ac911af84645f84cd6758
parente2d26f6c090ae9c3d431b744c92cc4dbef3b4661
Fixes bug with 64 bit linkage

The old style of tricking grub with the linker script is a bad idea.
Using objcopy instead.  For more info, check out:

http://forum.osdev.org/viewtopic.php?p=223931#p223931
Makefile
kern/arch/riscv/Makefile
kern/arch/x86/Makefile
kern/arch/x86/kernel64.ld
kern/src/Kbuild