Reference 1
In order to cross-compile projects such as NGINX or PostgreSQL for CheriBSD you will first need a full SDK:
cheribuild.py cheribsd-sdk. The you can then runcheribuild.py postgres-cheriorcheribuild.py nginx-mips, etc. By default these projects will be installed into your CheriBSD rootfs under /opt and will therefore be automatically included the next time you build a disk image.See
cheribuild.py --list-targetsfor a full list of targets.
cheribuild Guide lines from github issue If you’re using one of the CMake-based builds, you have two options: cross-compiled examples in /cheribuild/pycheribuild/projects/cross Copy one of them and modify the project name and git repository, and then cutting out most of the CMake options Once the *.py file in the cross directory is created, cheribuild will find it (you can verify with ./cheribuild.py –list-targets). Then you can just try to build it like any other target (e.
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?