CarpVexing

摘要： Hyperkernel验证实验的复现与z3环境初识 前言 建议顺序阅读本文！禁止转载。--@CarpVexing（https://www.cnblogs.com/CarpVexing/p/15948336.html） Boss的项目，要求对os验证的典型研究进行一些研究，于是我花费半个礼拜复现了一下 阅读全文