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

Andrew Baumann 5017bee158 SMC test code ... * avoid trampling r4 * changed from -march=armv7-a to -mcpu=cortex-a7 to enable SMC instruction (why?)		2016-04-19 16:42:46 +01:00
include	enable caches (!) and sharing in PTEs	2016-04-19 11:53:57 +01:00
monitor	SMC test code	2016-04-19 16:42:46 +01: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	SMC test code	2016-04-19 16:42:46 +01:00
.gitignore	clean up management of makefile config variables a tad	2016-04-06 13:03:22 -07:00
Makefile	SMC test code	2016-04-19 16:42:46 +01:00