/libmpk

Primary LanguageCMIT LicenseMIT

libmpk

Documentation

Please check our ATC'19 paper

Environment

Tested on Ubuntu 16.04

Build

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

Contacts