Directory Files
.. 35
File Size
Makefile 88 B
driver.c 4.1 kB
driver.h 739 B
encl.c 36 kB
encl.h 3.6 kB
encls.h 6.1 kB
ioctl.c 32 kB
main.c 24 kB
sgx.h 2.8 kB
virt.c 12 kB