Skip to content
@rel4team

rel4team

README.md

reL4 Crates

Crate      crates.io      Documentation Description
sel4_task Unpublished Docs.rs This is a scheduling module for rel4, responsible for TCB (Task Control Block) management and scheduling
sel4_ipc Unpublished Docs.rs This crate implements the IPC mechanism of seL4, including the endpoint, notification, and transfer..
sel4_cspace Unpublished Docs.rs This crate manages the capability space in rel4 operations.
sel4_vspace Unpublished Docs.rs The crate(virtual address space) is responsible for managing the mapping of virtual memory addresses to physical memory addresses. This is a crucial component in providing memory isolation and protection between different tasks running on the rel4.
rust-root-task-demo-mi-dev Unpublished None Root task demo on rust-seL4 with more thread
serial-frame Unpublished None Serial driver interface definition.
driver-collect Unpublished None Driver selector across different architectures
build-scripts Unpublished None rel4 build scripts
seL4_c_impl Unpublished None sel4 kernel in C
seL4-tools Unpublished None sel4 tools
sel4test Unpublished None sel4 tests
rel4_kernel Unpublished None rel4 kernel, contains sel4_task, sel4_ipc, sel4_cspace, sel4_vspace, kernel

Popular repositories Loading

  1. rel4_kernel rel4_kernel Public

    Rust 9 6

  2. sel4test-manifest sel4test-manifest Public

    Forked from seL4/sel4test-manifest

    Project to build and test seL4 for many different platforms

    1

  3. seL4_c_impl seL4_c_impl Public

    Forked from seL4/seL4

    The seL4 microkernel

    C 1

  4. sel4test sel4test Public

    a fork from sel4test

    C

  5. seL4-tools seL4-tools Public

    a fork from seL4-tools

    C

  6. qemu qemu Public

    Forked from U-interrupt/qemu

    Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

    C 1

Repositories

Showing 10 of 27 repositories
  • rust-root-task-demo Public

    rust demo on seL4 kernel

    rel4team/rust-root-task-demo’s past year of commit activity
    Rust 0 0 0 0 Updated Jan 15, 2025
  • rel4team.github.io Public
    rel4team/rel4team.github.io’s past year of commit activity
    HTML 0 1 2 0 Updated Jan 10, 2025
  • rel4_kernel Public
    rel4team/rel4_kernel’s past year of commit activity
    Rust 9 6 9 0 Updated Jan 10, 2025
  • sel4test Public

    a fork from sel4test

    rel4team/sel4test’s past year of commit activity
    C 0 0 0 0 Updated Jan 10, 2025
  • seL4_c_impl Public Forked from seL4/seL4

    The seL4 microkernel

    rel4team/seL4_c_impl’s past year of commit activity
    C 0 700 0 0 Updated Jan 10, 2025
  • opensbi Public Forked from U-interrupt/opensbi

    RISC-V Open Source Supervisor Binary Interface

    rel4team/opensbi’s past year of commit activity
    C 0 537 0 0 Updated Jan 10, 2025
  • mi-dev-integral-rel4 Public
    rel4team/mi-dev-integral-rel4’s past year of commit activity
    Rust 0 2 0 0 Updated Dec 26, 2024
  • sel4_task Public

    Basic module for building ReL4, defining the data structure and operation interface of task and scheduler.

    rel4team/sel4_task’s past year of commit activity
    Rust 0 1 0 0 Updated Dec 24, 2024
  • sel4_ipc Public

    Basic module for building ReL4, defining the data structure and operation interface of IPC.

    rel4team/sel4_ipc’s past year of commit activity
    Rust 0 1 1 0 Updated Dec 24, 2024
  • sel4_cspace Public

    Basic module for building ReL4, defining the data structure and operation interface of the capability space.

    rel4team/sel4_cspace’s past year of commit activity
    Rust 0 2 0 0 Updated Dec 24, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…