Pinned Repositories
arceos
An experimental modular OS written in Rust.
cs144
dotfiles
config files
linux-sgx
Occlum's fork of Intel SGX SDK for Linux
lox
occlum
Occlum is a memory-safe, multi-process library OS for Intel SGX
occlum-he
This is the private fork of occlum with hyperenclave support (v0.27.11) all submodules in deps are now normal folders
openwhisk
Apache OpenWhisk is an open source serverless cloud platform
openwhisk-runtime-docker-occlum-he
Apache OpenWhisk SDK for building Docker "blackbox" runtimes
ysyx
long way to go
Tim-C1's Repositories
Tim-C1/ysyx
long way to go
Tim-C1/arceos
An experimental modular OS written in Rust.
Tim-C1/cs144
Tim-C1/dotfiles
config files
Tim-C1/linux-sgx
Occlum's fork of Intel SGX SDK for Linux
Tim-C1/lox
Tim-C1/occlum
Occlum is a memory-safe, multi-process library OS for Intel SGX
Tim-C1/occlum-he
This is the private fork of occlum with hyperenclave support (v0.27.11) all submodules in deps are now normal folders
Tim-C1/openwhisk
Apache OpenWhisk is an open source serverless cloud platform
Tim-C1/openwhisk-runtime-docker-occlum-he
Apache OpenWhisk SDK for building Docker "blackbox" runtimes
Tim-C1/r4l-e1000-CICV_oscamp2023
Rust For Linux Intel E1000 driver port
Tim-C1/rust-for-linux-fork
Adding support for the Rust language to the Linux kernel.
Tim-C1/xv6-2021
xv6 labs and some thoughts