diff --git a/_posts/2023-10-17-ibex-now-in-dev-container.markdown b/_posts/2023-10-17-ibex-now-in-dev-container.markdown index ab426e1..42854e9 100644 --- a/_posts/2023-10-17-ibex-now-in-dev-container.markdown +++ b/_posts/2023-10-17-ibex-now-in-dev-container.markdown @@ -3,6 +3,7 @@ layout: post title: "Ibex simulator now available in the devcontainer" date: 2023-10-17 11:38:13 +0100 categories: devcontainer development ibex +author: "David Chisnall" --- Since its creation, the CHERIoT DevContainer has included the simulator built from the Sail formal model. diff --git a/_posts/2023-10-30-cheriot-at-micro.markdown b/_posts/2023-10-30-cheriot-at-micro.markdown index 04a2f62..ec03e39 100644 --- a/_posts/2023-10-30-cheriot-at-micro.markdown +++ b/_posts/2023-10-30-cheriot-at-micro.markdown @@ -3,6 +3,7 @@ layout: post title: "CHERIoT at MICRO 2023" date: 2023-10-30T09:03+00:00 categories: ibex flute architecture publication +author: "David Chisnall" --- This week, some of the CHERIoT team will be at [MICRO 2023](https://microarch.org/micro56/index.php) presenting the first paper about the CHERIoT platform: diff --git a/_posts/2023-11-06-cheriot-programmers-guide.markdown b/_posts/2023-11-06-cheriot-programmers-guide.markdown index a237634..07bcf24 100644 --- a/_posts/2023-11-06-cheriot-programmers-guide.markdown +++ b/_posts/2023-11-06-cheriot-programmers-guide.markdown @@ -3,6 +3,7 @@ layout: post title: "CHERIoT Programmers' Guide drafts online" date: 2023-11-06T15:49+00:00 categories: guide documentation +author: "David Chisnall" --- You might have noticed a link in the header to the [CHERIoT Programmers' Guide](https://cheriot.org/book).