Pinned Repositories
regit
Rewrite git history
shpark.github.io
shpark's Repositories
shpark/regit
Rewrite git history
shpark/shpark.github.io
shpark/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
shpark/au-fsv23
CIS 5000 Fall 23 - Forked version of Docker container for Formal Software Verification 2022 course
shpark/build
Makefiles to use OP-TEE on various platforms
shpark/coresight-decoder
CoreSight Decoder for Fuzzing
shpark/coresight-trace
Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux
shpark/CSAL
Coresight Access Library
shpark/cv-template
shpark/linux
Linux kernel source tree
shpark/lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
shpark/mycelium
🍄 an alleged 'operating system'
shpark/netbsd-src
Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
shpark/nixos-config
shpark/node-replicated-kernel
Experimental kernel with built-in replication.
shpark/optee_os
Experimenting whole-program-llvm of optee_os
shpark/RICSecLab-CSAL
shpark/rumprun
The Rumprun unikernel and toolchain for various platforms
shpark/rust-driverkit
driverkit
shpark/rust-elfloader
Library to load and relocate ELF files.
shpark/rust-rumpkernel
Rumpkernel for use in rust projects.
shpark/rust-x86
Rust library to use x86 (amd64) specific functionality and registers.
shpark/uftrace
Function graph tracer for C/C++/Rust