amrzar 22f9d7b953 Update init_freemem to check for mode dependant reserve regions		2017-02-16 07:21:05 +11:00
..
arm	Update init_freemem to check for mode dependant reserve regions	2017-02-16 07:21:05 +11:00
x86/arch	Add missing seL4_Uint16 type in the kernel	2017-02-14 13:59:34 +11:00