Adrian Danis 68887cd836 x86: Populate the freemem list from the multiboot mem list ... If the multiboot memory list exists, then it may contain more than just the single contiguous memory region listed in 'mem_upper' Therefore we use it to populate a more complete free memory list, if it exists		2016-01-12 10:59:08 +11:00
..
boot.h	x86: Populate the freemem list from the multiboot mem list	2016-01-12 10:59:08 +11:00
cspace.h	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
faulthandler.h	Release snapshot	2014-07-18 05:03:59 +10:00
thread.h	SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.	2015-11-20 15:28:18 +11:00
vspace.h	Release snapshot	2014-07-18 05:03:59 +10:00