Hesham Almatary 2cd909b2e9 ia32: remove unsued ia32KSGlobalPDPT and PDPT defines		2017-03-17 09:50:52 +11:00
..
arch_include	x86: Pass VBE information from multiboot through bootinfo	2017-02-28 16:35:50 +11:00
include	libsel4: Deprecate bootinfo management	2017-03-08 09:25:47 +11:00
sel4_arch_include	ia32: remove unsued ia32KSGlobalPDPT and PDPT defines	2017-03-17 09:50:52 +11:00
sel4_plat_include	ARM-HYP: Add support for save/restore of debug registers	2017-03-01 10:23:29 +11:00
src	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
tools	Replace division with int division in py scripts	2017-02-22 12:20:15 +11:00
Kbuild	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
Kconfig	libsel4: Optional public symbols for external interfaces	2016-12-06 18:08:39 +11:00
Makefile	Unify arch_shared_types.bf from the libsel	2017-02-06 09:08:35 +11:00