Undocumented configuration options

[Sebastian Huber]

Hello,

some configuration options are currently undocumented:

CONFIGURE_APPLICATION_NEEDS_ATA_DRIVER
CONFIGURE_APPLICATION_NEEDS_IDE_DRIVER
CONFIGURE_ATA_DRIVER_TASK_PRIORITY
CONFIGURE_CBS_MAXIMUM_SERVERS
CONFIGURE_DISABLE_NEWLIB_REENTRANCY
CONFIGURE_EXECUTIVE_RAM_SIZE
CONFIGURE_EXTRA_MPCI_RECEIVE_SERVER_STACK
CONFIGURE_FILESYSTEM_ALL
CONFIGURE_FILESYSTEM_DEVFS
CONFIGURE_FILESYSTEM_DOSFS
CONFIGURE_FILESYSTEM_ENTRY_DEVFS
CONFIGURE_FILESYSTEM_ENTRY_DOSFS
CONFIGURE_FILESYSTEM_ENTRY_FTPFS
CONFIGURE_FILESYSTEM_ENTRY_IMFS
CONFIGURE_FILESYSTEM_ENTRY_JFFS2
CONFIGURE_FILESYSTEM_ENTRY_NFS
CONFIGURE_FILESYSTEM_ENTRY_RFS
CONFIGURE_FILESYSTEM_ENTRY_TFTPFS
CONFIGURE_FILESYSTEM_FTPFS
CONFIGURE_FILESYSTEM_IMFS
CONFIGURE_FILESYSTEM_JFFS2
CONFIGURE_FILESYSTEM_NFS
CONFIGURE_FILESYSTEM_RFS
CONFIGURE_FILESYSTEM_TFTPFS
CONFIGURE_IMFS_DISABLE_MKNOD_DEVICE
CONFIGURE_MALLOC_DIRTY
CONFIGURE_MAXIMUM_POSIX_SHMS
CONFIGURE_PCI_LIB
CONFIGURE_SCHEDULER_ASSIGNMENTS
CONFIGURE_SCHEDULER_STRONG_APA
CONFIGURE_TASK_STACK_ALLOCATOR_AVOIDS_WORK_SPACE
CONFIGURE_TASK_STACK_FROM_ALLOCATOR

The CONFIGURE_PCI_LIB is specific to the libpci. I am not sure if this 
stuff is sill in use.

What about the

CONFIGURE_FILESYSTEM_ENTRY_DEVFS
CONFIGURE_FILESYSTEM_ENTRY_DOSFS
CONFIGURE_FILESYSTEM_ENTRY_FTPFS
CONFIGURE_FILESYSTEM_ENTRY_IMFS
CONFIGURE_FILESYSTEM_ENTRY_JFFS2
CONFIGURE_FILESYSTEM_ENTRY_NFS
CONFIGURE_FILESYSTEM_ENTRY_RFS
CONFIGURE_FILESYSTEM_ENTRY_TFTPFS

configuration options? Is this really something a user should be able to 
define?

The rest should be added to the documentation from my point of view.