A simple source manager for the SelflexOS.