[Minios-devel] [UNIKRAFT RFC PATCH 0/6] *** SUBJECT HERE ***

[Jianyong Wu <jianyong.wu@xxxxxxx>]

*** BLURB HERE ***

Wei Chen (6):
  plat/kvm: Update linker.uk to link image for Arm64
  plat/kvm: Implement time_block_until for arm64
  plat/kvm: Build pci bus for x86_64 only
  arch/arm64: Add function for stack pointer retrieval
  nolibc: Add eerno.h header for time.c
  plat/common: Get arch_timer clock frequency from DT for Arm

 include/uk/arch/arm/arm64/lcpu.h |  9 +++++++
 lib/nolibc/time.c                |  1 +
 plat/common/arm/time.c           | 51 +++++++++++++++++++++++++++++++++++++++-
 plat/kvm/Linker.uk               |  7 +++++-
 plat/kvm/Makefile.uk             |  2 +-
 5 files changed, 67 insertions(+), 3 deletions(-)

--
2.7.4

IMPORTANT NOTICE: The contents of this email and any attachments are 
confidential and may also be privileged. If you are not the intended recipient, 
please notify the sender immediately and do not disclose the contents to any 
other person, use it for any purpose, or store or copy the information in any 
medium. Thank you.

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