A simple Unix kernel