[Minios-devel] [UNIKRAFT PATCH v2 0/2] plat/common: Split ARM generic timer implementation

[Santiago Pagani <santiago.pagani@xxxxxxxxx>]

Split the ARM generic timer implementation in two files,
such that we reduce code duplication in future platform
specific timer implementation. For example, the
Raspberry Pi 3 will have its own versions of:
- void generic_timer_mask_irq(void)
- void generic_timer_unmask_irq(void)
- uint32_t generic_timer_get_frequency(int fdt_timer __unused)
- void time_block_until(__snsec until)
- void ukplat_time_init(void)
including some SoC specific code.

Santiago Pagani (2):
  lib/nolibc: Guard sleep prototype with HAVE_TIME
  plat/common: Split ARM generic timer implementation

 lib/nolibc/include/unistd.h     |   2 +
 plat/common/arm/generic_timer.c | 303 ++++++++++++++++++++++++++++++++
 plat/common/arm/time.c          | 259 +--------------------------
 plat/common/include/arm/time.h  |   9 +
 plat/kvm/Makefile.uk            |   1 +
 5 files changed, 323 insertions(+), 251 deletions(-)
 create mode 100644 plat/common/arm/generic_timer.c

-- 
2.17.1


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