Raspberry Pi port, piCore-15.0 is available!
Oh, yes. Also to have ntfs-3g available in case one boots off of a NTFS partition and needs write access.