[Minios-devel] [UNIKRAFT PATCH 0/6] Enable solo5 platform support

[Haibo Xu <haibo.xu@xxxxxxx>]

Hi,

As discussed with Simon and Ricardo in the email loop,
Solo5(formerly known as ukvm) would make most sense as
another and new platform library for the unikraft, this
patch set will try to enable the solo5 platform support.

Currently, the implementation has been tested with the
hello-world application on both x86-64 and arm64 machine.

Regards,

Haibo

Haibo Xu (6):
  plat/solo5: Add solo5 source code as a submodule
  plat/solo5: Add solo5 platform Config.uk file
  plat/solo5: Add solo5 platform link files.
  plat/solo5: Add solo5 platform Makefile.uk
  plat/solo5: Add the solo5 API declaration in solo5.h
  plat/solo5: Add platform interface implementation

 .gitmodules                      |   3 +
 plat/Config.uk                   |   1 +
 plat/Linker.uk                   |   1 +
 plat/Makefile.uk                 |   1 +
 plat/solo5/Config.uk             |   8 +
 plat/solo5/Linker.uk             |  79 +++++++++
 plat/solo5/Makefile.uk           |  30 ++++
 plat/solo5/console.c             |  45 +++++
 plat/solo5/include/solo5/setup.h |  49 ++++++
 plat/solo5/include/solo5/solo5.h | 280 +++++++++++++++++++++++++++++++
 plat/solo5/io.c                  |  41 +++++
 plat/solo5/irq.c                 |  28 ++++
 plat/solo5/lcpu.c                |  75 +++++++++
 plat/solo5/link64.lds            |  94 +++++++++++
 plat/solo5/memory.c              |  81 +++++++++
 plat/solo5/setup.c               |  42 +++++
 plat/solo5/shutdown.c            |  37 ++++
 plat/solo5/src-solo5             |   1 +
 plat/solo5/time.c                |  56 +++++++
 19 files changed, 952 insertions(+)
 create mode 100644 .gitmodules
 create mode 100644 plat/solo5/Config.uk
 create mode 100644 plat/solo5/Linker.uk
 create mode 100644 plat/solo5/Makefile.uk
 create mode 100644 plat/solo5/console.c
 create mode 100644 plat/solo5/include/solo5/setup.h
 create mode 100644 plat/solo5/include/solo5/solo5.h
 create mode 100644 plat/solo5/io.c
 create mode 100644 plat/solo5/irq.c
 create mode 100644 plat/solo5/lcpu.c
 create mode 100644 plat/solo5/link64.lds
 create mode 100644 plat/solo5/memory.c
 create mode 100644 plat/solo5/setup.c
 create mode 100644 plat/solo5/shutdown.c
 create mode 160000 plat/solo5/src-solo5
 create mode 100644 plat/solo5/time.c

-- 
2.17.1


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