BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//talks.osfc.io//osfc-2026//talk//ADBDGY
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20250916T000000
TZNAME:CEST
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20251026T030000
RDATE:20261025T030000
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20260329T030000
RDATE:20270328T030000
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Bringing up Linux on a memory-safe CHERI RISC-V system - Alice Ziu
 ziakowska
DTSTART;TZID=Europe/Berlin:20260916T095500
DTEND;TZID=Europe/Berlin:20260916T102500
DTSTAMP:20260817T125117Z
UID:pretalx-osfc-2026-ADBDGY@talks.osfc.io
DESCRIPTION:This talk will discuss our work in bringing Linux to a hardwar
 e platform we (lowRISC) are developing - CHERI [Mocha](https://github.com/
 lowRISC/mocha) - complete with drivers for our hardware devices.\n\nCHERI 
 [Mocha](https://github.com/lowRISC/mocha/) is an open-source reference des
 ign for a secure enclave\, which is a secure environment for running trust
 ed code and security-sensitive applications that boots independently to th
 e rest of the SoC it is co-located with. The modified CVA-6 core at the he
 art of the system implements CHERI RISC-V - an extension to the RISC-V ISA
  that extends ordinary registers into permission and bounds-checking capab
 ilities that are checked in hardware\, allowing for architectural memory s
 afety guarantees.\n\nIn this talk\, we will detail the work needed to brin
 g this system - or any other RISC-V system - up from boot ROM to booting i
 nto CHERI Linux\, explore interactions between hardware and various layers
  of software\, and share the experiences of developing and debugging the h
 ardware platform hand-in-hand with software efforts. We also discuss some 
 of the differences required to support CHERI software/firmware during syst
 em bring-up\, and where there was little difference over the standard Inte
 ger ISA. If you’re interested in novel computing architectures\, learnin
 g the RISC-V boot stack\, and aren’t afraid of debugging a new system wi
 th just an instruction trace and wave viewer\, then this talk is for you.\
 n\nCHERI Mocha is part of the [COSMIC](https://cosmic-project.lowrisc.org/
 ) project\, which is funded by DSIT and IUK (grant number 10168492). The h
 ardware design including peripheral IP and software are all licensed under
  the permissive Apache 2.0 license.
LOCATION:Main
URL:https://talks.osfc.io/osfc-2026/talk/ADBDGY/
END:VEVENT
END:VCALENDAR