论文链接：https://dl.acm.org/doi/10.1145/3593856.3595914

源代码仓库

RVM1.5：https://github.com/rvm-rtos/RVM1.5/tree/main
Jailhouse：https://github.com/siemens/jailhouse.git
Jailhouse patch：https://github.com/rvm-rtos/RVM1.5/blob/main/scripts/guest/jailhouse.patch

源代码地址：https://github.com/arceos-hypervisor/arceos/tree/hypervisor-x86

Conventions

WebAssembly 是一种具有多种具体表示形式（二进制格式和文本格式）的编程语言。两者都映射到一个共同的结构。为了简洁起见，该结构以抽象语法的形式描述。本规范的所有部分都是根据此抽象语法定义的。

介绍

WebAssembly（wasm）：safe，portable，low-level code format，专为高效执行和紧凑表示而设计。
它的主要目标是在 Web 上启用高性能应用程序，但它没有做出任何特定于 Web 的假设或提供特定于 Web 的功能，因此它也可以在其他环境中使用。

WebAssembly 是由 W3C 社区团体开发的开放标准。本文档介绍了核心 WebAssembly 标准的 2.0 版（草案 2023-12-01）。预计它将被未来具有附加功能的新增量版本所取代。

本文档将从空函数，helloworld，redis 三个例子构建 unikraft qemu-x6_64 应用。

Unikraft 安装

1、什么是 SGX？

2、为什么要使用 SGX？

3、SGX 基本原理

4、

Unikraft 调试