Dirk Vogt a8f6f3ebc9 Make ramdisk location configurable ...

Also, the ramdisk is now built when the memory driver is compiled.

2012-06-18 10:53:25 +00:00

..

local.h

…

Makefile

…

memory.c

…