├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md └── workflows │ ├── pr.yml │ ├── push.yml │ └── test.yml ├── .gitignore ├── .linkcheck-ignore.yml ├── .reuse └── dep5 ├── .stylefilter ├── Findsel4-tutorials.cmake ├── LICENSES ├── BSD-2-Clause.txt └── CC-BY-SA-4.0.txt ├── README.md ├── cmake └── helpers.cmake ├── common.py ├── docs ├── CAmkESTutorial.pdf ├── design.md ├── seL4-APILib-details.pdf ├── seL4-APILib-overview.pdf ├── seL4-Overview.pdf ├── seL4-devices.pdf ├── seL4-realtime.pdf ├── seL4RTTutorial_Guide.txt └── training-intro.pdf ├── init.py ├── libsel4tutorials ├── CMakeLists.txt ├── include │ └── sel4tutorials │ │ └── alloc.h └── src │ ├── alloc.c │ └── constructors.c ├── settings.cmake ├── template.py ├── test.py ├── tools ├── __init__.py ├── context.py ├── expect.py ├── macros.py └── tutorialstate.py ├── tutorials ├── camkes-vm-crossvm │ └── camkes-vm-crossvm.md ├── camkes-vm-kernel-module │ ├── camkes-vm-kernel-module.md │ └── module_minimal │ │ ├── CMakeLists.txt │ │ ├── module_minimal.camkes │ │ ├── modules │ │ ├── CMakeLists.txt │ │ └── hello │ │ │ ├── Makefile │ │ │ └── hello.c │ │ ├── qemu-arm-virt │ │ └── devices.camkes │ │ └── settings.cmake ├── camkes-vm-linux │ └── camkes-vm-linux.md ├── capabilities │ └── capabilities.md ├── fault-handlers │ ├── CMakeLists.txt │ └── fault-handlers.md ├── hello-camkes-0 │ └── hello-camkes-0.md ├── hello-camkes-1 │ └── hello-camkes-1.md ├── hello-camkes-2 │ └── hello-camkes-2.md ├── hello-camkes-timer │ ├── CMakeLists.txt │ └── hello-camkes-timer.md ├── hello-world │ └── hello-world.md ├── interrupts │ ├── CMakeLists.txt │ └── interrupts.md ├── ipc │ ├── CMakeLists.txt │ └── ipc.md ├── libraries-1 │ ├── CMakeLists.txt │ └── libraries-1.md ├── libraries-2 │ ├── CMakeLists.txt │ └── libraries-2.md ├── libraries-3 │ ├── CMakeLists.txt │ └── libraries-3.md ├── libraries-4 │ ├── CMakeLists.txt │ └── libraries-4.md ├── mapping │ └── mapping.md ├── mcs │ ├── CMakeLists.txt │ └── mcs.md ├── notifications │ ├── CMakeLists.txt │ └── notifications.md ├── threads │ └── threads.md └── untyped │ └── untyped.md └── zynq_timer_driver ├── include └── timer_driver │ └── driver.h └── src └── driver.c /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.gitignore -------------------------------------------------------------------------------- /.linkcheck-ignore.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.linkcheck-ignore.yml -------------------------------------------------------------------------------- /.reuse/dep5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.reuse/dep5 -------------------------------------------------------------------------------- /.stylefilter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/.stylefilter -------------------------------------------------------------------------------- /Findsel4-tutorials.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/Findsel4-tutorials.cmake -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/README.md -------------------------------------------------------------------------------- /cmake/helpers.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/cmake/helpers.cmake -------------------------------------------------------------------------------- /common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/common.py -------------------------------------------------------------------------------- /docs/CAmkESTutorial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/CAmkESTutorial.pdf -------------------------------------------------------------------------------- /docs/design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/design.md -------------------------------------------------------------------------------- /docs/seL4-APILib-details.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/seL4-APILib-details.pdf -------------------------------------------------------------------------------- /docs/seL4-APILib-overview.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/seL4-APILib-overview.pdf -------------------------------------------------------------------------------- /docs/seL4-Overview.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/seL4-Overview.pdf -------------------------------------------------------------------------------- /docs/seL4-devices.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/seL4-devices.pdf -------------------------------------------------------------------------------- /docs/seL4-realtime.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/seL4-realtime.pdf -------------------------------------------------------------------------------- /docs/seL4RTTutorial_Guide.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/seL4RTTutorial_Guide.txt -------------------------------------------------------------------------------- /docs/training-intro.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/docs/training-intro.pdf -------------------------------------------------------------------------------- /init.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/init.py -------------------------------------------------------------------------------- /libsel4tutorials/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/libsel4tutorials/CMakeLists.txt -------------------------------------------------------------------------------- /libsel4tutorials/include/sel4tutorials/alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/libsel4tutorials/include/sel4tutorials/alloc.h -------------------------------------------------------------------------------- /libsel4tutorials/src/alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/libsel4tutorials/src/alloc.c -------------------------------------------------------------------------------- /libsel4tutorials/src/constructors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/libsel4tutorials/src/constructors.c -------------------------------------------------------------------------------- /settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/settings.cmake -------------------------------------------------------------------------------- /template.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/template.py -------------------------------------------------------------------------------- /test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/test.py -------------------------------------------------------------------------------- /tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tools/context.py -------------------------------------------------------------------------------- /tools/expect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tools/expect.py -------------------------------------------------------------------------------- /tools/macros.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tools/macros.py -------------------------------------------------------------------------------- /tools/tutorialstate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tools/tutorialstate.py -------------------------------------------------------------------------------- /tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/module_minimal/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/module_minimal/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/module_minimal/module_minimal.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/module_minimal/module_minimal.camkes -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/module_minimal/modules/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/module_minimal/modules/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/module_minimal/modules/hello/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/module_minimal/modules/hello/Makefile -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/module_minimal/modules/hello/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/module_minimal/modules/hello/hello.c -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/module_minimal/qemu-arm-virt/devices.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/module_minimal/qemu-arm-virt/devices.camkes -------------------------------------------------------------------------------- /tutorials/camkes-vm-kernel-module/module_minimal/settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-kernel-module/module_minimal/settings.cmake -------------------------------------------------------------------------------- /tutorials/camkes-vm-linux/camkes-vm-linux.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/camkes-vm-linux/camkes-vm-linux.md -------------------------------------------------------------------------------- /tutorials/capabilities/capabilities.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/capabilities/capabilities.md -------------------------------------------------------------------------------- /tutorials/fault-handlers/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/fault-handlers/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/fault-handlers/fault-handlers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/fault-handlers/fault-handlers.md -------------------------------------------------------------------------------- /tutorials/hello-camkes-0/hello-camkes-0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/hello-camkes-0/hello-camkes-0.md -------------------------------------------------------------------------------- /tutorials/hello-camkes-1/hello-camkes-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/hello-camkes-1/hello-camkes-1.md -------------------------------------------------------------------------------- /tutorials/hello-camkes-2/hello-camkes-2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/hello-camkes-2/hello-camkes-2.md -------------------------------------------------------------------------------- /tutorials/hello-camkes-timer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/hello-camkes-timer/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/hello-camkes-timer/hello-camkes-timer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/hello-camkes-timer/hello-camkes-timer.md -------------------------------------------------------------------------------- /tutorials/hello-world/hello-world.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/hello-world/hello-world.md -------------------------------------------------------------------------------- /tutorials/interrupts/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/interrupts/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/interrupts/interrupts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/interrupts/interrupts.md -------------------------------------------------------------------------------- /tutorials/ipc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/ipc/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/ipc/ipc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/ipc/ipc.md -------------------------------------------------------------------------------- /tutorials/libraries-1/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-1/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/libraries-1/libraries-1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-1/libraries-1.md -------------------------------------------------------------------------------- /tutorials/libraries-2/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-2/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/libraries-2/libraries-2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-2/libraries-2.md -------------------------------------------------------------------------------- /tutorials/libraries-3/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-3/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/libraries-3/libraries-3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-3/libraries-3.md -------------------------------------------------------------------------------- /tutorials/libraries-4/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-4/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/libraries-4/libraries-4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/libraries-4/libraries-4.md -------------------------------------------------------------------------------- /tutorials/mapping/mapping.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/mapping/mapping.md -------------------------------------------------------------------------------- /tutorials/mcs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/mcs/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/mcs/mcs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/mcs/mcs.md -------------------------------------------------------------------------------- /tutorials/notifications/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/notifications/CMakeLists.txt -------------------------------------------------------------------------------- /tutorials/notifications/notifications.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/notifications/notifications.md -------------------------------------------------------------------------------- /tutorials/threads/threads.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/threads/threads.md -------------------------------------------------------------------------------- /tutorials/untyped/untyped.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/tutorials/untyped/untyped.md -------------------------------------------------------------------------------- /zynq_timer_driver/include/timer_driver/driver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/zynq_timer_driver/include/timer_driver/driver.h -------------------------------------------------------------------------------- /zynq_timer_driver/src/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/sel4-tutorials/HEAD/zynq_timer_driver/src/driver.c --------------------------------------------------------------------------------