* Buffer sizes are not prescribed exactly in Segger's implementation,
but reference is made to "int" being 32 bits.
* 24 bytes size assumption is hardcoded in openocd RTT implementation.
* SEGGER J-Link RTT allows to do terminal I/O without any additional
connection except the J-Link itself.
See openocd patch (yet unmerged) at http://openocd.zylin.com/#/c/4055/8
* panic_fmt lang-item
* arch-based crates, inspired by Redox
* Port over target files from Robigalia, add aarch64
* Use rlibc for memset/memcpy
* Create linker script for raspberry pi 3
* Implement primitive dmb()
* Important: initialize stack pointer!
Kernel interface is to be defined in a separate crate.