genodelabs/genode

Genode OS Framework

Language: C++ - Size: 69.6 MB - Last synced at: about 8 hours ago - Pushed at: about 8 hours ago - Stars: 1,115 - Forks: 256

redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

Language: Shell - Size: 8.32 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 15,404 - Forks: 934

tw4452852/zig_sel4

Writing Sel4 application in Zig

Language: Zig - Size: 8.79 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

redox-os/kernel

Mirror of https://gitlab.redox-os.org/redox-os/kernel

Language: Rust - Size: 3.86 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 699 - Forks: 91

seL4/ci-actions

CI GitHub actions for the seL4 repositories

Language: Python - Size: 18.2 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 14

awesomo4000/awesome-provable

A curated set of links to formal methods involving provable code.

Size: 25.4 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 202 - Forks: 10

seL4/seL4

The seL4 microkernel

Language: C - Size: 14.1 MB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 4,878 - Forks: 688

seL4/website

The seL4.systems website

Language: HTML - Size: 347 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 3 - Forks: 13

mikeroyal/RISC-V-Guide

RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.

Language: Assembly - Size: 1.07 MB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 566 - Forks: 47

seL4/seL4_tools

Basic tools for building seL4 projects

Language: C - Size: 1.75 MB - Last synced at: 22 days ago - Pushed at: 26 days ago - Stars: 46 - Forks: 89

seL4/graph-refine

Language: Python - Size: 1.09 MB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 12

seL4/docs

This is the source of the seL4 docs.

Language: C - Size: 118 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 16 - Forks: 54

seL4/seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

Language: Shell - Size: 24.7 MB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 13 - Forks: 40

veracruz-project/veracruz

Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).

Language: Rust - Size: 8.48 MB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 195 - Forks: 42

TRENT-OS/trentos

Welcome to TRENTOS an embedded OS built upon seL4 and CAmkES

Language: Shell - Size: 58.1 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

cl91/NeptuneOS

Neptune OS: A Windows NT personality for the seL4 microkernel

Language: C - Size: 6.03 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 382 - Forks: 11

auxoncorp/ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.

Language: Rust - Size: 2.3 MB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 111 - Forks: 11

seL4/whitepaper

Source for the seL4 white paper

Language: Perl - Size: 5.77 MB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 3

auxoncorp/selfe-sys

A generated thin wrapper around libsel4.a, with supporting subcrates.

Language: Rust - Size: 447 KB - Last synced at: 17 days ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 6

seL4/rfcs

RFCs for the seL4 ecosystem

Language: Python - Size: 123 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 3

muxinyu1/graduation-design

本科毕业设计

Size: 39.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

chunky125/sel-claw Fork of auxoncorp/selfe-sys

A rust runtime for sel4, based on selfe-sys and sel4-runtime

Language: Rust - Size: 503 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

jonlamb-gh/solox-amp-rust

AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)

Language: Rust - Size: 80.1 KB - Last synced at: 15 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 1

veracruz-project/veracruz-examples

A repository of larger example Veracruz computations

Language: Python - Size: 1.62 MB - Last synced at: 9 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 5

manu88/SofaKernel_task

Language: C++ - Size: 408 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

manu88/SeL4_UserLandLib

How to Create a library and link an application against it

Language: CMake - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

manu88/SeL4_Timers

Language: C - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

manu88/SeL4_Thread

Language: C - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

manu88/Sel4_EGA

how to use EGA display with Sel4

Language: C - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

manu88/SeL4_CPIO

Create a simple SeL4 Project with a CPIO archive

Language: C - Size: 30.3 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

manu88/SeL4_101

How to create a Hello World seL4 project from scratch

Language: CMake - Size: 27.3 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 3

manu88/Sofa

Operating System built on top of the seL4 microkernel.

Language: C - Size: 6.77 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

jonlamb-gh/sel4-hobd-prototype

Prototype HOBD system running on seL4

Language: C - Size: 278 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

jonlamb-gh/rpi3-rust-fel4-workspace

Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3

Language: Rust - Size: 134 KB - Last synced at: 15 days ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 2

dornerworks/sel4-armv8-vmm-manifest

A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8

Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 2

ptrk8/seL4cp-workshop

My solutions to the draft-version of the seL4 Core Platform (seL4cp) Workshop held during the 2022 seL4 Summit (11 - 13 Oct).

Language: C - Size: 71 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Techget/Advanced_Operating_System_2017

Basic operating system features implementation. File system/Process management/Memory management

Language: C - Size: 7.28 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 2

norrathep/seL4_hydra

Attestation and software update in seL4

Language: C - Size: 26 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

jonlamb-gh/ferros-sabrelite-toy-system

Rust seL4 toy system built on ferros for the imx6 sabrelite platform

Language: Rust - Size: 273 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

mssabr01/ICSVerifiedSoftwareProject

A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*

Language: C - Size: 53.3 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 2

auxoncorp/ferros-fancy-test

Test-runner support libraries for ferros.

Language: Rust - Size: 32.2 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

jonlamb-gh/cargo-fel4 Fork of PolySync/cargo-fel4

A Cargo subcommand for working with feL4 projects.

Language: Rust - Size: 300 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

jonlamb-gh/sel4twinkle-alloc-rs

An experimental Rust port of libsel4twinkle allocator

Language: Rust - Size: 45.9 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

jonlamb-gh/fel4-test-project

A feL4 test project (Rust on seL4) - armv7 imx6 sabre lite

Language: Rust - Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

jonlamb-gh/libsel4-sys Fork of PolySync/libsel4-sys

Building seL4 and generating Rust bindings based on feL4 configuration

Language: Rust - Size: 154 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

jonlamb-gh/fel4-config Fork of PolySync/fel4-config

Parsing, transformation and validation for feL4 configuration data

Language: Rust - Size: 87.9 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0