hermit-os / hermit-os/kernel

Intra-Unikernel Isolation with Intel Memory Protection Keys

Open
#149 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
1.5k
Forks
132
Avg merge
1d 14h
Merged PRs (30d)
39

Description

We should backport our [prototype](https://www.ssrg.ece.vt.edu/papers/vee20-mpk.pdf) for intra-kernel isolation.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.