Alex Smith 192af9e0af Changed addr_range to use uint64. ...

I've tested this change on x86, causing no issues. I've checked over the code
for all other platforms and made the necessary changes and to the best of my
knowledge they should also still work, but I haven't actually built and
tested them. Once I've completed the kernel_args changes the other platforms
will need testing.

2012-06-20 14:11:24 +01:00

..

net

…

platform

Made it possible to build the bootloader when targetting x86_64.

2012-05-26 21:47:27 +01:00

addr_range.h

Changed addr_range to use uint64.

2012-06-20 14:11:24 +01:00

arch.h

…

bootdir.h

…

disk_identifier.h

…

driver_settings.h

…

elf.h

…

FileMapDisk.h

…

heap.h

…

images-sans-tm.h

…

images-tm-development.h

…

images-tm.h

…

images.h

…

kernel_args.h

Changed addr_range to use uint64.

2012-06-20 14:11:24 +01:00

menu.h

…

partitions.h

…

platform.h

…

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

…