文件名称：SABLE:Syracuse保证BootLoader执行
文件大小：269KB
文件格式：ZIP
更新时间：2024-06-02 11:27:45
C
SABLE：在S yracuse甲ssured乙OOT大号oaderËxecutive 概述 SABLE是受信任的引导程序，它使用TPM芯片在用户与其平台之间建立相互信任。 SABLE可以看作是GRUB2菜单项的包装，可用于证明该特定GRUB2菜单项的完整性。 例如，如果受信任的内核已损坏或被恶意实体替换，则SABLE提供一种机制来通知用户引导配置已损坏。 我们将每个SABLE包装的GRUB2菜单项称为SABLE启用配置（SEC）。 要求 要构建SABLE： CMake的> = 3.0.2 gcc> = 4.3 要配置和启动SABLE，请执行以下操作： 任何支持AMD-V虚拟化的AMD CPU V1.2 TPM芯片 GRUB2 tpm-工具 要为Isabelle / HOL构建SABLE： python> = 3.4 建造 对于典型的构建，请使用： $ cd <pat