Lib.rs

› 关键字 #kernel #build #applications #interface #initial #point #entry-point

#sel4

  1. sel4

    seL4内核的高级Rust接口

    v0.0.12 #interface #high-level #kernel #type-safe #object #low-level #higher

  2. cargo-fel4

    A cargo子命令，用于自动化feL4（Rust的seL4）开发

    v0.7.2 #cargo-subcommand #sel4 #cargo-build #applications #fel4 #fe-l4 #automating

  3. libsel4-sys

    构建sel4内核并为其生成Rust绑定，配置由feL4清单文件管理

    v0.5.2 #sel4 #bindings #manifest #kernel #generate #builds #configured

  4. sel4-start

    定义seL4上的初始线程的入口点

    v0.0.28 #initial #thread #sel4 #point #entry #entry-point

  5. selfe-runtime

    一个小型运行时库，用于任何需要libsel4.a库的进程

    v0.1.1 #sel4 #run-time #required #tiny #process #build #libsel4

  6. selfe-config

    seL4配置格式，由库管理

    v0.2.1 #sel4 #configuration #toml-config #format #build #managed #user

  7. sel4-sys

    Rust对seL4内核的接口

    v0.0.28 #sel4 #kernel #interface #syscalls #raw #data-structure

  8. selfe-start

    定义seL4上的初始线程的入口点

    v0.1.0 #initial #thread #sel4 #stack #point #entry #entry-point

  9. selfe-sys

    围绕libsel4.a生成的一个瘦包装器，带有支持子crate

    v0.1.1 #sel4 #applications #generated #wrapper #thin #supporting #toml

    10. 尝试使用DuckDuckGo搜索 搜索.

  10. selfe-arc

    文件归档库，用于与您的seL4应用程序捆绑进程二进制文件和配置文件

    v0.1.1 #archive #applications #read #binaries #process #bundling #sel4