increase memory, change pci id

[raggedstone] / xps / raggedstone.mss

diff --git a/xps/raggedstone.mss b/xps/raggedstone.mss
index e68bbbd3b290202321eb802f7cd30ce3c47259ec..c112a0ad02bea232a1050efeba0e48d850172017 100644 (file)
--- a/xps/raggedstone.mss
+++ b/xps/raggedstone.mss
@@ -13,24 +13,23 @@ END
 
 BEGIN PROCESSOR
  PARAMETER DRIVER_NAME = cpu
 
 BEGIN PROCESSOR
  PARAMETER DRIVER_NAME = cpu

- PARAMETER DRIVER_VER = 1.01.a
+ PARAMETER DRIVER_VER = 1.11.a

  PARAMETER HW_INSTANCE = microblaze_0
  PARAMETER HW_INSTANCE = microblaze_0

- PARAMETER COMPILER = mb-gcc
- PARAMETER ARCHIVER = mb-ar
- PARAMETER XMDSTUB_PERIPHERAL = debug_module
+ PARAMETER xmdstub_peripheral = debug_module
+ PARAMETER CORE_CLOCK_FREQ_HZ = 50000000

 END
 
 
 BEGIN DRIVER
 END
 
 
 BEGIN DRIVER

- PARAMETER DRIVER_NAME = opbarb
- PARAMETER DRIVER_VER = 1.02.a
- PARAMETER HW_INSTANCE = mb_opb
+ PARAMETER DRIVER_NAME = generic
+ PARAMETER DRIVER_VER = 1.00.a
+ PARAMETER HW_INSTANCE = chipscope_icon_0

 END
 
 BEGIN DRIVER
 END
 
 BEGIN DRIVER

- PARAMETER DRIVER_NAME = uartlite
- PARAMETER DRIVER_VER = 1.02.a
- PARAMETER HW_INSTANCE = debug_module
+ PARAMETER DRIVER_NAME = generic
+ PARAMETER DRIVER_VER = 1.00.a
+ PARAMETER HW_INSTANCE = chipscope_ila_0

 END
 
 BEGIN DRIVER
 END
 
 BEGIN DRIVER


@@ -47,16 +46,28 @@ END
 
 BEGIN DRIVER
  PARAMETER DRIVER_NAME = uartlite
 
 BEGIN DRIVER
  PARAMETER DRIVER_NAME = uartlite

- PARAMETER DRIVER_VER = 1.02.a
- PARAMETER HW_INSTANCE = RS232
+ PARAMETER DRIVER_VER = 1.13.a
+ PARAMETER HW_INSTANCE = debug_module
+END
+
+BEGIN DRIVER
+ PARAMETER DRIVER_NAME = generic
+ PARAMETER DRIVER_VER = 1.00.a
+ PARAMETER HW_INSTANCE = mb_plb

 END
 
 BEGIN DRIVER
  PARAMETER DRIVER_NAME = gpio
 END
 
 BEGIN DRIVER
  PARAMETER DRIVER_NAME = gpio

- PARAMETER DRIVER_VER = 2.01.a
+ PARAMETER DRIVER_VER = 2.12.a

  PARAMETER HW_INSTANCE = LEDS
 END
 
  PARAMETER HW_INSTANCE = LEDS
 END
 

+BEGIN DRIVER
+ PARAMETER DRIVER_NAME = uartlite
+ PARAMETER DRIVER_VER = 1.13.a
+ PARAMETER HW_INSTANCE = RS232
+END
+

 BEGIN DRIVER
  PARAMETER DRIVER_NAME = emc
  PARAMETER DRIVER_VER = 2.00.a
 BEGIN DRIVER
  PARAMETER DRIVER_NAME = emc
  PARAMETER DRIVER_VER = 2.00.a


@@ -65,20 +76,8 @@ END
 
 BEGIN DRIVER
  PARAMETER DRIVER_NAME = gpio
 
 BEGIN DRIVER
  PARAMETER DRIVER_NAME = gpio

- PARAMETER DRIVER_VER = 2.01.a
+ PARAMETER DRIVER_VER = 2.12.a

  PARAMETER HW_INSTANCE = SEVENSEG
 END
 
  PARAMETER HW_INSTANCE = SEVENSEG
 END
 

-BEGIN DRIVER
- PARAMETER DRIVER_NAME = generic
- PARAMETER DRIVER_VER = 1.00.a
- PARAMETER HW_INSTANCE = chipscope_icon_0
-END
-
-BEGIN DRIVER
- PARAMETER DRIVER_NAME = generic
- PARAMETER DRIVER_VER = 1.00.a
- PARAMETER HW_INSTANCE = chipscope_ila_0
-END
-