/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 model-checking.github.io
Using the Kani Rust Verifier on a Firecracker Example | Kani Rust Verifier Blog
| | www.daemonology.net
Announcing the FreeBSD/Firecracker platform
14.3 parsecs away

Travel
| | [AI summary] Colin Percival discusses the development and challenges of running FreeBSD on the Firecracker platform, highlighting technical hurdles and collaborative efforts to enable this integration.
| | prilik.com
Paravirtualized Devices in crosvm - a Performance Panacea for Modern VMs :: prilik's blog
10.3 parsecs away

Travel
| |
| | www.talhoffman.com
Firecracker internals: a deep dive inside the technology powering AWS Lambda · Tal Hoffman
10.2 parsecs away

Travel
| | You are most likely familiar with AWS Lambda and Fargate?-?Amazon's serverless computing engines. At its nature, serverless computing introduces quite a challenging task requiring both tight security and great performance. For exactly that matter Amazon came up with its microVM solution called Firecracker.
| | boucek.me
Docker in FreeBSD 13 · boucek.me
35.4 parsecs away

Travel
| FreeBSD 13 does not (yet) contain working Docker machine, although several implementations are on the way. This post explains how to install Docker daemon in Alpine Linux running in Bhyve. It also shows how to create NAT in Bhyve. I have to use NAT, because I use link aggregation (failover) between Wi-Fi and Ethernet. I will use following tools: pf - Packet Filter, part of the base system vm-bhyve, grub2-bhyve - CLI front end for Bhyve tmux - optional, replacement for default cu Networking Link to headin...