Getting Started with Hawaii
TODO.