Raspberry Pi port, piCore-15.0 is available!
Nothing wrong with 'ram disk' - says exactly what it is.