It is vital to have a guide for porting Microkit to a new hardware platform, it should outline everything needed to get Microkit working as well as what the project requires from contributors that want to upstream their own platform ports.
A (most-likely) non-exhaustive list is as follows:
First have seL4 and seL4test working on the platform
Add the platform to SUPPORTED_BOARDS in build_sdk.py.
Add serial output (putc) functionality to the boot-loader.
Note that the boot-loader assumes that the UART is already turned on by the previous boot-loading stage. An assumption that is often true but not necessarily true.
Add documentation in the manual for the platform.
Lastly, we need some of testing new platforms in CI. At a minimum, each example for a platform and tests should be built for the new platform. If we do have access to the hardware, we can also perform run-time tests.
Once the Renode simulator becomes more mature, we can look into using it to simulate platforms that we do not plan to have access to.
It is vital to have a guide for porting Microkit to a new hardware platform, it should outline everything needed to get Microkit working as well as what the project requires from contributors that want to upstream their own platform ports.
A (most-likely) non-exhaustive list is as follows:
SUPPORTED_BOARDS
inbuild_sdk.py
.putc
) functionality to the boot-loader.Lastly, we need some of testing new platforms in CI. At a minimum, each example for a platform and tests should be built for the new platform. If we do have access to the hardware, we can also perform run-time tests.
Once the Renode simulator becomes more mature, we can look into using it to simulate platforms that we do not plan to have access to.