![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
SEL4
文章平均质量分 65
天选码农搬砖
这个作者很懒,什么都没留下…
展开
-
cmake 变量学习
自定义变量分为隐式定义与显示定义两种由project 和enable_language命令定义的变量称为隐式变量。该命令字段主要是定义工程名,上述命令会隐式定义一些变量,以所定义的project name开头隐式定义变量名例如Nornal变量定义是采用set命令将创建变量,并将 值设置为,在被设置之前, 会被展开。value值可以跟多个,如果是多个value,则variable变量以list形式进行保存。原创 2023-07-11 14:55:07 · 984 阅读 · 1 评论 -
SEL4编译
1.0 -DPLATFORM=qemu-arm-virtPLATFORM选择:进入如下目录,可以看到支持的一些平台信息我们选择qemu-arm-virt定义交叉编译工具链是arm-linux-gnueabi-。定义cmake通toolchain文件,设置编译工程的编译器,链接器。设置true or false,编译出来的版本是否有debug信息。设置true or flase, 默认配置中最大支持4核,如果支持更多核,需要设置-DKernelMaxNumNodes=<YOUR_PREFERENCE>原创 2023-07-07 16:19:35 · 302 阅读 · 2 评论 -
sel4 cmake
在看sel4编译过程的时候,发现使用cmake构建的编译系统,因此本文记录cmake相关语法,方便后续快速查看。原创 2023-07-05 19:50:36 · 120 阅读 · 1 评论 -
SEL4 tutorial hello-camkes-0
注: 需要保持足够存储空间,编译的时候遇到卡着不动的现象,最后报出来空间不足,解决空间不足问题后,可以编译成功。注: 运行脚本或者编译过程中可能还缺少其他工具,根据报错安装即可。原创 2023-07-05 14:20:27 · 106 阅读 · 1 评论 -
SEL4 tutorial-helloworld
首先我们编译hello world教程。原创 2023-07-04 20:46:42 · 96 阅读 · 0 评论 -
SEL4 for aarch64 on qemu编译运行
repo sync。原创 2023-07-04 16:42:36 · 480 阅读 · 0 评论