[Minios-devel] [UNIKRAFT RFC PATCH 1/5] plat: build: Add a config option to enable fp on arm64

[Jia He <justin.he@xxxxxxx>]

This config 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>
---
 plat/Config.uk | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/plat/Config.uk b/plat/Config.uk
index 0eb5a10..f555f17 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 FLOAT_POINT
+       bool "arm64 floating point support in application"
+       default n
+       depends on ARCH_ARM_64
+       help
+               Enable support FPU usage in application
-- 
2.17.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel