BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//talks.osfc.io//osfc-2026//speaker//LXMJJQ
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-osfc-2026-ADBDGY@talks.osfc.io
DTSTART;TZID=CET:20260916T095500
DTEND;TZID=CET:20260916T102500
DESCRIPTION:This talk will discuss our work in bringing Linux to a hardware
  platform we (lowRISC) are developing - CHERI [Mocha](https://github.com/l
 owRISC/mocha) - complete with drivers for our hardware devices.\n\nCHERI [
 Mocha](https://github.com/lowRISC/mocha/) is an open-source reference desi
 gn for a secure enclave\, which is a secure environment for running truste
 d code and security-sensitive applications that boots independently to the
  rest of the SoC it is co-located with. The modified CVA-6 core at the hea
 rt of the system implements CHERI RISC-V - an extension to the RISC-V ISA 
 that extends ordinary registers into permission and bounds-checking capabi
 lities that are checked in hardware\, allowing for architectural memory sa
 fety guarantees.\n\nIn this talk\, we will detail the work needed to bring
  this system - or any other RISC-V system - up from boot ROM to booting in
 to CHERI Linux\, explore interactions between hardware and various layers 
 of software\, and share the experiences of developing and debugging the ha
 rdware platform hand-in-hand with software efforts. We also discuss some o
 f the differences required to support CHERI software/firmware during syste
 m bring-up\, and where there was little difference over the standard Integ
 er ISA. If you’re interested in novel computing architectures\, learning
  the RISC-V boot stack\, and aren’t afraid of debugging a new system wit
 h 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 ha
 rdware design including peripheral IP and software are all licensed under 
 the permissive Apache 2.0 license.
DTSTAMP:20260720T183931Z
LOCATION:Main
SUMMARY:Bringing up Linux on a memory-safe CHERI RISC-V system - Alice Ziuz
 iakowska
URL:https://talks.osfc.io/osfc-2026/talk/ADBDGY/
END:VEVENT
END:VCALENDAR