In today's fast-paced technological landscape, virtualisation has emerged as a game-changing...
Cheri Compilation issues and getting around them
Background The program we intend to port over has multiple parts and requires a build tool chain to be able to compile properly. This is usually done with CMake and compiled with something like g++. To get the code to compile for a Cheri (dsdb) secured system we...
Starting the Cheri Porting Process
As part of our DSbD technology project we’re looking at porting some of our code from our ARWAIN project to run on the Morello FVP. Our ARWAIN project is a UK government funded project developing indoor localisation tech for the Fire and Rescue Service. Part...
Some Working Cheri Examples
Proving that everything works as expected Now that we’ve got the CheriBuild tools installed and working as well as the QEMU virtual machine it’s time to try testing some code. The below paper provides some good examples and allows us to prove that...
Up and running with CheriBuild
Development Tools and SDK Setup The Cheri team provide a tool called Cheribuild, this is a Python script that does a lot of the heavy lifting to help get the Cheri SDK and build tools setup on a Linux machine, for this testing I am using an Ubuntu 18.04 server....