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