docs

(★ 19)

This is the source of the seL4 docs.

오너의 다른 레포

rust-sel4 ★ 210

Rust support for seL4 userspace

Rust
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

파일 탐색기

ZIP 다운로드
  • .gitattributes
  • .gitignore
  • .linkcheck-ignore.yml
  • .ruby-version
  • .stylefilter
  • _config.yml
  • _preview.yml
  • examples.html
  • Gemfile
  • Gemfile.lock
  • getting-started.md
  • index.html
  • Makefile
  • package-lock.json
  • package.json
  • postcss.config.js
  • README.md
  • releases.md
  • Resources.md

# CDN으로 사용하기

jsDelivr

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

링크
예시

명령어 용어집

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

🔍

brew install

설명 보기 ▼

Install a Homebrew formula or cask.

brew install {{formula|cask}}

Install a formula/cask:

brew install {{[-s|--build-from-source]}} {{formula}}

Build and install a formula from source (dependencies will still be installed from bottles):

brew install {{[-n|--dry-run]}} {{formula|cask}}

Download the manifest, print what would be installed but don't actually install anything:

🔍

cargo

설명 보기 ▼

Rust 프로젝트 및 모듈 종속성(크레이트)을 관리.
`build`와 같은 일부 하위 명령에는 자체 사용 설명서가 있습니다.
더 많은 정보: <https://doc.rust-lang.org/stable/cargo/>.

cargo search {{search_string}}

크레이트 검색:

cargo install {{crate_name}}

바이너리 크레이트 설치:

cargo install --list

설치된 바이너리 크레이트 나열:

🔍

node

설명 보기 ▼

서버 측 JavaScript 플랫폼 (Node.js).
더 많은 정보: <https://nodejs.org/docs/latest/api/cli.html#options>.

node {{path/to/file}}

JavaScript 파일 실행:

node

REPL(대화형 셸) 시작:

node --watch {{path/to/file}}

지정된 파일을 실행하고 가져온 파일이 변경될 때 프로세스를 재시작 (Node.js 버전 18.11+ 필요):

🔍

npm

설명 보기 ▼

JavaScript 및 Node.js 패키지 관리자.
Node.js 프로젝트 및 모듈 의존성을 관리합니다.
더 많은 정보: <https://docs.npmjs.com/cli/npm/>.

npm init {{[-y|--yes]}}

기본값으로 `package.json` 파일 생성 (`--yes`를 생략하면 대화식으로 진행):

npm {{[i|install]}}

package.json에 의존성으로 나열된 모든 패키지를 다운로드:

npm {{[i|install]}} {{package_name}}@{{version}}

특정 버전의 패키지를 다운로드하고 `package.json`의 의존성 목록에 추가:

🔍

pip3

설명 보기 ▼

이 명령은 `pip`의 별칭입니다.

tldr pip

자세한 내용은 원본 명령을 참고하세요:

🔍

rbenv

설명 보기 ▼

쉽게 Ruby 버전을 설치하고 애플리케이션 환경을 관리.
관련 항목: `asdf`.
더 많은 정보: <https://manned.org/rbenv>.

rbenv install {{version}}

Ruby 버전 설치:

rbenv install --list

각 Ruby의 최신 안정 버전 목록 표시:

rbenv versions

설치된 Ruby 버전 목록 표시:

🔍

tidy

설명 보기 ▼

HTML, XHTML 및 XML 파일을 정리하고 보기 좋게 출력.
참고: `tidy`는 원래 들여쓰기를 보존할 수 없습니다.
더 많은 정보: <https://api.html-tidy.org/tidy/tidylib_api_next/group__options__cli.html#gad7a9fcaf7b2a712a82e625e84c042b28>.

tidy {{path/to/file.html}}

HTML 파일을 보기 좋게 출력:

tidy {{[-i|--indent]}} y {{[-w|--wrap]}} 100 {{[-o|-output]}} {{path/to/output.html}} {{path/to/file.html}}

[i]ndentation을 활성화하고, 줄을 100으로 [w]rapping하여 `output.html`에 저장:

tidy -config {{path/to/configuration}} {{[-m|-modify]}} {{path/to/file.html}}

설정 파일을 사용하여 HTML 파일을 직접 수정:

🔍

apt install

설명 보기 ▼

Install packages for Debian-based distributions.

sudo apt install {{package}}

Install a package, or update it to the latest version:

sudo apt install {{[-V|--verbose-versions]}} {{package}}

Display verbose package version information during installation or update:

🔍

apt

설명 보기 ▼

Debian 기반 배포판을 위한 패키지 관리 도구.
Ubuntu 16.04 이후 버전에서 대화형 사용 시 `apt-get`의 권장 대체 도구.
다른 패키지 관리자의 동등한 명령을 보려면 <https://wiki.archlinux.org/title/Pacman/Rosetta>.
더 많은 정보: <https://manned.org/apt.8>.

sudo apt update

사용 가능한 패키지 및 버전 목록 업데이트 (다른 `apt` 명령어 실행 전 권장):

apt search {{package}}

주어진 패키지 검색:

apt list {{package}}

패키지 정보 표시:

// repository documentation