BurmillaOS: Tiny Linux distro that runs the OS as Docker containers