Skip to content

Commit 13ed56b

Browse files
committed
Add blog post about new TAP.
1 parent 38fe7e2 commit 13ed56b

File tree

1 file changed

+40
-0
lines changed

1 file changed

+40
-0
lines changed
Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
---
2+
layout: post
3+
title: "£15,000 grants to prototype on CHERIoT"
4+
date: 2024-08-21
5+
categories: grant
6+
author: David Chisnall
7+
---
8+
9+
Digital Catapult today [announced a new Technology Access Programme (TAP) that covers CHERIoT](https://www.dsbd.tech/get-involved/technology-access-programme/).
10+
The Digital Security by Design (DSbD) TAPs are intended to help companies prototype on CHERI systems, to build the CHERI ecosystem.
11+
Prior TAPs have been restricted to Arm's [Morello](https://www.morello-project.org) prototype system.
12+
This is the first that allows participants to build on CHERIoT.
13+
14+
The programme will provide lowRISC's excellent Sonata board to participants (these are also now [available to buy](https://www.mouser.co.uk/new/newae-technology/newae-sonata-one-dev-board/)).
15+
This board makes it *incredibly* easy to get started with CHERIoT.
16+
We've previously shown [that you can go from a standing start to running CHERIoT code in two minutes with Sonata](https://cheriot.org/fpga/ibex/2024/06/10/sonata-quick-start.html):
17+
18+
<video controls width="75%" style="margin-left: auto ; margin-right: auto; display: block">
19+
<source src="/images/Sonata Demo.mp4" type="video/mp4" />
20+
<p>Video showing how to start working in CHERIoT RTOS with Sonata.
21+
First clone the CHERIoT-RTOS repository from GitHub and open it in the dev container when prompted.
22+
Next, open a source file and observe that things like cross-references and inline API documentation work out of the box.
23+
Then run `xmake config --sdk=/cheriot-tools --board=sonata` in one of the projects to configure it.
24+
Finally, run `xmake` and `xmake run` to build and run.
25+
</p>
26+
</video>
27+
28+
The basic environment gives you spatial and temporal memory safety out of the box, a privilege-separated RTOS, and a very easy mechanism for splitting your code into isolated compartments with fine-grained sharing.
29+
You can try the [compartmentalisation exercise](https://github.com/CHERIoT-Platform/cheriot-rtos/blob/main/exercises/01.compartmentalisation/README.md) to see how easy it is to define compartment boundaries for fault isolation, protecting secrets, or mitigating compromises.
30+
This exercise works in the simulator (you can even run it in a GitHub Code Space if you deploy one [from here](https://github.dev/cheriot-platform/cheriot-rtos)) and on Sonata.
31+
32+
The [CHERIoT prototype compartmentalised network stack](https://cheriot.org/rtos/networking/auditing/2024/03/08/cheriot-network-stack.html) runs on Sonata.
33+
Between the compartmentalisation strategy employed and the foundational properties of the CHERIoT ISA, this provides a system where most bugs in the TCP/IP stack have little or no security impact.
34+
35+
Combined with Sonata's range of I/O facilities, this gives an excellent prototyping platform for secure IoT systems.
36+
Anything that runs on Sonata should then be easy to port to [SCI Semiconductor's ICENI devices](https://www.scisemi.com/press-release-cheriot-ibex/) next year for commercial deployment at scale.
37+
38+
If you have a commercial IoT product that you want to be able to easily support in production for 10+ years, this TAP is a great way for you to explore how CHERIoT can help.
39+
40+
If you're considering participating in this TAP, and have any questions about the CHERIoT Platform, please don't hesitate to ask them in [GitHub Discussions](https://github.com/orgs/CHERIoT-Platform/discussions) or [our public Signal chat](https://signal.group/#CjQKIElxAs3t3MUEMOEmQEuMHRK4rErUk2xVeFzjAjFXAShzEhCK9qQwEMFKGLGZnCjrQ7zm).

0 commit comments

Comments
 (0)