The Weird OS Built Around a Database [video]