mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-08-31 05:06:04 +00:00
e4973577ec
To write s3L4 for OpenTitan matcha, we want to depend on generated C header files for definitions of MMIO sizes, offsets, masks, bit meanings, etc. To make these header files available to the seL4 build, this change adds a make prerequisite for the kata build to run regtool.py with output going to out/kata/opentitan-gen. In CAmkES CMake files, the INCLUDE attribute can be used to add to the include path, and this change also does that for the UartDriver component. (The implementation will be left for a later change, since an initial straighforwrd attempt saw writes still going to the 16550.) Change-Id: If7e7e206ddcf625b8f5a45dc6486693cab7c51e2 GitOrigin-RevId: 018b9ddf9cde2389fb9f39553095d955705cb7a0
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.