tree c5f279709774ca805f1c18bdaa01041c1dc61ad0
parent ec193c26f087c056ede94331e9bb7f28603e6866
author Jonas Larsson <ljonas@google.com> 1672770176 -0800
committer Jonas Larsson <ljonas@google.com> 1672770176 -0800

sel4runtime: add CONFIG_SEL4RUNTIME_USE_BUILTINS to reduce code size

Bundled implementations of memcpy and memset yield larger code size
vs. using compiler builtins. Add a config flag to use the latter to
reduce memory footprint.

Bug: 264267056
Change-Id: I4710c62767844a4035511e678067224d74ea3dca