Notes

1. CHERIoT
2. A bootloader for CHERIoT