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

[Felipe Huici <Felipe.Huici@xxxxxxxxx>]

Hi Haibo,

This series looks good. I'll likely fix a few typos on upstream and push it 
today/tomorrow.

Thanks again for providing solo5 support!

-- Felipe

On 26.08.19, 11:11, "Haibo Xu" <haibo.xu@xxxxxxx> wrote:

    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.
    v3->v4:
            - fix typo in the document;
            - trigger a Make error when LIBUKSCHED is selected.
    
    Regards,
    
    Haibo
    
    Haibo Xu (6):
      external plat: 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        |  12 ++
     Makefile.uk           |  61 +++++++++
     README.md             |  51 ++++++++
     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, 1109 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