2009-10-21 Till Straumann <strauman@…>
rtems_configuration_get_device_driver_table() and rtems_configuration_get_user_extension_table()
rtems_configuration_get_device_driver_table()
and
rtems_configuration_get_user_extension_table()