SESA/EbbRT — pull request #46 by dschatzberg (2013-07-09 17:05:44+00:00)
Title: Fix for CNK

Both HelloWorld and HelloEbb work on CNK now