[Minios-devel] [UNIKRAFT PATCH 0/1] plat/common: UKTIME supported in the Raspberry Pi 3

[Santiago Pagani <santiago.pagani@xxxxxxxxx>]

The purpose of this series is to have UKTIME supported in the Raspberry Pi 3.
This mainly involved changing some things in the ARM64 time.c code to be SoC
specific (e.g., the Raspberry Pi 3 does not have a GIC therefore GIC related
calls are not used on the Raspberry Pi3, a memory mapped register in the Pi's
SoC needs to have a bit set in order to enable the generic timer interrupt,
etc.).

Changes:
v1:
- Added ukarch_fls and ukarch_flsl to ARM64.
- Guarded sleep() prototype in NOLIBC with UKTIME, as sleep() depends on UKTIME 
and better to have an undefined function than a linker error.
- Added guards in time.c for ARM64 to work slightly different when selecting 
the Raspberry Pi 3 platform.

Santiago Pagani (1):
  plat/common: UKTIME supported in the Raspberry Pi 3.

 arch/arm/arm64/include/uk/asm/atomic.h |  53 ++++++++++
 lib/nolibc/include/unistd.h            |   2 +
 plat/common/arm/time.c                 | 134 ++++++++++++++++---------
 3 files changed, 143 insertions(+), 46 deletions(-)

-- 
2.17.1


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