diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-15 00:10:03 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-15 00:10:03 +0000 |
commit | 9b64c2d5f7d6875cc20552b0ff3bc55cdc7d60d3 (patch) | |
tree | 8887bea4cb00d4adb41fe872b8a4b7e5f2391f0c /doc | |
parent | Per suggestion from Eric Norum, went from one initial extension set (diff) | |
download | rtems-9b64c2d5f7d6875cc20552b0ff3bc55cdc7d60d3.tar.bz2 |
Per suggestion from Eric Norum, went from one initial extension set
to multiple. This lets the stack check extension be installed
at system initialization time and avoids the BSP having to
even know about its existence.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/user/conf.t | 31 |
1 files changed, 19 insertions, 12 deletions
diff --git a/doc/user/conf.t b/doc/user/conf.t index ce17502600..35cd9f2d2f 100644 --- a/doc/user/conf.t +++ b/doc/user/conf.t @@ -31,6 +31,7 @@ typedef struct @{ rtems_unsigned32 maximum_devices; rtems_unsigned32 number_of_device_drivers; rtems_driver_address_table *Device_driver_table; + rtems_unsigned32 number_of_initial_extensions; rtems_extensions_table *User_extension_table; rtems_multiprocessing_table *User_multiprocessing_table; rtems_api_configuration_table *RTEMS_api_configuration; @@ -44,18 +45,19 @@ typedef struct @{ @example type Configuration_Table is record - Work_Space_Start : RTEMS.Address; - Work_Space_Size : RTEMS.Unsigned32; - Maximum_Extensions : RTEMS.Unsigned32; - Microseconds_Per_Tick : RTEMS.Unsigned32; - Ticks_Per_Timeslice : RTEMS.Unsigned32; - Maximum_Devices : RTEMS.Unsigned32; - Number_Of_Device_Drivers : RTEMS.Unsigned32; - Device_Driver_Table : RTEMS.Driver_Address_Table_Pointer; - User_Extension_Table : RTEMS.Extensions_Table_Pointer; - User_Multiprocessing_Table : RTEMS.Multiprocessing_Table_Pointer; - RTEMS_API_Configuration : RTEMS.API_Configuration_Table_Pointer; - POSIX_API_Configuration : + Work_Space_Start : RTEMS.Address; + Work_Space_Size : RTEMS.Unsigned32; + Maximum_Extensions : RTEMS.Unsigned32; + Microseconds_Per_Tick : RTEMS.Unsigned32; + Ticks_Per_Timeslice : RTEMS.Unsigned32; + Maximum_Devices : RTEMS.Unsigned32; + Number_Of_Device_Drivers : RTEMS.Unsigned32; + Device_Driver_Table : RTEMS.Driver_Address_Table_Pointer; + Number_Of_Initial_Extensions : RTEMS.Unsigned32; + User_Extension_Table : RTEMS.Extensions_Table_Pointer; + User_Multiprocessing_Table : RTEMS.Multiprocessing_Table_Pointer; + RTEMS_API_Configuration : RTEMS.API_Configuration_Table_Pointer; + POSIX_API_Configuration : RTEMS.POSIX_API_Configuration_Table_Pointer; end record; @@ -97,6 +99,11 @@ points for each device driver. If the number_of_device_drivers field is zero, then this entry should be NULL. The format of this table will be discussed below. +@item number_of_initial_extensions +is the number of initial user extensions. There should be +the same number of entries as in the User_extension_table. If this field +is zero, then the User_driver_address_table entry should be NULL. + @item User_extension_table is the address of the User Extension Table. This table contains the entry points for the |