#
# For a description of the syntax of this configuration file,
# see doc/kbuild/kconfig-language.txt.
#

menu "Kernel"
	config KERNEL_M
		bool "Enable Multi Threaded Kernel"
		default n
		help
		Kernel Module
		
	config ENABLE_SCHEDULING
		bool " Enable Timer Scheduling"
		depends on KERNEL_M
		default y
		choice
			prompt "Select a Time Slice for Scheduling"
			depends on ENABLE_SCHEDULING
			default SCHED_PERIOD_10
				config SCHED_PERIOD_5
				bool "5 msec"

				config SCHED_PERIOD_10
				bool "10 msec"

				config SCHED_PERIOD_32
				bool "32 msec"
		endchoice

	config THREAD_MANUAL_NUMBERING_M
		bool " Manual numbering for thread ID (Deprecated)"
		depends on KERNEL_M
		default n

	config THREAD_EXT_M
		bool " Thread Extension Module (Beta)"
		depends on KERNEL_M
		default n
		help
		Supports up to 15 threads. This may lower the performace

	config SEM_M
		bool " Enable Semaphore Module (Beta)"
		depends on KERNEL_M
		default n
		
	config MSGQ_M
		bool " Enable Message Queue Module (Beta)"
		depends on KERNEL_M
		default n

	config MSGQ_NBLK_M
		bool " Enable Non-blocking Mode"
		depends on MSGQ_M
		default n

	config SWAPSTK_M
		bool " Enable Automatic Stack Size Configuring Module (Beta)"
		depends on KERNEL_M
		default n
		help
		Configures stack size of each thread automaitically.
		
endmenu
