sel4-tutorials - GitLite

KO | EN

gitlite — search

#framework #gpt #mcp #terminal #go #llm #security #openai #generative-ai #developer-tools

sel4-tutorials

(★ 61)

Tutorials for working with seL4 and/or CAmkES.

파일 탐색기

ZIP 다운로드

- - pr.yml
  - push.yml
  - test.yml
- CODE_OF_CONDUCT.md
- CONTRIBUTING.md
- dep5
- helpers.cmake
- CAmkESTutorial.pdf
- design.md
- seL4-APILib-details.pdf
- seL4-APILib-overview.pdf
- seL4-devices.pdf
- seL4-Overview.pdf
- seL4-realtime.pdf
- seL4RTTutorial_Guide.txt
- training-intro.pdf
- - alloc.c
  - constructors.c
- CMakeLists.txt
- BSD-2-Clause.txt
- CC-BY-SA-4.0.txt
- __init__.py
- context.py
- expect.py
- macros.py
- tutorialstate.py
- - camkes-vm-crossvm.md
- - camkes-vm-kernel-module.md
- - camkes-vm-linux.md
- - capabilities.md
- - CMakeLists.txt
  - fault-handlers.md
- - hello-camkes-0.md
- - hello-camkes-1.md
- - hello-camkes-2.md
- - CMakeLists.txt
  - hello-camkes-timer.md
- - hello-world.md
- - CMakeLists.txt
  - interrupts.md
- - CMakeLists.txt
  - ipc.md
- - CMakeLists.txt
  - libraries-1.md
- - CMakeLists.txt
  - libraries-2.md
- - CMakeLists.txt
  - libraries-3.md
- - CMakeLists.txt
  - libraries-4.md
- - mapping.md
- - CMakeLists.txt
  - mcs.md
- - CMakeLists.txt
  - notifications.md
- - threads.md
- - untyped.md
- - driver.c
.gitignore
.linkcheck-ignore.yml
.stylefilter
common.py
Findsel4-tutorials.cmake
init.py
README.md
settings.cmake
template.py
test.py

# CDN으로 사용하기

jsDelivr

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

버전

파일

링크

예시

명령어 용어집

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

🔍

`ninja`

설명 보기 ▼

빠른 빌드를 위해 설계된 빌드 시스템.
더 많은 정보: <https://ninja-build.org/manual.html>.

ninja

현재 디렉토리에서 빌드:

ninja -j {{4}}

현재 디렉토리에서 빌드하고, 동시에 4개의 작업을 병렬로 실행:

ninja -C {{path/to/directory}}

주어진 디렉토리에서 프로그램 빌드:

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

<!--
     Copyright 2024, seL4 Project a Series of LF Projects, LLC..

SPDX-License-Identifier: CC-BY-SA-4.0
-->

Various tutorials for using seL4, its libraries, and CAmkES.

## Prerequisites

Follow the instructions for setting up your host environment on the [seL4
docsite](https://docs.sel4.systems/Tutorials/setting-up.html).

## Starting a tutorial

This tutorial repository is part of a larger collection of repositories, which
are required to run the tutorial and are coordinated in a manifest file. After
the setup steps above, see [this
guide](https://docs.sel4.systems/Tutorials/get-the-tutorials.html) on how to
check out a consistent set.

Once you have that, a tutorial is started through the use of the `init` script
that is provided in the root directory. Using this script you can specify a
tutorial and target machine and it will create a copy of the tutorial for you to
work on.

Example:

```sh
mkdir build_hello_world
cd build_hello_world
../init --plat pc99 --tut hello-world
```

The `init` script will initialize a build directory in the current directory and at the end
it will print out a list of files that need to be modified to complete the tutorial. Building
is performed simply be invoking `ninja`, and once the tutorial compiles it can be tested
in Qemu by using the provided simulation script through `./simulate`

## Tutorials and targets

The `-h` switch to the `init` script provides a list of different tutorials and targets that
can be provided to `--plat` and `--tut` respectively.

Most tutorials support any target platform, with the exception of hello-camkes-timer, which only
supports the zynq7000 platform.

## Solutions

To view the solutions for a tutorial instead of performing the tutorial pass the `--solution` flag
to the `init` script

Example:

```sh
mkdir build_hello_world
cd build_hello_world
../init --plat pc99 --tut hello-world --solution
```

After which it will tell you where the solution files are that you can look at. You can then
do `ninja && ./simulate` to build and run the solution.

### Reporting issues or bugs in the tutorials:

Please report any issues you find in the tutorials (bugs, outdated API calls, etc) by filing an issue on the public github repository:
<https://github.com/seL4/sel4-tutorials/issues/>

### Build system tutorial

Due to custom written additions to the build system specifically for the tutorials they are
not appropriate for learning how to create and structure new applications/systems. Future
tutorials for this will be forthcoming. For now it is suggested to look at other existing
applications for ideas.

## Documentation

### seL4 docsite

A walkthrough of each tutorial is available on the [seL4 docsite](https://docs.sel4.systems/Tutorials/)

### Tutorial Slides

The slides used for the tutorial are available in [`docs`](docs/).

### seL4 Manual

A pre-generated PDF version of the seL4 manual can be found
[`here`](http://sel4.systems/Info/Docs/seL4-manual-latest.pdf).

### CAmkES Documentation

CAmkES documentation can be found on the [CAmkES page](https://docs.sel4.systems/projects/camkes/) of the docsite.