Skip to content
@sel4-cap

sel4-cap

Pinned Loading

  1. microkit-manifest microkit-manifest Public

    Makefile

Repositories

Showing 10 of 26 repositories
  • libvmm Public Forked from au-ts/libvmm

    An experimental virtual machine monitor for the seL4 microkernel

    sel4-cap/libvmm’s past year of commit activity
    C 0 15 0 0 Updated Nov 7, 2024
  • sDDF Public Forked from au-ts/sddf

    seL4 Device Driver Framework

    sel4-cap/sDDF’s past year of commit activity
    C 0 23 0 0 Updated Oct 30, 2024
  • maaxboard-linux Public
    sel4-cap/maaxboard-linux’s past year of commit activity
    0 0 0 0 Updated Oct 9, 2024
  • microkit-manifest Public
    sel4-cap/microkit-manifest’s past year of commit activity
    Makefile 0 0 0 0 Updated Aug 20, 2024
  • OBSOLETE-microkit_examples Public
    sel4-cap/OBSOLETE-microkit_examples’s past year of commit activity
    C 0 0 0 0 Updated Aug 19, 2024
  • dev-kit-microkit-manifest Public
    sel4-cap/dev-kit-microkit-manifest’s past year of commit activity
    0 0 0 0 Updated Aug 15, 2024
  • OBSOLETE-maaxboard-uboot Public

    This repository contains a script and build area for building u-boot for the Avnet MaaXBoard.

    sel4-cap/OBSOLETE-maaxboard-uboot’s past year of commit activity
    Shell 0 1 0 0 Updated Aug 13, 2024
  • sel4-xhci Public

    WIP USB xHCI driver for seL4 microkit

    sel4-cap/sel4-xhci’s past year of commit activity
    C 0 1 0 0 Updated Aug 8, 2024
  • dev-kit-libs Public
    sel4-cap/dev-kit-libs’s past year of commit activity
    C 0 0 0 0 Updated Aug 7, 2024
  • dev-kit-doc Public
    sel4-cap/dev-kit-doc’s past year of commit activity
    0 0 0 0 Updated Jul 29, 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.

Top languages

Loading…

Most used topics

Loading…