Skip to content

Issues: CTSRD-CHERI/cheribsd-ports

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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
Assignee
Filter by who’s assigned
Sort

Issues list

sysutils/ocijail: build for aarch64
#155 opened Mar 15, 2024 by kwitaszczyk
sysutils/podman: build for aarch64
#154 opened Mar 15, 2024 by kwitaszczyk
x11/cheri-desktop: UI improvements
#117 opened Oct 11, 2023 by kwitaszczyk
4 tasks
x11/plasma5-plasma-desktop: build org.kde.plasma.desktop metainfo files bug:user-mode Blocked by a bug in the QEMU user mode
#105 opened Sep 11, 2023 by kwitaszczyk
devel/ninja: use a CheriABI package with the user mode bug:user-mode Blocked by a bug in the QEMU user mode
#104 opened Sep 11, 2023 by kwitaszczyk
devel/cmake-core: use a CheriABI package with the user mode bug:user-mode Blocked by a bug in the QEMU user mode
#103 opened Sep 11, 2023 by kwitaszczyk
gpsd port for hybrid ABI
#86 opened Mar 30, 2023 by harsha0229
The KDE screen locker doesn't work
#85 opened Mar 23, 2023 by kwitaszczyk
lang/python39: adapt to CheriABI
#83 opened Mar 21, 2023 by kwitaszczyk
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.