Porting Firecracker to a Raspberry Pi 4 Original article is at Porting Firecracker to a Raspberry Pi 4