[Minios-devel] [UNIKRAFT PATCH 0/2] Add memory region names

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Add platform option to include names to memory regions.
Because this is the first option to the platform interface,
a new submenu for such options is created under "Platform Support".

Simon Kuenzer (2):
  plat/*: Add memory region names
  plat/*: Move generic platform configuration to submenu

 Config.uk                |  2 +-
 include/uk/plat/memory.h |  4 ++++
 lib/ukboot/boot.c        | 14 ++++++++++++++
 plat/Config.uk           |  9 +++++++++
 plat/kvm/memory.c        | 18 ++++++++++++++++++
 plat/linuxu/memory.c     |  6 ++++++
 plat/xen/arm/setup.c     |  6 ++++++
 plat/xen/memory.c        | 18 ++++++++++++++++++
 plat/xen/x86/setup.c     |  3 +++
 9 files changed, 79 insertions(+), 1 deletion(-)

-- 
2.7.4


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