mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-09-25 06:42:33 +00:00
cb57b7bf00305a3cd143a8c58003736348978dd5
sparrow_all.repl says this address is for "UART1 for SMC Core," but until this change we have been using "UART3 (Reserved)." Change-Id: I149b592f6df484e7bdac4d1bd2a3fc0ab3f813ba GitOrigin-RevId: 40913f9e26724b6841f4380aa28de1806dcf28e5
Kata OS
This is a CAmkES project that assembles the entire Kata OS. It exists outside the seL4 source trees, since it contains code not intended to go to upstream seL4.
This uses the standard CAmkES build system by symlinking CMakeLists.txt. It also symlinks settings.cmake, and so retains the notion of "apps," which enables the build system to switch which assembly it builds using the CAMKES_APP CMake cache value. Kata OS just has one app, system.
Description
Languages
Rust
67.6%
Python
27.9%
C
2.1%
Makefile
1.6%
CMake
0.6%
Other
0.2%