openbsd
20 stories and discussions about openbsd, aggregated from every source we track.
<p>A contributor proposed a new OpenBSD port for uutils, the Rust reimplementations of GNU coreutils. The proposal met firm resistance: Stuart Henderson called it unusable, explaining that GNU coreutils exists mainly to stabilize GNU-sensitive build environments. Theo de Raadt went further arguing that nobody wants subtly differently-behaving utilities in their pipelines and that ports developers would be stuck maintaining the result.</p>
Base vs ports LLVM in OpenBSD, and why we still need both
<p>Running sonarr over alpine over openbsd with vmm <3</p>
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from its important role in the entire…