Axel Heider

Could this be merged?

@lsf37 how bad is this for the proofs?

> What is causing you to exceed the limits of CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS? We were specifying all device regions explicitly (https://github.com/seL4/seL4/issues/714, ) which is supposed to have the ROM kernel of our...

> > We were specifying all device regions explicitly (#714, ) which is supposed to have the ROM kernel of our chip ensure nothing else can be accessed. Since this...

Using the method name would allow cross referencing this everywhere. Even in a paragraph with verbose explanations mentioning the function name might make sense. Other opinions?

Ubuntu 20.4/LTS has CMake 3.16, see https://packages.ubuntu.com/focal/cmake Debian Bullseye has CMake 3.18, see https://packages.debian.org/bullseye/cmake Ubuntu 22.4/LTS will have CMake 3.22, see https://packages.ubuntu.com/jammy/cmake Given that a switch from Ubuntu 18.4 to...

In CMake 3.17 `CMAKE_CURRENT_FUNCTION_LIST_DIR` was added, which comes handy in some cases also.

From the comments it seems using docker is still not considered the way to go? Because that solves the whole issue nicely to have arbitrary build environments in parallel and...

Is this good to be merged now?

This commit has been picked up by @nspin in https://gitlab.com/coliasgroup/seL4/-/commits/rust/ now also. So, what is the plan for merging this as a budling block?