Seonghyun Park's repositories
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
au-fsv23
CIS 5000 Fall 23 - Forked version of Docker container for Formal Software Verification 2022 course
build
Makefiles to use OP-TEE on various platforms
coresight-decoder
CoreSight Decoder for Fuzzing
coresight-trace
Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux
CSAL
Coresight Access Library
linux
Linux kernel source tree
netbsd-src
Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
node-replicated-kernel
Experimental kernel with built-in replication.
optee_os
Experimenting whole-program-llvm of optee_os
rumprun
The Rumprun unikernel and toolchain for various platforms
rust-driverkit
driverkit
rust-elfloader
Library to load and relocate ELF files.
rust-rumpkernel
Rumpkernel for use in rust projects.
rust-x86
Rust library to use x86 (amd64) specific functionality and registers.
uftrace
Function graph tracer for C/C++/Rust