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

..

net

…

platform

Changes to kernel_args to make it identical for x86 and x86_64.

2012-06-21 18:02:23 +01:00

addr_range.h

Remove phys_addr_range, just use addr_range for both virtual and physical address ranges (as requested by Ingo).

2012-06-21 19:48:03 +01:00

arch.h

Changed the boot ELF code to use templates and added ELF64 support.

2012-06-23 12:05:16 +01:00

bootdir.h

…

disk_identifier.h

…

driver_settings.h

Forgot to change driver_settings_file to use FixedWidthPointer.

2012-06-26 10:54:37 +01:00

elf.h

Support ELF64 in the kernel.

2012-07-09 11:11:38 +01:00

FileMapDisk.h

…

heap.h

…

images-sans-tm.h

…

images-tm-development.h

…

images-tm.h

…

images.h

…

kernel_args.h

Added an ELF64 version of preloaded_image.

2012-06-22 19:24:51 +01:00

menu.h

…

partitions.h

…

platform.h

Cleaned up ELF64 address handling.

2012-06-25 13:00:50 +01:00

stage2_args.h

…

stage2.h

Don't store a KMessage in kernel_args for the boot volume, only the buffer address/size.

2012-06-20 11:53:47 +01:00

stdio.h

…

vfs.h

…