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

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



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

 


Rackspace

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