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