Konrad Witaszczyk's repositories
cheri-benchplot
Benchmark tooling
Language:Python000
Language:C000
cheribsd
FreeBSD adapted for the CHERI CPU.
Language:CNOASSERTION000
cheribsd-getting-started
Getting Started with CheriBSD
NOASSERTION000
cheribuild
A set of scripts to easily build CHERI related projects
Language:HTML000
freebsd-src
FreeBSD src tree
Language:CNOASSERTION000
FreeRDP
FreeRDP is a free remote desktop protocol client
Language:CApache-2.0000
icu
The new home of the ICU project source code.
000
l41-image
RPI4 sdcard Image scripts
000
libuinet
a library version of FreeBSD's TCP/IP stack plus extras
Language:C000
morello-project-website
The Jekyll website source for morello-project.org
Language:JavaScriptEPL-2.0000
openbsm
OpenBSM open audit implementation
Language:CNOASSERTION000
pkg
Package management tool for FreeBSD. Help at #pkgng on Freenode or pkg@FreeBSD.org
Language:CNOASSERTION000
tn5250j
A 5250 terminal emulator for the AS/400 written in Java
Language:JavaGPL-2.0000
tools
Personal tools.
Language:Shell000