COCONUT-SVSM 代码初次阅读和理解。
Linaro RMM 的代码初次阅读和理解。
通过有线网络,启动树莓派的配置教程,成功后无需 SD 卡即可启动。
Boot your Raspberry Pi through Ethernet.
算法机试中奇奇怪怪的输入输出处理
Note for paper LDR: Secure and Efficient Linux Driver Runtime for TEE Systems.
Exokernel: An Operating System Architecture for Application-Level Resource Management 论文摘要。
在 Linux 5.10 版本上添加系统调用并证明可以被用户应用调用。
K2: A Mobile Operating System for Heterogeneous Coherence Domains 论文摘要。
在 QEMU 上运行 x86-64 的 5.10.215 的 Linux 内核,且亦可以使用 syzkaller 来运行。
基于 NEMU 的框架进行少量修改,可以实现在 NEMU 中对 NPC 进行仿真,方便 NPC 的仿真开发。