Ingo Weinhold 00090d290d boot loader: print max heap usage info before entering kernel

2013-05-09 03:14:35 +02:00

..

net

…

platform

Add debug helpers that communicate information via the LED.

2012-11-27 20:58:31 +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

Added missing packed attributes on disk_identifier.

2012-07-20 17:14:17 +01:00

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

boot loader: print max heap usage info before entering kernel

2013-05-09 03:14:35 +02:00

images-sans-tm.h

…

images-tm-development.h

…

images-tm.h

…

images.h

…

kernel_args.h

Merge branch 'master' into package-management

2013-05-05 15:03:26 +02: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

…