8000 Tags · cheri-linux/linux · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: cheri-linux/linux

Tags

riscv-cheri-20220921

Toggle riscv-cheri-20220921's commit message
riscv/vdso-offsets: Add header for cheri offsets

The offsets provided in the new header are generated based on the
cheri vDSO. As the offsets differ from the non-cheri vDSO, the header
corresponding the usage of CHERI must be included, to point to the
correct vDSO function symbol.

riscv-cheripc-20220914

Toggle riscv-cheripc-20220914's commit message
Disable not cherified feature

riscv-cheripc-20220623

Toggle riscv-cheripc-20220623's commit message
CHERI PURECAP RISCV KERNEL

This is an experimental code and work-in-progress.
The code is written with kernel codying style guideline in mind.
But as it work-in-progress, it may contain some odds things :)

Written by:
Dmitry Kasatkin <dmitry.kasatkin@huawei.com>
Kui Wang <wang.kui1@huawei.com>

riscv-cheri-20220623

Toggle riscv-cheri-20220623's commit message
none capmode for hybrid kernel

0