Just enough operating systems