| Masahiro Yamada | ed36323 | 2014-09-16 16:32:58 +0900 | [diff] [blame] | 1 | menu "Library routines" |
| 2 | |
| Masahiro Yamada | b0928da | 2014-09-16 16:32:59 +0900 | [diff] [blame] | 3 | config 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 | |
| Masahiro Yamada | 8c688bc | 2014-10-24 01:30:40 +0900 | [diff] [blame^] | 11 | config 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 | |
| Masahiro Yamada | ed36323 | 2014-09-16 16:32:58 +0900 | [diff] [blame] | 19 | endmenu |