GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → seL4 → Sel4

seL4 / Sel4

Licence: other
The seL4 microkernel

Programming Languages

c
50402 projects - #5 most used programming language
python
139335 projects - #7 most used programming language
TeX
3793 projects
CMake
9771 projects
Beef
7 projects
assembly
5116 projects

Labels

osmicrokernelsel4sel4-microkernel

Projects that are alternatives of or similar to Sel4

mcube
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
Stars: ✭ 42 (-98.74%)
Mutual labels:  os, microkernel
fpos
Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a h…
Stars: ✭ 36 (-98.92%)
Mutual labels:  os, microkernel
OpenHarmony
华为鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。
Stars: ✭ 373 (-88.85%)
Mutual labels:  os, microkernel
MoonOS
MoonOS (just a kernel atm) is a micro kernel designed for the x86_64 and arm architecure.
Stars: ✭ 82 (-97.55%)
Mutual labels:  os, microkernel
xtrix
xtrix OS repo
Stars: ✭ 23 (-99.31%)
Mutual labels:  os, microkernel
poplar
Microkernel and userspace written in Rust exploring modern ideas
Stars: ✭ 217 (-93.51%)
Mutual labels:  os, microkernel
Sigma
Abandoned overcomplicated Microkernel using modern x86_64 features
Stars: ✭ 36 (-98.92%)
Mutual labels:  os, microkernel
RocketOS
RocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it still is a serious project. It is currently in its infancy.
Stars: ✭ 23 (-99.31%)
Mutual labels:  os
face unlock
We can lock and unlock our Ubuntu system using face recognition(currently only on Ubuntu).
Stars: ✭ 48 (-98.56%)
Mutual labels:  os
MuditaOS
Mobile operating system based on FreeRTOS™ optimized for E Ink displays - developed for Mudita Pure minimalist phone
Stars: ✭ 349 (-89.56%)
Mutual labels:  os
mapos
Sistema de Controle de Ordens de Serviço
Stars: ✭ 24 (-99.28%)
Mutual labels:  os
rxinu
Rust implementation of Xinu educational operating system
Stars: ✭ 26 (-99.22%)
Mutual labels:  microkernel
Think Os Zh
📖 【译】操作系统思考
Stars: ✭ 260 (-92.22%)
Mutual labels:  os
Xbook2
xbook2是一个基于x86处理器的32位操作系统，实现了大量的基础功能，可以拿来学习操作系统知识。
Stars: ✭ 273 (-91.84%)
Mutual labels:  os
Harmonyos
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
Stars: ✭ 18,385 (+449.79%)
Mutual labels:  os
Rcore Tutorial
Tutorial for rCore OS step by step (3rd edition)
Stars: ✭ 272 (-91.87%)
Mutual labels:  os
LudOS
A toy monolithic kernel written in C++
Stars: ✭ 38 (-98.86%)
Mutual labels:  os
GENADEV OS
An AArch64 hobbyist OS for the Raspberry Pi 3 B+
Stars: ✭ 14 (-99.58%)
Mutual labels:  os
oneiric
A small kernel + OS based on how dreams work
Stars: ✭ 11 (-99.67%)
Mutual labels:  os
Drone Core
The core crate for Drone, an Embedded Operating System.
Stars: ✭ 263 (-92.14%)
Mutual labels:  os
View All Similar Projects ➔

The seL4 microkernel

CII Best Practices CI seL4Test C Parser Compile Proof Sync RefMan XML

This project contains the source code of seL4 microkernel.

For details about the seL4 microkernel, including details about its formal correctness proof, please see the sel4.systems website and associated FAQ.

DOIs for citing recent releases of this repository:

  • DOI

We welcome contributions to seL4. Please see the website for information on how to contribute.

This repository is usually not used in isolation, but as part of the build system in a larger project.

seL4 Basics

Community

See the contact links on the seL4 website for the full list.

Reporting security vulnerabilities

If you believe you have found a security vulnerability in seL4 or related software, we ask you to follow our vulnerability disclosure policy.

Manual

A hosted version of the manual for the most recent release can be found here.

A web version of the API can be found here

Repository Overview

  • include and src: C and ASM source code of seL4
  • tools: build tools
  • libsel4: C bindings for the seL4 ABI
  • manual: LaTeX sources of the seL4 reference manual

Build Instructions

See the seL4 website for build instructions.

Status

A list of releases and current project status can be found under seL4 releases.

License

See the file LICENSE.md.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].