Lib.rs

› Keywords #os-kernel #tee #linux-kernel #os #abi #osdk #model-checking

#asterinas

  1. cargo-osdk

    Accelerate OS development with Asterinas OSDK

    v0.17.0 #os #asterinas #os-kernel #accelerate #kit #system-kernel

  2. sctrace

    Syscall Compatibility Tracer (sctrace) that analyzes and validates system call against System Call Matching Language (SCML)

    v0.17.0 #syscalls #linux-kernel #pattern-matching #os #compatibility #strace #asterinas #logging #pattern-validation

  3. linux-boot-params

    The Boot Parameters for Linux Boot Protocol

    v0.17.0 260 #asterinas #linux-kernel #boot-protocols #abi #secure-boot #bootloader #x86-64 #tee #x86-64-linux #kernel-boot

  4. linux-bzimage-setup

    The linux bzImage setup binary

    v0.17.0 #linux-kernel #asterinas #os #x86-64 #secure #bz-image #abi #tee #secure-storage #model-checking

  5. ostd

    Rust OS framework that facilitates the development of and innovation in OS kernels

    v0.17.0 #os-kernel #interrupt #driver #asterinas #vm #user-mode #caller #innovation #architecture-specific #bare-metal

  6. linux-bzimage-builder

    Linux boot compatibility for modern OSes

    v0.17.0 100 #linux-kernel #bz-image #builder #asterinas #pe #coff #elf-file #abi #tee

  7. osdk-heap-allocator

    The default slab-based heap allocator shipped with OSDK

    v0.17.0 #heap-allocator #kernel #osdk #os-kernel #slab-allocator #slab-based #shipped #asterinas #cache #ostd

  8. id-alloc

    An id allocator implemented by the bitmap

    v0.1.0 #asterinas #os-kernel #allocator #secure #tee #linux-compatible #model-checking #secure-storage #block-storage #memory-management

  9. osdk-frame-allocator

    The default buddy system frame allocator shipped with OSDK

    v0.17.0 #frame-allocator #memory-management #buddy #os #system #osdk #shipped #per-cpu #asterinas #os-kernel

  10. ostd-macros

    OSTD's proc macros

    v0.17.0 390 #asterinas #os-kernel #ostd #secure #tee #abi #proc-macro #model-checking #block-storage #secure-storage

    11. Try searching with DuckDuckGo.

  11. osdk-test-kernel

    The OSTD-based kernel for running unit tests with OSDK

    v0.17.0 #unit-testing #test-runner #osdk #kernel #os #asterinas #ktest

  12. safety-tool

    analyzing safety tags defined in tag-std

    v0.4.1 #safety-properties #tags #tool #show #analyzing #tag-std #asterinas