Skip to content

@rel4team rel4team

Change the repository type filter

All

    Repositories list

    27 repositories

    • rust-root-task-demo

      Public
      rust demo on seL4 kernel
      Rust
      •0•0•0•0•Updated Jan 15, 2025Jan 15, 2025

    • rel4team.github.io

      Public
      HTML
      •1•0•2•0•Updated Jan 10, 2025Jan 10, 2025

    • rel4_kernel

      Public
      Rust
      •6•9•9•0•Updated Jan 10, 2025Jan 10, 2025

    • sel4test

      Public
      a fork from sel4test
      C
      •
      Other
      •0•0•0•0•Updated Jan 10, 2025Jan 10, 2025

    • seL4_c_impl

      Public
      The seL4 microkernel
      C
      •
      Other
      •682•0•0•0•Updated Jan 10, 2025Jan 10, 2025

    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      •
      Other
      •529•0•0•0•Updated Jan 10, 2025Jan 10, 2025

    • mi-dev-integral-rel4

      Public
      Rust
      •2•0•0•0•Updated Dec 26, 2024Dec 26, 2024

    • sel4_task

      Public
      Basic module for building ReL4, defining the data structure and operation interface of task and scheduler.
      Rust
      •1•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • sel4_ipc

      Public
      Basic module for building ReL4, defining the data structure and operation interface of IPC.
      Rust
      •1•0•1•0•Updated Dec 24, 2024Dec 24, 2024

    • sel4_cspace

      Public
      Basic module for building ReL4, defining the data structure and operation interface of the capability space.
      Rust
      •2•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • sel4_common

      Public
      Basic modules for building ReL4, defining common data structures and kernel configuration
      Rust
      •1•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • build-scripts

      Public
      Shell
      •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • mi-dev-repo

      Public
      0•0•0•0•Updated Nov 13, 2024Nov 13, 2024

    • rust_sel4_pbf_parser

      Public
      Rust
      •1•0•0•0•Updated Nov 2, 2024Nov 2, 2024

    • sel4_vspace

      Public
      Basic module for building ReL4, defining the data structure and operation interface of the virtual address space.
      Rust
      •3•0•1•0•Updated Oct 29, 2024Oct 29, 2024

    • sel4test-manifest

      Public
      Project to build and test seL4 for many different platforms
      39•0•0•0•Updated Sep 26, 2024Sep 26, 2024

    • seL4-tools

      Public
      a fork from seL4-tools
      C
      •
      Other
      •0•0•0•0•Updated Sep 26, 2024Sep 26, 2024

    • rust-root-task-demo-mi-dev

      Public
      Demonstrates the use of the seL4 crates to construct a simple system
      Dockerfile
      •8•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • rust-sel4

      Public
      Rust support for seL4 userspace
      Rust
      •17•0•0•0•Updated Sep 12, 2024Sep 12, 2024

    • .github

      Public
      0•0•0•0•Updated Sep 4, 2024Sep 4, 2024

    • serial-impl-sbi

      Public
      Rust
      •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • serial-impl-pl011

      Public
      Rust
      •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • serial-frame

      Public
      Rust
      •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • driver-collect

      Public
      Rust
      •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

    • axi-dma

      Public
      The Xilinx Axi DMA Embedded Driver in Rust
      Rust
      •1•0•0•0•Updated May 15, 2024May 15, 2024

    • axi-ethernet

      Public
      The Xilinx Axi Ethernet Embedded Driver in Rust
      Rust
      •1•0•0•0•Updated Apr 6, 2024Apr 6, 2024

    • qemu

      Public
      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
      •
      Other
      •5.7k•0•0•0•Updated Sep 11, 2023Sep 11, 2023