Pinned Repositories
Android_final_homework
AsyncOS
bochsOS
基于bochs和x86平台的32为微型操作系统,部分参考《操作系统真象还原》
Kaggle
This is my kaggle competitions code
MyServer
Simple Server API
rCore-N
rCoreNotes
rCore代码笔记
ReL4
a seL4 version using Rust
rel4_comm
a common config for rel4
rel4_kernel
CtrlZ233's Repositories
CtrlZ233/bochsOS
基于bochs和x86平台的32为微型操作系统,部分参考《操作系统真象还原》
CtrlZ233/MyServer
Simple Server API
CtrlZ233/rCore-N
CtrlZ233/Kaggle
This is my kaggle competitions code
CtrlZ233/ReL4
a seL4 version using Rust
CtrlZ233/Android_final_homework
CtrlZ233/AsyncOS
CtrlZ233/rCoreNotes
rCore代码笔记
CtrlZ233/rel4_comm
a common config for rel4
CtrlZ233/sel4-analysis
seL4 analysis in 2023
CtrlZ233/swingClient
A simple GUI using swing
CtrlZ233/seL4-rust-implement
CtrlZ233/STL_cpp
CtrlZ233/user-thread
a simple user-thread lib using rust