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

# seL4 Microkernel for Virtualization Use-Cases: Potential Directions towards a Standard VMM

## 背景

### 問題意識
- seL4は小さなTCBでエッジへの適用などが期待できるがuserlandのツールがあまり成熟していない
- 組み込みVMMの需要
- seL4上のVMMは存在するが成熟したものではない
- 現在seL4上のVMMソリューションは,既存の実装をフォークしてユースケースに場当たり的ななカスタマイズをしたものでエコシステムに適合した標準があると嬉しい
- フォーク先で重複した機能の開発が行われているなどの問題

### 問題への貢献
- seL4上のVMMのユースケースの検討
- 標準化への設計方針などの検討

## 具体的な手法など
- 標準VMM設計方針
- 公式OSS
- modular, maintanable & upgradable
- portable
- scalable, アプリケーション非依存
- secured by design