Please check our ATC'19 paper
Tested on Ubuntu 16.04
Build and install the kernel:
- libmpk was developed on Linux 4.14.2.
- The Linux kernel source is available in ./kernel
- Enable memory protection keys when compiling the kernel.
- Build and install the kernel.
Build general library:
$ cd lib
$ ./install.sh
Build heap-related library:
$ cd lib/heap
$ ./install.sh
- Soyeon Park [email protected]
- Sangho Lee [email protected]
- Wen Xu [email protected]
- Hyungon Moon [email protected]
- Taesoo Kim [email protected]