A toolkit for building secure, portable and lean operating systems for containers