rel4-linux-kit

rel4 linux kit 提供一套工具和服务以便于 linux app 运行在 rel4、sel4 之上

环境安装

安装 musl gcc 工具链

请确保您已安装 aarch64-linux-musl-cross,如果没有安装可以先执行

wget https://musl.cc/aarch64-linux-musl-cross.tgz
tar zxf aarch64-linux-musl-cross.tgz
export PATH=$PATH:`pwd`/aarch64-linux-musl-cross/bin

安装 sel4-kernel-loader-add-payload

cargo install --git https://github.com/seL4/rust-sel4 --rev 1cd063a0f69b2d2045bfa224a36c9341619f0e9b sel4-kernel-loader-add-payload

下载 sel4 内核

mkdir -p .env
wget -qO- https://github.com/yfblock/rel4-kernel-autobuild/releases/download/release-2025-03-26/seL4.tar.gz | gunzip | tar -xvf - -C .env --strip-components 1

运行

运行时会自动下载测例，然后创建 testcases 文件夹，后续需要添加测例，可以给 testcases 文件夹中添加内容实现。

tools/app-parser.py kernel-thread block-thread uart-thread
make disk_img

make run

## if you want to get a clean output.
make run LOG=error

---
title: IPC 架构模块
---
flowchart TB
    srv-iface["服务接口层"]
    blk-thread["块设备任务"]
    fat-thread["fat32文件系统任务"]
    lwext4-thread["ext4文件系统任务"]
    kernel-thread["内核服务任务"]
    uart-thread["串口服务"]
    root-task["根任务"]
    demo-task["demo 程序"]
    sel4-runtime["sel4运行时"]

    uart-thread --> srv-iface
    uart-thread --> sel4-runtime
    demo-task --> srv-iface
    demo-task --> sel4-runtime
    srv-iface --> sel4-runtime
    blk-thread --> sel4-runtime
    fat-thread --> sel4-runtime
    kernel-thread --> sel4-runtime
    root-task --> sel4-runtime
    lwext4-thread --> sel4-runtime

Loading