文件名称：rust-sel4:锈seL4绑定
文件大小：70KB
文件格式：ZIP
更新时间：2024-05-24 04:31:18
Rust
锈sel4 与Rust接口。 此板条箱提供了与libsel4相同的接口，并减少了一些C-ism。
【文件预览】：
rust-sel4-master
----LICENSE-MIT(1KB)
----Cargo.toml(832B)
----seL4()
----.gitmodules(68B)
----LICENSE-APACHE(11KB)
----build.rs(2KB)
----.travis.yml(981B)
----tools()
--------invocation_header_gen.py(2KB)
--------bitfield_gen.py(39KB)
--------syscall_header_gen.py(3KB)
--------yacc.py(125KB)
--------syscall_stub_gen.py(24KB)
--------lex.py(40KB)
--------umm.py(3KB)
--------parsetab.py(4KB)
----README.md(454B)
----targets()
--------i686-sel4-unknown.json(251B)
--------arm-sel4-gnueabihf.json(262B)
--------arm-sel4-gnueabi.json(258B)
----LICENSE_BSD2.txt(1KB)
----lib.rs(1KB)
----arch()
--------bootinfo.rs(4KB)
--------x86.rs(18KB)
----.gitignore(107B)