1menu "Library routines" 2 3config CC_OPTIMIZE_LIBS_FOR_SPEED 4 bool "Optimize libraries for speed" 5 help 6 Enabling this option will pass "-O2" to gcc when compiling 7 under "lib" directory. 8 9 If unsure, say N. 10 11config SYS_HZ 12 int 13 default 1000 14 help 15 The frequency of the timer returned by get_timer(). 16 get_timer() must operate in milliseconds and this option must be 17 set to 1000. 18 19endmenu 20