PORTGPT: Towards Automated Backporting Using Large Language Models(IEEE S&P2026)

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

RISC-V Instruction Set Manual

Documentation for the RISC-V Supervisor Binary Interface

Welcome to the Public Roadmap for All Things Docker! We welcome your ideas.

This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.

RssFeedLib

本人的科研经验

Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials

paper and its code for AI System

A penetration toolkit for container environment

🥢像老乡鸡🐔那样做饭。主要部分于2024年完工，非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》，并做归纳、编辑与整理。CookLikeHOC.

Thunderbird for iOS – Open Source Email App f C300 or iOS

文言文編程語言 A programming language for the ancient Chinese.

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…

Verified Rust for low-level systems code

🎓 Path to a free self-taught education in Computer Science!

Rust virtual machine and JIT compiler for eBPF programs

《Designing Data-Intensive Application》DDIA 第一版 / 第二版 中文翻译

Stand-alone Native Linux KVM Tool repo

minimal type-1 Rust Hypervisor for edge devices

程序员应该访问的最佳网站中文版

一个高质量、经典计算机书籍推荐清单，特点为：只收集高质量，各方向经典书籍，不求书多，只求书精。

程序员延寿指南 | A programmer's guide to live longer

rust-vmm community content

Collection of resources about Virtualization

《开源大模型食用指南》针对中国宝宝量身打造的基于Linux环境快速微调（全参数/Lora）、部署国内外开源大模型（LLM）/多模态大模型（MLLM）教程

😎 Awesome lists about all kinds of interesting topics

A curated list of awesome projects related to eBPF.