/explore
|
You are here 
|
www.daemonology.net | ||
| | | | |
binarydebt.wordpress.com
VT-x is name of CPU virtualisation technology by Intel. KVM is component of Linux kernel which makes use of VT-x. And QEMU is a user-space application which allows users to create virtual machines. QEMU makes use of KVM to achieve efficient virtualisation. In this article we will talk about how these three technologies work together.... |
|
| | | | | ||
| | | | |
mdhughes.tech
So a few weeks back, prompted by the hosting provider for MysticDungeonClub no longer supporting FreeBSD so I need to move rather post-haste, I bought a new domain, with the ~worst~ BEST name I've ... |
|
| | | | | ||
| | | | |
model-checking.github.io
In this post we'll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We will use Kani to get a strong guarantee that Firecracker's block device is correct with respect to a simple virtio property when parsing guest requests, which may be invalid or malicious. In this way, we show how Kani can complement Firecracker's defense in depth investments, such as fuzzing. |
|
| | | | | ||
| | | | |
boffosocko.com
In this last episode before David Shanske and I head to the Indieweb Summit in Portland, Oregon, we discuss updates to people's Indieweb experience, little things David has hidden in plugins, web-signin vs IndieAuth, etc. We're both looking forward to seeing those of you who can join us in Portland. |
|
| | | |||
