[UNIKRAFT PATCH v5 1/7] plat: build: Add a config option to enable fp on arm64

[Jia He <justin.he@xxxxxxx>]

This config  CONFIG_FPSIMD is to enable the support for arm64 fp feature.
Fp is for application only, never for Unkraft kernel itself.

This config is 'n' by default since there is some overhead during context
switch.

Signed-off-by: Jia He <justin.he@xxxxxxx>
Reviewed-by: Sharan Santhanam <sharan.santhanam@xxxxxxxxx>
---
 plat/Config.uk | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/plat/Config.uk b/plat/Config.uk
index 0eb5a10..76a3f31 100644
--- a/plat/Config.uk
+++ b/plat/Config.uk
@@ -21,3 +21,10 @@ config HZ
        help
                Configure the timer interrupt frequency.
                Only change this if you know what you're doing.
+
+config FPSIMD
+       bool "floating point & simd support in application"
+       default n
+       depends on ARCH_ARM_64
+       help
+               Enable support FPU usage in application
-- 
2.17.1