You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
A secure, fast, and general-purpose OS kernel written in Rust and compatible with Linux Asterinas_NixOS_0.17.0_in_Action.mp4 News: 2025-12-08: FAST 2026 accepted a paper on a novel secure storage solution having been integrated into Asterinas: MlsDisk: Trusted Block Storage for TEEs Based on Layered Secure Logging. 2025-10-17: ICSE 2026 accepted yet another paper about Asterinas: RusyFuzz: Unhandl
Source-code based coverage for eBPF programs actually running in the Linux kernel This project provides 2 main components: libBPFCov.so - an out-of-tree LLVM pass to instrument your eBPF programs for coverage. bpfcov - a CLI to collect source-based coverage from your eBPF programs. This section aims to provide a high-level overiew of the steps you need to get started with bpfcov. Compile the LLVM
Full support for AArch64. A well-defined HAL allowing for easy porting to other architectures (e.g., x86_64, RISC-V). Memory Management: Full MMU enablement and page table management. Copy-on-Write (CoW) pages. Safe copy to/from userspace async functions. Kernel and userspace page fault management. Kernel stack-overflow detection. Shared library mapping and relocation. /proc/self/maps support. Bud
The project is built and assembled from following pieces of software: LLVM Project: Base version: 18.1.2 Patches: A hack patch that enables GNU ld-style linker scripts in wasm-ld. Artifacts: clang, wasm-ld (from lld), compiler-rt Linux kernel: Base version: 6.4.16 Patches: A patch for adding Wasm architecture support to the kernel. A wasm binfmt feature patch, enabling .wasm files to run as execut
Sashiko (刺し子, literally "little stabs") is a form of decorative reinforcement stitching from Japan. Originally used to reinforce points of wear or to repair worn places or tears with patches, here it represents our mission to reinforce the Linux kernel through automated, intelligent patch review. Sashiko is an agentic Linux kernel code review system. It uses a set Linux kernel-specific prompts and
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く