Development Kit for the Hobbes Operating System