---
tags: 論文メモ
---

# A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4

## 背景

### 問題意識
- microkernel based multiserver systemの再考としてseL4上でRumpを動かす
- 形式検証済みの信頼できる下地の上に,安いコストでPOSIXぽい環境を作る
- 互換性,信頼性,パフォーマンスの折り合いをつける

### 問題への貢献
- seL4上にRumpを移植

## 具体的な手法など