240 发简信
IP属地:浙江
  • seL4自定义项目编译指南

    为了创建自定义的项目工程,而非官方给的tutorials例程中的。通过dump官方的init.py脚本信息,加上自己摸索尝试,终于知道了其中的奥秘。下面给出流程。 1. 创建...