Chen Yang's repositories
camkes-vm-images
Precompiled kernels etc. for use with camkes VMs.
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
camkes-vm
Virtual Machine built as a CAmkES component.
sel4bench
sel4 benchmarking applications and support library.
sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
camkes-tool
The main CAmkES tool
capdl
Capability Distribution Language tools for seL4
seL4_tools
Basic tools for building seL4 projects
xv6-labs-loongarch
This is a reference implementaion of xv6-labs-2021's labs on LoongArch.
AstroNvim
AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins
linux
Linux kernel source tree
sel4test-manifest
Project to build and test seL4 for many different platforms
seL4-Loongarch
Tools for building and running seL4 Projects.
sel4test
Test suite for seL4.
sel4runtime
A minimal runtime for seL4 applications.
resume
An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git
electron-ssr-backup
electron-ssr原作者删除了这个伟大的项目,故备份了下来,不继续开发,且用且珍惜