oskit code from Fluke OS project at University of Utah - View it on GitHub