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