Adrian Danis 9b7a8405c2 Change bootinfo to have generic slot region for paging structures ... Current bootinfo defines two slot regions for paging structures, one for page directories and one for page tables. This does not easily generalise for N levels of paging structures. This change uses a single region that has a known order of objects for however many levels exist		2016-02-03 16:16:00 +11:00
..
api	SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.	2015-11-20 15:28:18 +11:00
interfaces	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
sel4	Change bootinfo to have generic slot region for paging structures	2016-02-03 16:16:00 +11:00