Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

Andrew Baumann a89c1db659 checkpoint: entering linux, and parking other cores		2016-04-10 20:29:41 -07:00
include	checkpoint: lots of work on mapping monitor, but none of it tested	2016-04-05 16:36:56 -07:00
monitor	now calling into and returning to loader from monitor (in SW PL1)	2016-04-08 21:29:05 -07:00
pdclib	checkpoint: as far as calling into the monitor on qemu, but translations don't seem to work	2016-04-06 16:52:33 -07:00
piimage	clean up management of makefile config variables a tad	2016-04-06 13:03:22 -07:00
piloader	checkpoint: entering linux, and parking other cores	2016-04-10 20:29:41 -07:00
.gitignore	clean up management of makefile config variables a tad	2016-04-06 13:03:22 -07:00
Makefile	checkpoint: as far as calling into the monitor on qemu, but translations don't seem to work	2016-04-06 16:52:33 -07:00