Raspberry Pi port, piCore-14.0 is available!
version ; getBuild ; showbootcodes
root@box:/usr/local/etc/bind# version ; getBuild ; showbootcodes7.2sh: getBuild: not foundinitrd=/tce/boot/core.gz quiet BOOT_IMAGE=/tce/boot/vmlinuz