hlyytine

Unikie

Pinned Repositories

crosvm
The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/
Language:Rust00
daydream
DayDream BBS for UNIX
Language:C10 1 03
fedora-qemu-user-static
Fedora with qemu-user-static
Language:Shell00
icecream
Distributed compiler with a central scheduler to share build load
Language:C++00
rust-optee-trustzone-sdk
Rust OP-TEE TrustZone SDK: Enabling Safe, Functional, and Ergonomic Development of Trustlets
Language:Rust0 0 00
sel4cp
seL4 Core Platform - A simple operating system for the seL4 microkernel
Language:Python10
icecream
Distributed compiler with a central scheduler to share build load
Language:C++1.6k 55 290252
camkes-tool
The main CAmkES tool
Language:Python29 25 2971
capdl
Capability Distribution Language tools for seL4
Language:Haskell35 23 1145
util_libs
Language:C57 25 3186

hlyytine's Repositories

hlyytine/daydream
DayDream BBS for UNIX
Language:C10 1 03
hlyytine/sel4cp
seL4 Core Platform - A simple operating system for the seL4 microkernel
Language:Python10
hlyytine/crosvm
The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/
Language:Rust00
hlyytine/fedora-qemu-user-static
Fedora with qemu-user-static
Language:Shell00
hlyytine/icecream
Distributed compiler with a central scheduler to share build load
Language:C++00
hlyytine/rust-optee-trustzone-sdk
Rust OP-TEE TrustZone SDK: Enabling Safe, Functional, and Ergonomic Development of Trustlets
Language:Rust0 0 00