Adrian Danis 3ba3f2de54 x86: Add BSS regions for BOOT and PHYS code ... Uninitialized data structures in BOOT and PHYS code currently get placed in sections that are allocated in the file of the final image. Whilst these sections will get reclaimed during kernel boot, so no runtime memory is being wasted, it results in kernel images that are much larger to load and transport than necesary. This change adds explicit BSS regions for both BOOT and PHYS code and moves all appropriate data structures into them		2016-12-05 14:34:00 +11:00
..
32/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
64/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
api	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
arch	x86: Add BSS regions for BOOT and PHYS code	2016-12-05 14:34:00 +11:00
benchmark	Refactor includes so trace point support builds	2016-11-23 14:29:00 +11:00
fastpath	x64: Always set the high bits of certain pointers in the fastpath	2016-11-30 11:25:05 +11:00
kernel	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
machine	SELFOUR-413: changes for verification	2016-11-25 12:30:29 +11:00
model	Remove unneeded usages of VISIBLE	2016-11-24 14:46:01 +11:00
object	x64: Efficiently pack objects for fastpath	2016-11-25 16:26:24 +11:00
plat	SELFOUR-723: kernel config for the hikey platform	2016-12-01 08:07:44 +11:00
api.h	Release snapshot	2014-07-18 05:03:59 +10:00
assert.h	Always have compile_assert enabled	2015-11-11 11:09:24 +11:00
basic_types.h	Rename uint32_t -> word_t in any relevant places	2015-12-10 10:45:20 +11:00
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
config.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
object.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
stdarg.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdint.h	conversion: fixed unnecessary word_t change	2015-12-10 10:45:22 +11:00
string.h	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
types.h	ia32: added the option to disable prefetchers	2015-04-15 14:38:55 +10:00
util.h	x86: Rewrite config_default as config_ternary for FPU	2016-11-25 14:44:08 +11:00