b00t-c0d3

【文件属性】：

文件名称：b00t-c0d3

文件大小：2KB

文件格式：ZIP

更新时间：2024-03-19 00:45:54

C

b00t-c0d3 受OpenTitan安全启动启发的简化的初始启动代码 目的是使用CBMC / UPPAAL验证引导代码的安全性

【文件预览】：
b00t-c0d3-main
----mask_rom.c(5KB)
----README.md(150B)