Alex Smith 3b802628b8 Support ELF64 in the kernel.
This has been done by adding typedefs in elf_common.h to the correct ELF
structures for the architecture, and changing all Elf32_* uses to those
types. I don't know whether image loading works as I cannot test it yet,
there may be some 64-bit safety issues around. However, symbol lookup for
the kernel is working correctly.
2012-07-09 11:11:38 +01:00
..
2012-02-19 15:11:57 +01:00
2012-05-02 23:51:49 -04:00
2012-07-09 11:11:38 +01:00
2012-04-16 21:31:22 +02:00
2012-06-25 13:43:53 -04:00
2012-07-09 11:11:38 +01:00