February 26, 2020

Fosdem 2020

Earlier this month we visited FOSDEM, an absolutely open and free event for developers, open-source vendors and enthusiasts to meet, share their ideas and news, and discuss the latest in open source. Talks at FOSDEM are usually organized within several sections: Keynotes, Main tracks, Developer rooms and Lightning talks. Some people from our team had visited before, but for most of us first timers it was really exciting. Packed keynotes, busy dev rooms, people chatting outside, over coffee, beer, or snacks!
Read more
October 21, 2019

Build a single-app rootfs for Firecracker MicroVMs

Spawning applications in the cloud has been made super easy using container frameworks such as docker. For instance running a simple command like the following docker run --rm -v /path/to/nginx-files:/etc/nginx nginx spawns an NGINX web server, provided you customize config files and the actual HTML files to be served. This process, inherits NGINX’s stock docker hub rootfs, and spawns it as a docker container in a generic Linux container host.
Read more
October 21, 2019

Porting Firecracker to a Raspberry Pi 4

Since we got our hands on the new Raspberry Pi 4, we started exploring how various virtualization technologies behave on the board. First thing we tried is how to run Nabla on it and how it compares to native KVM. Next thing we wanted to try is firecracker, the notorious micro-VMM that Amazon Lambda & Fargate run on. To our disappointment, firecracker was not yet running on RPi4. So we started looking into coding in the necessary changes :)
Read more
July 14, 2019 | Last update: Oct 17, 2019

Build a 64bit bootable image for a Raspberry Pi 4

Given the traction our previous post got, we thought we should jot down the steps to build a 64-bit bootable image for a RPi4. The distro we’re most familiar with is Debian, so we’ll go with a debian-like distro like Ubuntu. If you don’t feel like playing with kernel compilation and FS images, just grab the binary and dd it to an SD card! First step, download the 64-bit ubuntu server distro for the RPi3:
Read more
July 10, 2019 | Last update: Oct 17, 2019

Playing with a Raspberry Pi 4 64-bit

Lightweight virtualization is a natural fit for low power devices and, so, seeing that the extremely popular Raspberry Pi line got an upgrade, we were very keen on trying the newly released Raspberry Pi 4 model B. Getting the board up and running with a 64bit kernel (and a 64bit userland) proved to be kind of a challenge, given that currently there is a number of limitations (SD card not fully working for > 1GB RAM, coherent memory allocations etc.
Read more