李枫-2023RustChinaConf__Sparrow__FengLi-20230614a-official-template.pptx

1、第三届中国第三届中国Rust开发者大会开发者大会THE FIRST EXPLORATION OF PROJECT SPARROWFeng Li(李枫李枫) Jun 18,2023An indie developer from ChinauThe main translator of the book Gray Hat Hacking The Ethical Hackers Handbook,Fourth Edition(ISBN：9787302428671)&Linux Hardening in Hostile Networks,First Edition(ISBN:9787115544384

2、)u Pure software developmement for 15 years(11 years on Mobile dev)u Actively participating Open Source Communities:https:/ Recently,focus on infrastructure of Cloud/Edge Computing,AI,IoT,Programming Languages&Runtimes,Network,Virtualization,RISC-V,EDA,5G/6GWho Am I AgendaI.BackgroundTech StackProje

3、ct Sparrow TestbedII.Practicing SparrowCantripOS(KataOS)Rust support in seL4 userspaceIII.Sparrow developmentDevelop with RenodeIV.Wrap-up1)Tech Stack1.1 MicrokernelOverviewI.Backgrounduhttps:/en.wikipedia.org/wiki/Microkernel SecurityI.BackgrounduDifference Between Microkernel and Monolithic Kernel

4、:Source:https:/ 1.2 L4OverviewI.Backgrounduhttps:/en.wikipedia.org/wiki/L4_microkernel_family I.Background L4 family tree:1.2.1 seL4OverviewI.Backgroundu https:/en.wikipedia.org/wiki/L4_microkernel_family#High_assurance:_seL4uhttps:/sel4.systems I.Backgroundu.Source:“The seL4 Report”,Gernot Heiser,F

5、osdem 2021.I.BackgrounduSrc1.2.1.1 CAmkESI.Backgroundu https:/docs.sel4.systems/projects/camkes/https:/ https:/ ADL Source:https:/sel4.systems/About/seL4-whitepaper.pdfI.Background Source:https:/sel4.systems/About/seL4-whitepaper.pdf1.2.1.2 VirtualizationI.Backgroundu seL4 is also a hypervisor Sourc

6、e:https:/sel4.systems/About/seL4-whitepaper.pdfI.BackgrounduseL4 virtualization support with usermode VMMs Source:https:/sel4.systems/About/seL4-whitepaper.pdf1.2.1.3 Provable SecurityI.Backgroundu .uhttps:/docs.sel4.systems/projects/l4v/https:/ Source:https:/sel4.systems/About/seL4-whitepaper.pdfI.