2021. I. Background  Src 1.2.1.1 CAmkES I. Background  https://docs.sel4.systems/projects/camkes/ https://github.com/seL4/camkes https://github.com/seL4/camkes-vm epaper.pdf 1.2.1.3 Provable Security I. Background  .  https://docs.sel4.systems/projects/l4v/ https://github.com/seL4/l4v Source: https://docs.sel4.systems/projects/sel4/status.html Mathematical Proof Source: https://sel4.systems/About/seL4-whitepaper

implementation • My solutions to EOPL My experience • 2014 ~ 2018 Some small projects • 2020 ~ 2021 More open-source projects, gomoku, youki, dapr-wasm • 2022 ~ Regular contributions to Rust My Rust

Continuous Integration: Azure Pipelines • Code format validation: clang-format, line length, etc. • Projects: Code reviews, C++20 features, etc. • Wiki: Changelog, checklists, other resources • Status Chart: Testing x86/x64 takes about an hour • Many tests, multiplied by many compiler configurations42 Projects • Code Reviews (primary dashboard!) • Work In Progress  Initial Review  Final Review  Ready

libraries • Build a subset of CMake targets with CMakePresets.json • Leverage IntelliSense in CMake projects targeting Android or embedded • Improve IntelliSense tooltip for make_shared/make_unique/emplace_back/etc