diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2018-09-17 10:31:29 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2018-09-17 14:22:17 +0200 |
commit | bd5cec416d7a70f65b08b665916181f9e945a704 (patch) | |
tree | f1728a051d7cdd6d78f8360e65f909b504b172bf /cpukit | |
parent | riscv: Allow platforms with no PLIC to proceed (diff) | |
download | rtems-bd5cec416d7a70f65b08b665916181f9e945a704.tar.bz2 |
config: Remove CONFIGURE_HAS_OWN_FILESYSTEM_TABLE
This configuration was untested and undocumented. Remove it to avoid a
potential exposure of internal data structures to the application
domain.
Close #3520.
Diffstat (limited to 'cpukit')
-rw-r--r-- | cpukit/include/rtems/confdefs.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/cpukit/include/rtems/confdefs.h b/cpukit/include/rtems/confdefs.h index 7d1407564b..1fd3a6c5ae 100644 --- a/cpukit/include/rtems/confdefs.h +++ b/cpukit/include/rtems/confdefs.h @@ -465,8 +465,7 @@ extern rtems_initialization_tasks_table Initialization_tasks[]; * The default file system table. Must be terminated with the NULL entry if * you provide your own. */ - #if !defined(CONFIGURE_HAS_OWN_FILESYSTEM_TABLE) && \ - !defined(CONFIGURE_APPLICATION_DISABLE_FILESYSTEM) + #ifndef CONFIGURE_APPLICATION_DISABLE_FILESYSTEM const rtems_filesystem_table_t rtems_filesystem_table[] = { #if !defined(CONFIGURE_USE_DEVFS_AS_BASE_FILESYSTEM) { "/", IMFS_initialize_support }, @@ -3440,6 +3439,10 @@ extern rtems_initialization_tasks_table Initialization_tasks[]; #error "Maximum priority configured higher than supported by target." #endif +#ifdef CONFIGURE_HAS_OWN_FILESYSTEM_TABLE + #warning "The CONFIGURE_HAS_OWN_FILESYSTEM_TABLE configuration option is obsolete since RTEMS 5.1" +#endif + #ifdef CONFIGURE_NUMBER_OF_TERMIOS_PORTS #warning "The CONFIGURE_NUMBER_OF_TERMIOS_PORTS configuration option is obsolete since RTEMS 5.1" #endif |