x86: objdump 64 bit kernel properly
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 13 Jun 2013 05:31:29 +0000 (22:31 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 13 Jun 2013 05:31:29 +0000 (22:31 -0700)
commitf9229eb81616dae49784e40d6b8e9b922430f735
tree8e141b534c37c69d51b400c76e9e60f44f11ab3f
parentdd07360f0d867faaf7fc27ab08664eedd253ae9a
x86: objdump 64 bit kernel properly

The kernel image's format is a 32 bit elf to trick grub into loading it.
This also tricks objdump into interpreting the asm as if it was 32 bit.
The -M tells objdump what the real format is.

Incidentally, now that I can see the asm, I can see the compiler does
generate xmm code in some places, and we do in fact need the extra
cflags.
Makefile
kern/arch/x86/Makefile