| menu "Library routines" |
| |
| config CC_OPTIMIZE_LIBS_FOR_SPEED |
| bool "Optimize libraries for speed" |
| help |
| Enabling this option will pass "-O2" to gcc when compiling |
| under "lib" directory. |
| |
| If unsure, say N. |
| |
| config HAVE_PRIVATE_LIBGCC |
| bool |
| |
| config USE_PRIVATE_LIBGCC |
| bool "Use private libgcc" |
| depends on HAVE_PRIVATE_LIBGCC |
| help |
| This option allows you to use the built-in libgcc implementation |
| of U-boot instead of the one privided by the compiler. |
| If unsure, say N. |
| |
| config OF_LIBFDT_OVERLAY |
| bool "Enable the FDT library overlay support" |
| help |
| This enables the FDT library (libfdt) overlay support. |
| |
| config SYS_HZ |
| int |
| default 1000 |
| help |
| The frequency of the timer returned by get_timer(). |
| get_timer() must operate in milliseconds and this option must be |
| set to 1000. |
| |
| endmenu |
