CHERI-zephyr

Jennifer Jackson

CHERI-zephyr

Jennifer Jackson (Developer)

Computer Science

Research output: Non-textual form › Software

Abstract

This repository contains a version of the Zephyr operating system with CHERI (Capability Hardware Enhanced RISC Instructions) support for CHERI-RISCV64.

Original language	English
Publisher	GitHub
Media of output	Online
Publication status	Published - 20 May 2025

Keywords

CHERI
Zephyr

Access to Document

https://github.com/CHERI-Alliance/CHERI-zephyr/tree/CHERI-RISCV64-v1.0Licence: Other (please provide link to licence statement

EPSRC IAA 2022-26: Pushing the commercial and open source adoption of a capability-based Zephyr operating system
Jackson, J. (Principal Investigator)
Engineering & Physical Science Research Council
1/03/25 → 31/08/25
Project: Research Councils

Cite this

@misc{957dfa8f6dd0462d8a5d90dddc62558c,

title = "CHERI-zephyr",

abstract = "This repository contains a version of the Zephyr operating system with CHERI (Capability Hardware Enhanced RISC Instructions) support for CHERI-RISCV64.",

keywords = "CHERI, Zephyr",

author = "Jennifer Jackson",

year = "2025",

month = may,

day = "20",

language = "English",

publisher = "GitHub",

}

TY - ADVS

T1 - CHERI-zephyr

A2 - Jackson, Jennifer

PY - 2025/5/20

Y1 - 2025/5/20

N2 - This repository contains a version of the Zephyr operating system with CHERI (Capability Hardware Enhanced RISC Instructions) support for CHERI-RISCV64.

AB - This repository contains a version of the Zephyr operating system with CHERI (Capability Hardware Enhanced RISC Instructions) support for CHERI-RISCV64.

KW - CHERI

KW - Zephyr

M3 - Software

PB - GitHub

ER -

CHERI-zephyr

Abstract

Keywords

Access to Document

Fingerprint

Projects

EPSRC IAA 2022-26: Pushing the commercial and open source adoption of a capability-based Zephyr operating system

Cite this