# HG changeset patch
# User asl
# Date 1069676313 0
# Node ID 86d40b65e079fea767378d4f8a797fba8e5396ce
# Parent  bce4d2e47e78573f9c2ef0f1ea2f276fcc7e3396
        * cdl/io_flash.cdl:
        * include/flash.h: Remove CYGNUM_FLASH_WORKSPACE_SIZE cdl option.

diff --git a/packages/io/flash/current/ChangeLog b/packages/io/flash/current/ChangeLog
--- a/packages/io/flash/current/ChangeLog
+++ b/packages/io/flash/current/ChangeLog
@@ -1,3 +1,8 @@
+2003-11-24  Jani Monoses  <jani@iv.ro>
+
+	* cdl/io_flash.cdl:
+	* include/flash.h: Remove CYGNUM_FLASH_WORKSPACE_SIZE cdl option. 
+ 
 2003-11-24  Roland Caßebohm <roland.cassebohm@visionsystems.de>
 
 	* src/flashiodev.c (flashiodev_bwrite): Use flash_read rather than
diff --git a/packages/io/flash/current/cdl/io_flash.cdl b/packages/io/flash/current/cdl/io_flash.cdl
--- a/packages/io/flash/current/cdl/io_flash.cdl
+++ b/packages/io/flash/current/cdl/io_flash.cdl
@@ -68,19 +68,6 @@ cdl_package CYGPKG_IO_FLASH {
         puts $::cdl_header "#endif "
     }
 
-    cdl_option CYGNUM_FLASH_WORKSPACE_SIZE {
-        display       "Extra memory required by FLASH device drivers"
-	flavor        data
-        default_value 0x1000
-        description   "
-            Use this option to control how much extra memory is used
-            by the FLASH drivers to perform certain operations. This
-            memory is used to hold driver functions in RAM (for platforms
-            which require it).  The value should thus be large enough
-            to hold any such driver.  Reducing this value will make
-            more RAM available to general programs."
-    }
-
     cdl_interface CYGHWR_IO_FLASH_DEVICE {
         display       "Hardware FLASH device drivers"
         description   "
diff --git a/packages/io/flash/current/include/flash.h b/packages/io/flash/current/include/flash.h
--- a/packages/io/flash/current/include/flash.h
+++ b/packages/io/flash/current/include/flash.h
@@ -59,8 +59,6 @@
 
 typedef int _printf(const char *fmt, ...);
 
-#define FLASH_MIN_WORKSPACE CYGNUM_FLASH_WORKSPACE_SIZE  // Space used by FLASH code
-
 externC int flash_init(_printf *pf);
 externC int flash_erase(void *base, int len, void **err_address);
 externC int flash_program(void *flash_base, void *ram_base, int len, void **err_address);