| 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 | 45ccec8 | 2014-10-24 01:30:43 +0900 | [diff] [blame] | 11 | config HAVE_PRIVATE_LIBGCC |
| 12 | bool |
| 13 | |
| 14 | config USE_PRIVATE_LIBGCC |
| 15 | bool "Use private libgcc" |
| 16 | depends on HAVE_PRIVATE_LIBGCC |
| 17 | help |
| 18 | This option allows you to use the built-in libgcc implementation |
| 19 | of U-boot instead of the one privided by the compiler. |
| 20 | If unsure, say N. |
| 21 | |
| Masahiro Yamada | 8c688bc | 2014-10-24 01:30:40 +0900 | [diff] [blame] | 22 | config SYS_HZ |
| 23 | int |
| 24 | default 1000 |
| 25 | help |
| 26 | The frequency of the timer returned by get_timer(). |
| 27 | get_timer() must operate in milliseconds and this option must be |
| 28 | set to 1000. |
| 29 | |
| Masahiro Yamada | ed36323 | 2014-09-16 16:32:58 +0900 | [diff] [blame] | 30 | endmenu |