--- /dev/null
+// Mapping of BRAMs used by Plasma MIPS
+// in file "ram_xilinx.vhd"
+//
+// Currently 16 KB are mapped.
+//================================================
+
+ADDRESS_SPACE plasma_ram RAMB16 [0x0000:0x3fff]
+
+ BUS_BLOCK
+ plasma_1/u2_ram/block0.ram_byte3 [31:24];
+ plasma_1/u2_ram/block0.ram_byte2 [23:16];
+ plasma_1/u2_ram/block0.ram_byte1 [15:8];
+ plasma_1/u2_ram/block0.ram_byte0 [7:0];
+ END_BUS_BLOCK;
+
+ BUS_BLOCK
+ plasma_1/u2_ram/block1.ram_byte3 [31:24];
+ plasma_1/u2_ram/block1.ram_byte2 [23:16];
+ plasma_1/u2_ram/block1.ram_byte1 [15:8];
+ plasma_1/u2_ram/block1.ram_byte0 [7:0];
+ END_BUS_BLOCK;
+
+END_ADDRESS_SPACE;
+