seL4的编译和运行(OdroidXU3)

最新推荐文章于 2025-09-19 10:12:38 发布
原创 最新推荐文章于 2025-09-19 10:12:38 发布 · 8.1k 阅读 · 9 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#seL4 #OdroidXU3

本文介绍了如何在OdroidXU3开发板上编译和运行seL4操作系统。首先，从seL4test工程获取配置文件，选择odroidxu3_release_xml_defconfig并进行编译。接着，制作SD卡启动盘，包括更改启动方式、烧写u-boot和分区。最后，在u-boot命令模式下加载seL4内核到内存并启动，成功运行seL4test-driver。

seL4支持平台

seL4所在的git如下：
https://github.com/seL4/seL4.git

不过我们编译和运行seL4一般不只是用这个git，而是借助seL4test（seL4的测试框架）：
https://github.com/seL4/sel4test.git

seL4提供了各种平台上的配置文件，也提供了用于测试seL4的app。

seL4指定了可以运行的平台，按照下面的匹配来编译它（当然还有其他的匹配）。

ARCH PLAT ARMV CPU
arm imx31 armv6 arm1136jf-s
arm omap3 armv7-a cortex-a8
arm am335x armv7-a cortex-a8
ia32
最低0.47元/天 解锁文章
linux系统运行程序设计,seL4的编译和运行
weixin_42134554的博客
04-29 974
seL4指定了可以运行的平台，按照下面的匹配来编译它。ARCHPLATARMVCPUarmimx31armv6arm1136jf-sarmomap3armv7-acortex-a8armam335xarmv7-acortex-a8ia32pc99从github上clone到工程后，执行如下：如果遇到cc1: all warnings being treated as errors，在Makefil...
sel4线程和执行
weixin_38849460的博客
03-10 1075
sel4 线程和执行 线程 seL4提供了表示执行上下文和管理处理器时间的线程。在seL4中，线程由其线程控制块对象(TCB)表示。每个TCB都有一个相关的CSpace(见第3章)和VSpace(见第7章)，它们可以被其他线程共享。TCB还可以有一个IPC缓冲区(见第4章)，用于在IPC或内核对象调用期间传递不适合体系结构定义的消息寄存器的额外参数。虽然一个线程不需要有IPC缓冲区，但是它不能执行大多数内核调用，因为它们需要cap传输。每个线程只属于一个安全域(见6.3节)。 线程创建 与其他对象一样，tc
Linux环境下seL4微内核仿真层实现项目详解
最新发布
weixin_29607511的博客
09-19 767
seL4是全球首个经过全尺度形式化验证的通用微内核，其设计核心在于最小化攻击面与保障系统行为的数学可证明性。不同于传统宏内核（如Linux），seL4将操作系统服务（如文件系统、设备驱动）移至用户态，仅保留线程调度、进程间通信（IPC）、虚拟内存管理等关键机制于内核态，显著提升了系统的安全性和可靠性。
seL4(1)-配置和运行
weixin_45165199的博客
12-20 1051
最近在学习微内核和虚拟化的知识，seL4是经过形式化验证的微内核，并且也是一个hypervisor，很值得学习一下~ 之前没有看过源码，现在没办法必须要看一下了。
SEL4编译
weixin_47139576的博客
07-07 643
1.0 -DPLATFORM=qemu-arm-virt PLATFORM选择：进入如下目录，可以看到支持的一些平台信息 我们选择qemu-arm-virt定义交叉编译工具链是arm-linux-gnueabi-。定义cmake通toolchain文件，设置编译工程的编译器，链接器。设置true or false，编译出来的版本是否有debug信息。设置true or flase, 默认配置中最大支持4核，如果支持更多核，需要设置-DKernelMaxNumNodes=<YOUR_PREFERENCE>
seL4 操作系统编程手册 （中文版）
09-06
国内知名大学的sel4文档手册，相当值得借鉴，中文版。带书签。
seL4微内核学习记录（一）：环境配置与源码编译
Inquisitor_的博客
09-19 2984
sel4微内核学习记录，展示基本的环境配置和编译、qemu模拟过程
seL4 实验环境
本末实验室
01-07 1413
在正式进行项目的 下载/编译/开发/测试 之前，需要准备好系统环境，安装一些依赖软件和基本的配置。比较快速的方式是使用 Docker 部署实验环境
官方教程：SeL4: 线程
warmmingm的博客
03-01 1053
设置 TCB 的优先级时，必须提供明确的 TCB 能力以获取设置优先级的权限。我们将在以后的教程中提供有关故障处理的更多详细信息，但现在您可以依赖内核打印故障消息，因为您创建的线程没有故障处理程序。为了提供机密性，seL4 提供了一个顶级分层调度器，它提供静态的、循环调度的调度分区，称为域。域是在编译时使用循环调度静态配置的，并且是不可抢占的，从而导致域的完全确定性调度。请记住，要设置线程的优先级，调用线程必须具有这样做的权限。新创建的线程的优先级为 0，而加载程序创建的线程的优先级为 254。
SEL4 for aarch64 on qemu编译运行
weixin_47139576的博客
07-04 865
repo sync。
seL4:seL4微内核
05-11
seL4微内核 该项目包含seL4微内核的源代码。 有关seL4微内核的详细信息，包括其形式正确性证明的详细信息，请访问网站和相关的 。 引用此存储库的最新版本的DOI： 我们欢迎对seL4的贡献。 请访问该网站以获取有关。 通常不会孤立地使用此存储库，而是将其作为较大项目中构建系统的一部分。 seL4基础 社区 邮件列表 seL4宣布 seL4开发 建议项目 社区项目 手动的 您可以在此处找到最新版本的手册的托管版本。 可在此处找到API的网络版本 资料库概述 include和src ：seL4的C和ASM源代码 tools ：构建工具 libsel4 ：seL4 ABI的C绑定 manual ：seL4参考手册的LaTeX来源 制作说明 有关构建说明，请参见seL4网站。 地位 在seL4版本下可以找到版本列表和当前项目状态。 路线图：开发中的新功能 硬件支持：有关
seL4_tools:构建seL4项目的基本工具
03-25
seL4_tools 提供用于构建seL4项目的工具。 还收集用于样式检查的通用配置和工具。 ：加载arm内核。 ：大多数构建系统。 ：其他各种工具，包括代码样式检查。 贡献 欢迎捐款！ 有关更多信息，请参见文件。
seL4用户手册
10-02
seL4微内核设计针对实时应用,可潜在应用于强调安全和实时性
seL4系统论文
01-04
本文描述了seL4实时系能的基本测试。文中详细分析了中断响应时间、进程间切换的测试。
seL4 调试指南
闲云孤鹤
08-24 4210
http://www.cse.unsw.edu.au/~cs9242/13/project/debugging.shtml
seL4环境配置
weixin_30565327的博客
11-14 463
转载声明：希望大家能够从这里收获知识之外，也能够体会到博主撰写博客的辛苦。个人博客势单力薄，对于强转甚至转载博客访问量高于原文的例子不在少数。 　　希望能够得到大家关注的同时，也能够稍微体谅一下博主的不易。 　　 　　既然奔着seL4来的，那么对于宏内核与微内核的区别应该是很清楚的了，在此就简单地介绍两者的区别，本文主要用来完成seL4环境配置工作。 　　对于小白来说，自己独...
sel4源码解析（四） - ipc
Mr0cheng的专栏
02-16 2498
4.Inter-process communicate 4.1.结构体 4.1.1.endpoints结构体 – Endpoint: size = 16 bytes block endpoint { field epQueue_head 64 padding 16 field_high epQueue_tail 46 field state 2 } block endpoint_cap(capEP...
sel4介绍
cuidahui的博客
08-01 588
seL4微内核是一种操作系统内核，旨在实现安全、可靠和为各种应用领域的系统提供可靠的基础。作为微内核，它为应用程序提供少量服务，例如创建和管理虚拟地址空间、线程和进程间通信（IPC）。seL4提供的少量服务直接转化为小型实现大约8700行C代码。
seL4教程源码压缩包
总结：seL4 Tutorials实验源码是学习seL4操作系统的一个重要资源，它不仅包含了实验性代码，还提供了丰富的教程，帮助开发者深入理解seL4的设计理念和编程模型。seL4作为一个经过数学证明的微内核操作系统，为操作...
评论 7
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值