Raspberry Pi port, piCore-16.0 is available!
$ dmesg | grep commandKernel command line: BOOT_IMAGE=/tce/boot/vmlinuz quiet base norestore vga=789 waitusb=5:UUID=...