From afbbb8976b70a724a731bbc7e52b565af7450ce6 Mon Sep 17 00:00:00 2001 From: Kendall Waters Perez Date: Thu, 9 Jan 2025 13:36:55 -0600 Subject: [PATCH 1/2] Update index.md --- content/news/Caliptra-Support-for-VeeR/index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/news/Caliptra-Support-for-VeeR/index.md b/content/news/Caliptra-Support-for-VeeR/index.md index bfbab7a7d..80996d9f5 100644 --- a/content/news/Caliptra-Support-for-VeeR/index.md +++ b/content/news/Caliptra-Support-for-VeeR/index.md @@ -1,10 +1,10 @@ --- -date: 2024-12-20T00:00:00Z +date: 2025-01-09T00:00:00Z title: Caliptra - Support for VeeR EL2 with User Mode and Physical Memory Protection in Tock embedded OS categories: - Blog author: -images: ['news/caliptra-support-for-veer/veer-el2-tock--blog-sm.png'] +images: ['news/Caliptra-Support-for-VeeR/VeeR-EL2-Tock--blog-sm.png'] aliases: ['/blog/2025/01/10/caliptra-support-for-veer/'] --- From cc40a3b7000c94f6df559b2276d72d3c38a9999e Mon Sep 17 00:00:00 2001 From: Kendall Waters Perez Date: Thu, 9 Jan 2025 13:49:24 -0600 Subject: [PATCH 2/2] Update index.md --- content/news/Caliptra-Support-for-VeeR/index.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/content/news/Caliptra-Support-for-VeeR/index.md b/content/news/Caliptra-Support-for-VeeR/index.md index 80996d9f5..c22ec3d65 100644 --- a/content/news/Caliptra-Support-for-VeeR/index.md +++ b/content/news/Caliptra-Support-for-VeeR/index.md @@ -12,8 +12,6 @@ The [Caliptra](https://chipsalliance.github.io/Caliptra/) Root of Trust project, In this article we’ll describe implementation details, including Antmicro’s contributions to Tock, [libtock-c](https://github.com/tock/libtock-c) and [tockloader](https://github.com/tock/tockloader). We’ll also show an [example](https://github.com/chipsalliance/VeeR-EL2-tock-example) in which a Tock application running on a VeeR EL2 core simulated in [Verilator](https://www.veripool.org/verilator/) performs forbidden memory accesses, demonstrating that PMP enforces proper User mode constraints. -![Support for VeeR EL2 in Tock OS illustration](VeeR-EL2-Tock--blog-sm.png) - ### Adding new platforms to Tock OS [Tock](https://tockos.org/) is an embedded operating system written in Rust, designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based platforms. As it provides isolation between components to ensure safety and security, it’s a popular choice for Root of Trust projects, such as [OpenTitan](https://antmicro.com/blog/2023/03/adapting-opentitan-for-fpga-prototyping-and-tooling-development/) used e.g. in Google’s [Open Se Cura](https://antmicro.com/blog/2023/11/secure-open-source-ml-with-open-se-cura/) project that Antmicro has also been involved with.