Barrelfish

Mirror of the official Barrelfish OS repository.

C 164 MIT 58 0 5 Updated Dec 9, 2022

Barrelfish with SpaceJMP extension.

C 1 MIT 3 0 0 Updated Jan 23, 2022

hagfish Public

UEFI Bootloader for Barrelfish

C 4 MIT 3 0 0 Updated Jan 19, 2022

Lock resources against concurrent use

Java 0 MIT 183 0 0 Updated Aug 21, 2019

dragonet Public

Objective-C 2 0 0 0 Updated Jul 2, 2019

Hardware decoding net model in Isabelle/HOL

Isabelle 12 BSD-2-Clause 0 0 0 Updated Feb 6, 2018

uefi-sdk Public archive

Patched UEFI-SDK for Hagfish

C 1 1 0 0 Updated Jul 24, 2017

Provide feedback