jaypatelani

You can use something like this with Ada/SPARK programing language https://wikibook-ada.sourceforge.net/samples/pragmas_restric...

Looking forward to NetBSD 10.0 review on the register :D

Also rump kernels

Nice. Looking forward to NetBSD 10.0

So how did RedHat add restrictions on gpl code base of CentOS?

Check this thread : https://news.ycombinator.com/item?id=39772562

OP: https://mastodon.sdf.org/@bentsukun

New NetBSD BulkTracker release. Packages that failed to build now include a list of failed dependencies (if any) and packages broken by them (if any).

Regarding security of NetBSD:

"Specifically, the NetBSD source tree is periodically analyzed by two separate code scanners to maintain and improve code quality: Coverity - a commercial code scanner, and Brainy - a private code scanner developed by a NetBSD developer.

Several security features are available in NetBSD, including IPsec, a homegrown firewall (NPF), a file integrity system (Veriexec), a kernel authorization framework (kauth(9)), disk encryption (CGD), among others.

In terms of exploit mitigations, NetBSD supports a good number of modern features: W^X (in both userland and the kernel), Userland ASLR, Kernel ASLR, SMEP, SMAP, and a variety of other internal kernel bug detection features. Support for these mitigations sometimes depends on the capabilities of the hardware."

https://www.netbsd.org/support/security/

If this was true. What about Cinnamon and budgie desktop?

Google is now Toogle

NYC*BUG: March 6th:

Learn how a busy tech software developer went on "vacation" with only a $100 Pinebook and kept all the plates spinning.

In Brooklyn!

Discussion on forum: https://forum.ada-lang.io/t/a-nice-challenge-for-performance...

https://debugpointnews.com/netbsd-uptime/?amp=1 Some still using BSDs

Thanks

Got it.

Thanks for link.

The author has been working on optimizing the NetBSD/amd64 virtual machine kernel boot time. With performance enhancements, the kernel can now boot in less than 15ms on a not-so-modern i5-7600K using QEMU 6.2 with the microvm machine type. The performance branch, available on GitHub, introduces features like Generic PVH boot, a new PV bus for hypervisors without PCI, MMIO-backed devices, performance fixes, pvclock using KVM timecounter, and a TSLOG framework for tracing performance. The author provides a kernel configuration and instructions for testing with QEMU on Linux or NetBSD using NVMM. Additionally, the kernel is compatible with a PVH branch of AWS's Firecracker, and the author offers a basic configuration for testing. Feedback is encouraged, and precompiled binaries are provided for those who want to try it without compiling.

[Performance Branch on GitHub](https://github.com/NetBSDfr/NetBSD-src/tree/perf)

[Precompiled Kernel and Disk Image](https://imil.net/NetBSD/disk.img)

Kudos to team

I also initiated some NetBSD mascot concept ideas but i guess people are not that interested in it

https://mail-index.netbsd.org/netbsd-advocacy/2021/01/21/msg...

I hope this OS becomes main stream