diff options
Diffstat (limited to 'make_helpers/defaults.mk')
| -rw-r--r-- | make_helpers/defaults.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make_helpers/defaults.mk b/make_helpers/defaults.mk index c1aa3205..76a9fd4f 100644 --- a/make_helpers/defaults.mk +++ b/make_helpers/defaults.mk @@ -122,6 +122,9 @@ MULTI_CONSOLE_API := 0 # NS timer register save and restore NS_TIMER_SWITCH := 0 +# Include lib/libc in the final image +OVERRIDE_LIBC := 0 + # Build PL011 UART driver in minimal generic UART mode PL011_GENERIC_UART := 0 |