Skip to content

Pull requests: CTSRD-CHERI/cheribuild

New pull request New
16 Open 343 Closed
16 Open 343 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix bluespec-compiler for Ubuntu 24.04 to 26.04
#497 opened Jun 2, 2026 by tmarkettos Contributor Loading…
9
Config option cleanup
#493 opened May 26, 2026 by arichardson Member Loading…
5
freebsd-morello-purecap and freebsd-riscv64-purecap targets
#489 opened May 1, 2026 by brooksdavis Member Loading…
linux-kernel: allow specifying defconfigs
#483 opened Apr 20, 2026 by heshamelmatary Member Loading…
3
Targets for the portable stand-alone variant of the CheriBSD test suite
#479 opened Apr 14, 2026 by paul-metzger Contributor Loading…
106
cheribsd: skip toolchain when it's custom
#458 opened Feb 10, 2026 by kwitaszczyk Member Loading…
@kwitaszczyk
2
CheriFreeRTOS hmka2 merge
#416 opened Mar 20, 2025 by heshamelmatary Member Loading…
2
Add use-csa option for analysing cheribuild projects with Clang Static Analyzer
#401 opened Jun 24, 2024 by eupharina Contributor Loading…
Update README.md
#347 opened Feb 11, 2023 by benlaurie Loading…
5
cheribsd-release: include all built kernels
#334 opened Dec 23, 2022 by nwf Member Loading…
Cheribsd kernel flags
#321 opened Nov 22, 2022 by qwattash Contributor • Draft
Introduce bsd-user-qemu and run-{shell,user}-riscv64-purecap targets.
#264 opened Dec 4, 2021 by kwitaszczyk Member Loading…
@kwitaszczyk
21
Emulate a USB keyboard+mouse when starting QEMU
#250 opened Oct 15, 2021 by arichardson Member Loading…
1
docker image: switch to a new non-root user when started as root
#241 opened Sep 7, 2021 by arichardson Member Loading…
8
Update Dockerfile and add UID/GID support
#231 opened Aug 12, 2021 by gvnn3 Contributor Loading…
19
Automatically start xvnc if it's installed
#226 opened Jul 29, 2021 by arichardson Member Loading…
1
ProTip! What’s not been updated in a month: updated:<2026-05-03.