[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



Hi,

On 19/12/2019 14:27, Jia He wrote:
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

Does this config needs to be Arm64 bit? Can't this potentially be re-used for other arch?

Cheers,

--
Julien Grall

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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.