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