docs

(★ 19)

This is the source of the seL4 docs.

Owner Repos

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

File Explorer

ZIP Download
  • .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

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

brew install

View Details ▼

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

View Details ▼

Manage Rust projects and their module dependencies (crates).
Some subcommands such as `build` have their own usage documentation.

cargo search {{search_string}}

Search for crates:

cargo install {{crate_name}}

Install a binary crate:

cargo install --list

List installed binary crates:

🔍

node

View Details ▼

Server-side JavaScript platform (Node.js).

node {{path/to/file}}

Run a JavaScript file:

node

Start a REPL (interactive shell):

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

Execute the specified file restarting the process when an imported file is changed (requires Node.js version 18.11+):

🔍

npm

View Details ▼

JavaScript and Node.js package manager.
Manage Node.js projects and their module dependencies.
Some subcommands such as `install`, `run`, etc. have their own usage documentation.

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

Create a `package.json` file with default values (omit `--yes` to do it interactively):

npm {{[i|install]}}

Download all the packages listed as dependencies in `package.json`:

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

Download a specific version of a package and add it to the list of dependencies in `package.json`:

🔍

pip3

View Details ▼

This command is an alias of `pip`.

tldr pip

View documentation for the original command:

🔍

rbenv

View Details ▼

Easily install Ruby versions and manage application environments.
See also: `asdf`.

rbenv install {{version}}

Install a Ruby version:

rbenv install --list

Display a list of the latest stable versions for each Ruby:

rbenv versions

Display a list of installed Ruby versions:

🔍

tidy

View Details ▼

Clean up and pretty print HTML, XHTML, and XML files.
Note: `tidy` cannot preserve original indentation.

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

Pretty print an HTML file:

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

Enable indentation, wrapping lines in 100, saving to `output.html`:

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

Modify an HTML file in-place using a configuration file:

🔍

apt install

View Details ▼

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

View Details ▼

Package manager for Debian-based distributions.
Intended as a user-friendly alternative to `apt-get` for interactive use.
For equivalent commands in other package managers, see <https://wiki.archlinux.org/title/Pacman/Rosetta>.

sudo apt update

Update the list of available packages and versions (recommended before running other `apt` commands):

apt search {{package}}

Search packages by name or description:

apt list {{package}}

Search packages by name only (supports wildcards like `*`):

// repository documentation