rust-sel4

(★ 210)

Rust support for seL4 userspace

오너의 다른 레포

sel4-tutorials ★ 61

Tutorials for working with seL4 and/or CAmkES.

Python
capdl ★ 44

Capability Distribution Language tools for seL4

Haskell
camkes-tool ★ 27

The main CAmkES tool

Python
camkes-manifest ★ 26

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
refos-manifest ★ 23

Reference Operating system based on seL4 --- example code
docs ★ 19

This is the source of the seL4 docs.

HTML

파일 탐색기

ZIP 다운로드
  • .gitignore
  • Cargo.lock
  • Cargo.nix
  • Cargo.toml
  • default.nix
  • Makefile
  • README.md
  • rust-toolchain.toml
  • rustfmt.toml
  • VERSION

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

링크
예시

명령어 용어집

이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.

🔍

git clone

설명 보기 ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

🔍

rustc

설명 보기 ▼

Rust 컴파일러.
Rust 프로젝트는 보통 `rustc`를 직접 호출하는 대신 `cargo`를 사용합니다.
더 많은 정보: <https://doc.rust-lang.org/stable/rustc/>.

rustc {{path/to/main.rs}}

바이너리 크레이트 컴파일:

rustc {{[-C|--codegen]}} lto {{[-C|--codegen]}} opt-level={{0|1|2|3|s|z}} {{path/to/main.rs}}

최적화하여 컴파일 (`s`는 바이너리 크기 최적화를 의미하며, `z`는 더 많은 최적화를 포함):

rustc {{[-g|--codegen debuginfo=2]}} {{path/to/main.rs}}

디버깅 정보 포함하여 컴파일:

// repository documentation