diff --git a/drivers/Kconfig b/drivers/Kconfig new file mode 100644 index 0000000000..bd0b6feaf9 --- /dev/null +++ b/drivers/Kconfig @@ -0,0 +1,47 @@ +config DRV_CONSOLE + bool + default y + help + This option enables the UART console driver. + +config DRV_SERIAL + bool + default n + help + This option enables the serial driver. + +if DRV_SERIAL +source "drivers/serial/Kconfig" +endif + +config DRV_TIMER + bool + default n + help + This option enables the timer driver. + +if DRV_TIMER +source "drivers/timer/Kconfig" +endif + +config DRV_INTCTL + bool + default n + help + This option enables the interrupt controller driver. + +config DRV_PCI + bool + default n + help + This option enables the PCI driver. + +config DRV_RANDOM + bool + default n + help + This option enables the random number generator driver. + +if DRV_RANDOM +source "drivers/random/Kconfig" +endif diff --git a/drivers/random/Kconfig b/drivers/random/Kconfig new file mode 100644 index 0000000000..1a928c4d05 --- /dev/null +++ b/drivers/random/Kconfig @@ -0,0 +1,14 @@ +menu "Random Generation Configuration" +config TEST_RANDOM_GENERATOR + bool + prompt "Non-random number generator" + default n + depends on !CUSTOM_RANDOM_GENERATOR + help + This option signifies that the kernel's random number APIs are + permitted to return values that are not truly random. + + This capability is provided for testing purposes, when a truly random + number generator is not available. The non-random number generator + should not be used in a production environment. +endmenu diff --git a/drivers/serial/Kconfig b/drivers/serial/Kconfig new file mode 100644 index 0000000000..6dc7e538c2 --- /dev/null +++ b/drivers/serial/Kconfig @@ -0,0 +1,23 @@ +config DRV_NS16550 + bool + default n + help + This option enables the NS16550 serial driver. + This specific driver can be used for the serial hardware + available at the Generic PC and Quark. + +config DRV_K20_UART + bool + default n + help + This option enables the K20 serial driver. + This specific driver can be used for the serial hardware + available at the Freescale FRDM K64F BSP. + +config DRV_STELLARIS_UART + bool + default n + help + This option enables the Stellaris serial driver. + This specific driver can be used for the serial hardware + available at the Texas Instrument LM3S6965 BSP. diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig new file mode 100644 index 0000000000..56444df2b4 --- /dev/null +++ b/drivers/timer/Kconfig @@ -0,0 +1,6 @@ +config PIT + bool "PIT (i8253)" + default n + depends on ARCH="x86" + help + This option selects legacy i8253 timer as system timer.