Raspberry Pi port, piCore-15.0 is available!
tc@box:~$ fdisk -lDisk /dev/hdc: 8069 MB, 8069677056 bytes255 heads, 63 sectors/track, 981 cylindersUnits = cylinders of 16065 * 512 = 8225280 bytes Device Boot Start End Blocks Id System/dev/hdc1 * 1 850 6827593+ 83 Linux/dev/hdc2 851 981 1052257+ 82 Linux swapDisk /dev/sda: 1048 MB, 1048576000 bytes255 heads, 63 sectors/track, 127 cylindersUnits = cylinders of 16065 * 512 = 8225280 bytes Device Boot Start End Blocks Id System/dev/sda1 * 1 127 1020096 b Win95 FAT32
/dev/mmcblk0p1 /mnt/mmcblk0p1 auto noauto,users,exec,umask=000 0 0 # Added by TC
/dev/mmcblk0p1 /mnt/mmcblk0p1 vfat noauto,users,exec,umask=000 0 0 # Added by TC