Re: [Xenomai] xenomai/ipipe arm64 port

[Dmitriy Cherkasov <dmitriy@mperpetuo.com>]

Hello,

I've added some basic FPU support. It does not do lazy switching, since 
this is not supported in the arm64 kernel yet. I've tested it 
successfully with switchtest. Below is a pull request if you guys are 
interested in picking this up.

-Dmitriy

The following changes since commit 17095784c6d3d44dc7f1512ffab9bb957e298466:

   cobalt/arm64: leave mm tracking to the pipeline (2015-09-17 15:08:34 
+0200)

are available in the git repository at:

   http://gitlab.mperpetuo.com/it/xenomai-3.git arm64-fp

for you to fetch changes up to 4825d1c170b773e82f90dd15409dde489447301e:

   cobalt/arm64: add basic FPU support (2015-09-24 12:04:42 -0700)

----------------------------------------------------------------
Dmitriy Cherkasov (1):
       cobalt/arm64: add basic FPU support

  kernel/cobalt/arch/arm64/Kconfig                   |   2 +-
  .../cobalt/arch/arm64/include/asm/xenomai/fptest.h |  10 +-
  .../cobalt/arch/arm64/include/asm/xenomai/thread.h |  17 +-
  .../arch/arm64/include/asm/xenomai/uapi/fptest.h   |  80 +++--
  kernel/cobalt/arch/arm64/thread.c                  | 329 
++++++---------------
  lib/cobalt/arch/arm64/features.c                   |  22 +-
  6 files changed, 146 insertions(+), 314 deletions(-)