Pinned Repositories
asterinas
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
attestation
awesome-rust-os
List of OS kernels that are written in Rust
controller
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cp15
ARM cp15 probe
crypto_server
ELFIO
ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library
embxx_on_rpi
Bare metal applications with embxx on Raspberry Pi
homebrew-gcc_cross_compilers
chrihop's Repositories
chrihop/asterinas
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
chrihop/attestation
chrihop/awesome-rust-os
List of OS kernels that are written in Rust
chrihop/controller
chrihop/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
chrihop/cp15
ARM cp15 probe
chrihop/crypto_server
chrihop/ELFIO
ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library
chrihop/embxx_on_rpi
Bare metal applications with embxx on Raspberry Pi
chrihop/homebrew-gcc_cross_compilers
chrihop/lw-mavsdk
Lightweight MAVSDK - a pure C library that provides lightweight mavlink communication to a vehicle
chrihop/MAVTunnel
Create a encrypted channel between the ground control stations and the vehicle management computer.
chrihop/mbedtls_linux_kernel
mbedtls for Linux kernel
chrihop/Secure_MAVLink_Gateway
Secure MAVLink Gateway
chrihop/nand-runtime-monitor
Sample code of Nand Flash Runtime Monitor
chrihop/PX4-Autopilot
PX4 Autopilot Software
chrihop/qgroundcontrol-secure
Cross-platform ground control station for drones (Android, iOS, Mac OS, Linux, Windows)
chrihop/rust-analyzer
A Rust compiler front-end for IDEs
chrihop/rv-ddm
Runtime verifier for device driver models
chrihop/test
A hello-world github repo for test
chrihop/thinros
chrihop/thinros-coroutine
Coroutine programming interface of ThinROS
chrihop/zotero-reference
侧边栏展示正在阅读文献的所有参考文献，双向关联，浏览器快速打开文献网址