Hannu Lyytinen's repositories
icecream
Distributed compiler with a central scheduler to share build load
Language:C++GPL-2.0000
rust-optee-trustzone-sdk
Rust OP-TEE TrustZone SDK: Enabling Safe, Functional, and Ergonomic Development of Trustlets
Language:RustApache-2.0000
sel4cp
seL4 Core Platform - A simple operating system for the seL4 microkernel
Language:PythonBSD-2-Clause000