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