Raspberry Pi port, piCore-16.0 is available!
dmesg > log.txt
mount /mnt/mmcblk0p1sudo dmesg > /mnt/mmcblk0p1/log.txt