5c49e2458f
nearly all cases and plugins that depend on others. These plugins cannot be managed with 'plugin_ctrl' (e.g. keyboard, harddrv, pci_ide). Store the plugin type in the divice structure for compatiblity with the "no-plugin" compilation. Call the device methods init(), reset() and after_restore_state() for each type separately in the order: stanard, optional, user. This also affects the status bar LED feature: now the keyboard and harddrv LEDs are always visible, but those of optional plugins may be invisible if there is no space left. - TODO #1: add the devices 'ne2k' and 'sb16' to 'plugin_ctrl' - TODO #2: manage core plugins with the device plugin system