[Ukfreebsd] Notes from last nights meeting

[Sevan Janiyan]

Spin http://spinroot.com/spin/whatispin.html
https://dotat.at/prog/qp/README.html
"Manipulating a state machine in your mind" (when you lack tooling to
evaluate ideas quickly and easily)
Extending uvm_hotplug(9)
Tracking memory allocations in kernel & hotplugging
"side step the issue with flush util to flush to disk, flush often!"
L4 kernel
Genode
theft https://github.com/silentbicycle/theft
Updating coreboot resolved dtrace panic?
http://gnats.netbsd.org/cgi-bin/query-pr-single.pl?number=52602
Building coreboot with ubsan enabled warns previously working USB
devices may stop working?
Paranoia, Intel ME, microcode blobs
Development path of elftools
Shouting in the datacenter https://www.youtube.com/watch?v=tDacjrSCeq4
Shouting in the datacentre vs shouting at developers
Test coverage of subsystems in the NetBSD kernel

There was no C++ drama this month