[Minios-devel] [UNIKRAFT PATCH 0/2] vuild: Options to reduce build time

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

This patch series introduces two build options that can dramatically
reduce overall build time for large Unikernels:
 - Removing GCC debug information
 - Disable compressing of images

Simon Kuenzer (2):
  build: Option to build without GCC debug information
  build: Provide option for compressing images

 Config.uk          | 13 +++++++++++++
 Makefile.uk        |  2 ++
 plat/kvm/Linker.uk |  2 ++
 plat/xen/Linker.uk |  4 ++++
 4 files changed, 21 insertions(+)

-- 
2.20.1


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