Pinned Repositories
12steps-embedded-os
dynein
DynamoDB CLI written in Rust.
firecracker
Secure and fast microVMs for serverless computing.
firecracker-microvm.github.io
GitHub
github-actions-sample
kani
Kani Rust Verifier
kvm-ioctls
linux-in-practice-2nd
「Linuxのしくみ 増補改訂版」の実験コードです
micro-http
A minimal HTTP implementation used by Firecracker
zulinx86.com
zulinx86's Repositories
zulinx86/linux-in-practice-2nd
「Linuxのしくみ 増補改訂版」の実験コードです
zulinx86/zulinx86.com
zulinx86/12steps-embedded-os
zulinx86/dynein
DynamoDB CLI written in Rust.
zulinx86/firecracker
Secure and fast microVMs for serverless computing.
zulinx86/firecracker-microvm.github.io
GitHub
zulinx86/github-actions-sample
zulinx86/kani
Kani Rust Verifier
zulinx86/kvm-ioctls
zulinx86/micro-http
A minimal HTTP implementation used by Firecracker
zulinx86/mikanos-build
Build and run scripts for MikanOS
zulinx86/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
zulinx86/pybuildkite
A Python library for the Buildkite API
zulinx86/spectre-meltdown-checker
Spectre, Meltdown, Foreshadow, Fallout, RIDL, ZombieLoad vulnerability/mitigation checker for Linux & BSD
zulinx86/versionize
Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast deserialization times and minimal size overhead.
zulinx86/vmm-reference
A VMM implementation based of rust-vmm components
zulinx86/vmm-sys-util
Helpers and utilities used by multiple rust-vmm components and VMMs