Re: [Minios-devel] [UNIKRAFT/INTX PATCH 1/4] Introduce library skeleton

[Felipe Huici <Felipe.Huici@xxxxxxxxx>]

Hi Vlad, thanks for this series, this patch looks good.

Reviewed-by: Felipe Huici <felipe.huici@xxxxxxxxx>

On 01.11.19, 13:50, "Vlad-Andrei BĂDOIU (78692)" 
<vlad_andrei.badoiu@xxxxxxxxxxxxxxx> wrote:

    We use the BSD-3-Clause license for this library glue code.
    
    Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
    ---
     .gitignore      | 27 +++++++++++++++++++++++++++
     CODING_STYLE.md |  4 ++++
     CONTRIBUTING.md |  4 ++++
     COPYING.md      | 30 ++++++++++++++++++++++++++++++
     Config.uk       |  8 ++++++++
     MAINTAINERS.md  | 11 +++++++++++
     README.md       |  7 +++++++
     7 files changed, 91 insertions(+)
     create mode 100644 .gitignore
     create mode 100644 CODING_STYLE.md
     create mode 100644 CONTRIBUTING.md
     create mode 100644 COPYING.md
     create mode 100644 Config.uk
     create mode 100644 MAINTAINERS.md
     create mode 100644 README.md
    
    diff --git a/.gitignore b/.gitignore
    new file mode 100644
    index 0000000..75d2fd3
    --- /dev/null
    +++ b/.gitignore
    @@ -0,0 +1,27 @@
    +*.depend
    +*.o
    +*.a
    +*.d
    +*.so
    +*.orig
    +*.rej
    +*.bak
    +*.swp
    +*~
    +,*
    +\#*\#
    +.\#*
    +\#_*\#
    +.\#_*
    +!.gitignore
    +.*
    +
    +# gnu global files
    +GPATH
    +GRTAGS
    +GSYMS
    +GTAGS
    +
    +# cscope files
    +cscope.*
    +ncscope.*
    diff --git a/CODING_STYLE.md b/CODING_STYLE.md
    new file mode 100644
    index 0000000..5730041
    --- /dev/null
    +++ b/CODING_STYLE.md
    @@ -0,0 +1,4 @@
    +Coding Style
    +============
    +
    +Please refer to the `CODING_STYLE.md` file in the main Unikraft repository.
    diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
    new file mode 100644
    index 0000000..5f55eca
    --- /dev/null
    +++ b/CONTRIBUTING.md
    @@ -0,0 +1,4 @@
    +Contributing to Unikraft
    +=======================
    +
    +Please refer to the `CONTRIBUTING.md` file in the main Unikraft repository.
    diff --git a/COPYING.md b/COPYING.md
    new file mode 100644
    index 0000000..46af439
    --- /dev/null
    +++ b/COPYING.md
    @@ -0,0 +1,30 @@
    +License
    +=======
    +
    +Unikraft intx wrapper
    +-----------------------
    +
    +This repository contains wrapper code to build intx with Unikraft.
    +Each C code file in this repository should declare who is the
    +copyright owner and under which terms and conditions the code is
    +licensed. If such a licence note is missing, the following copyright
    +notice will apply:
    +
    +   Copyright (c) 2019, University Politehnica of Bucharest. All rights 
    +   reserved.
    +
    +   This library is free software; you can redistribute it and/or
    +   modify it under the terms of the GNU Lesser General Public
    +   License as published by the Free Software Foundation; either
    +   version 2 of the License, or (at your option) any later version.
    +   
    +   This library is distributed in the hope that it will be useful,
    +   but WITHOUT ANY WARRANTY; without even the implied warranty of
    +   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    +   Lesser General Public License for more details.
    +   
    +   You should have received a copy of the GNU Lesser General Public
    +   License along with this library in the file COPYING.LIB;
    +   if not, write to the Free Software Foundation, Inc.,
    +   59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
    +
    diff --git a/Config.uk b/Config.uk
    new file mode 100644
    index 0000000..4c40a1a
    --- /dev/null
    +++ b/Config.uk
    @@ -0,0 +1,8 @@
    +menuconfig LIBINTX
    +   bool "intx - extended precision integer library"
    +   select LIBCXX
    +   select UKUNISTD
    +   select UKSYSINFO
    +   select LIBUKTIME
    +   select LIBNEWLIBC
    +   default n
    diff --git a/MAINTAINERS.md b/MAINTAINERS.md
    new file mode 100644
    index 0000000..ba7463b
    --- /dev/null
    +++ b/MAINTAINERS.md
    @@ -0,0 +1,11 @@
    +Maintainers List
    +================
    +
    +For notes on how to read this information, please refer to 
`MAINTAINERS.md` in
    +the main Unikraft repository.
    +
    +   INTX-UNIKRAFT
    +   M:      Felipe Huici <felipe.huici@xxxxxxxxx>
    +   M:      Vlad-Andrei Badoiu <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
    +   L:      minios-devel@xxxxxxxxxxxxx
    +   F: *
    diff --git a/README.md b/README.md
    new file mode 100644
    index 0000000..eabfcb6
    --- /dev/null
    +++ b/README.md
    @@ -0,0 +1,7 @@
    +intx for Unikraft
    +===================
    +
    +This is the port of intx for Unikraft as external library.
    +
    +Please refer to the `README.md` as well as the documentation in the `doc/`
    +subdirectory of the main unikraft repository.
    -- 
    2.20.1
    
    

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