tree b059d726e6aeb035ee0c0554d6b654aaf52b06e2
parent a5d6124d10f9b7c1be581da92ad73e8f262d1c13
author Denton Gentry <dgentry@google.com> 1307966407 -0700
committer Denton Gentry <dgentry@google.com> 1307966407 -0700

No __reboot() symbol in Ubuntu.
Not sure how to maintain Android compatibility here; may not need to.