[Minios-devel] [UNIKRAFT PATCH v2 0/2] build: Support external platform libraries

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

This patch adds support for external platform libraries. Similar to
external libraries, Such a library is handed over with the `make`
command line parameter `P=`. Identical to internal platform libraries,
an external platform library requires to have 3 files:
 - Makefile.uk
 - Linker.uk
 - Config.uk

Changes to v1:
 - Add documentation

Simon Kuenzer (2):
  build: Support external platform libraries
  doc: Introduce external platforms

 Config.uk                                     |  4 ++
 Makefile                                      | 63 ++++++++++++++-----
 doc/guides/developers-app.rst                 | 12 ++--
 doc/guides/developers-external-plat.rst       |  7 +++
 ...tform.rst => developers-internal-plat.rst} | 10 +--
 doc/guides/developers.rst                     |  3 +-
 doc/guides/users.rst                          | 50 +++++++++++----
 7 files changed, 108 insertions(+), 41 deletions(-)
 create mode 100644 doc/guides/developers-external-plat.rst
 rename doc/guides/{developers-platform.rst => developers-internal-plat.rst} 
(94%)

-- 
2.20.1


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