[riot-notifications] [RIOT] core: cleaned up and simplified reboot interface (#3246)

[Cenk Gündoğan]

is this PR still needed as a base for a discussion, or can I close it?

---
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/3246#issuecomment-136804986
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20150901/c3c09d7a/attachment.html>