8000 sel4-cap repositories · GitHub

More Web Proxy on the site http://driver.im/

sel4-cap

All

26 repositories

libvmm
Public
An experimental virtual machine monitor for the seL4 microkernel
C
•
Other
•16•0•0•0•Updated Nov 7, 2024Nov 7, 2024
sDDF
Public
seL4 Device Driver Framework
C
•
Other
•24•0•0•0•Updated Oct 30, 2024Oct 30, 2024
maaxboard-linux
Public
0•0•0•0•Updated Oct 9, 2024Oct 9, 2024
microkit-manifest
Public
Makefile
•0•0•0•0•Updated Aug 20, 2024Aug 20, 2024
OBSOLETE-microkit_examples
Public
C
•0•0•0•0•Updated Aug 19, 2024Aug 19, 2024
dev-kit-microkit-manifest
Public
0•1•0•0•Updated Aug 15, 2024Aug 15, 2024
OBSOLETE-maaxboard-uboot
Public
This repository contains a script and build area for building u-boot for the Avnet MaaXBoard.
Shell
•1•0•0•0•Updated Aug 13, 2024Aug 13, 2024
sel4-xhci
Public
WIP USB xHCI driver for seL4 microkit
C
•1•0•0•0•Updated Aug 8, 2024Aug 8, 2024
dev-kit-libs
Public
C
•0•0•0•0•Updated Aug 7, 2024Aug 7, 2024
dev-kit-doc
Public
0•0•0•0•Updated Jul 29, 2024Jul 29, 2024
dev-kit-examples
Public
C
•0•0•0•0•Updated Jul 16, 2024Jul 16, 2024
netbsd-fork
Public
Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
312•0•0•0•Updated May 17, 2024May 17, 2024
microkit-maaxboard-dockerfiles
Public
Shell
•40•0•0•0•Updated May 17, 2024May 17, 2024
microkit
Public
Microkit - A simple operating system framework for the seL4 microkernel
Python
•
Other
•59•0•0•0•Updated May 10, 2024May 10, 2024
OBSOLETE-seL4-DevKit-Doc
Public
Documentation for the seL4 DevKit
3•3•0•1•Updated Apr 30, 2024Apr 30, 2024
libmicrokitdma
Public
C
•
Other
•0•0•0•0•Updated Apr 24, 2024Apr 24, 2024
u-boot
Public
"Das U-Boot" Source Tree
C
•4k•0•0•0•Updated Apr 23, 2024Apr 23, 2024
dev-kit-microkit
Public
C
•
BSD 2-Clause "Simplified" License
•1•0•0•0•Updated Apr 22, 2024Apr 22, 2024
netbsd
Public
Fork of netbsd
0•0•0•0•Updated Mar 28, 2024Mar 28, 2024
picolibc
Public
picolibc - a C library designed for embedded 32- and 64- bit systems.
C
•
GNU General Public License v2.0
•224•0•0•0•Updated Mar 14, 2024Mar 14, 2024
microkit-old
Public archive
Python
•
BSD 2-Clause "Simplified" License
•0•0•0•0•Updated Feb 22, 2024Feb 22, 2024
maaxboard-uboot
Public
This repository contains a script and build area for building u-boot for the Avnet MaaXBoard.
Shell
•1•0•0•0•Updated Feb 14, 2024Feb 14, 2024
uboot-imx
Public
U-Boot for MaaXboard / Mini / Nano / Plus - upstream: https://source.codeaurora.org/external/i mx/uboot-imx
C
•6•0•0•0•Updated Feb 14, 2024Feb 14, 2024
seL4
Public
The seL4 microkernel
C
•
Other
•706•0•0•0•Updated Jan 18, 2024Jan 18, 2024
OBSOLETE-maaxboard-dockerfiles
Public
Shell
•0•0•0•0•Updated Nov 24, 2022Nov 24, 2022
OBSOLETE-sel4_cached_artefacts
Public
0•0•0•0•Updated Feb 2, 2022Feb 2, 2022

0