[Minios-devel] [UNIKRAFT PATCH V3 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.

v1->v2:
        - add a menu option to solo5 platform that enable
          build of solo5 monitor;
        - change the solo5 src codes download method, and
          use the unikraft build system "fetch" and "extract"
          method.
v2->v3:
        - put the solo5 as an external platform.

Regards,

Haibo

Haibo Xu (6):
  Add basic documentations.
  external plat: Add the solo5 API declaration in solo5.h
  external plat: Add solo5 platform Config.uk file
  external plat: Add solo5 platform link files.
  external plat: Add solo5 platform Makefile.uk
  external plat: Add platform interface implementation

 CODING_STYLE.md       |   4 +
 CONTRIBUTING.md       |   4 +
 COPYING.md            |  46 +++++++
 Config.uk             |  17 +++
 Linker.uk             |  61 +++++++++
 MAINTAINERS.md        |  11 ++
 Makefile.uk           |  56 +++++++++
 README.md             |   5 +
 console.c             |  45 +++++++
 include/solo5/setup.h |  49 ++++++++
 include/solo5/solo5.h | 280 ++++++++++++++++++++++++++++++++++++++++++
 io.c                  |  41 +++++++
 irq.c                 |  28 +++++
 lcpu.c                |  75 +++++++++++
 link64.lds            | 119 ++++++++++++++++++
 memory.c              |  81 ++++++++++++
 setup.c               |  42 +++++++
 shutdown.c            |  37 ++++++
 time.c                |  56 +++++++++
 19 files changed, 1057 insertions(+)
 create mode 100644 CODING_STYLE.md
 create mode 100644 CONTRIBUTING.md
 create mode 100644 COPYING.md
 create mode 100644 Config.uk
 create mode 100644 Linker.uk
 create mode 100644 MAINTAINERS.md
 create mode 100644 Makefile.uk
 create mode 100644 README.md
 create mode 100644 console.c
 create mode 100644 include/solo5/setup.h
 create mode 100644 include/solo5/solo5.h
 create mode 100644 io.c
 create mode 100644 irq.c
 create mode 100644 lcpu.c
 create mode 100644 link64.lds
 create mode 100644 memory.c
 create mode 100644 setup.c
 create mode 100644 shutdown.c
 create mode 100644 time.c

-- 
2.17.1


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