[Minios-devel] [UNIKRAFT early RFC PATCH 00/11] Enble early SMP support on arm64 kvm plat

[Jia He <justin.he@xxxxxxx>]

This is the early SMP support on arm64 kvm plat which based on previous series 
#1-#5

Most of the codes refer to the implementation in freebsd.

Jia He (11):
  lib/nolibc: Introduce ndelay and mdelay for busy wait
  plat/common/ofw: Move fdt_reg_read_number to header file for static
    inline
  plat/kvm/smp: Add psci call definitions in psci.h
  plat/kvm/smp: Add smp definitions in smp.h
  plat/kvm/smp: Add psci call psci_cpu_on
  plat/kvm: arm64: Add a parameter to start_mmu
  plat/kvm: arm64: Add entry point for APs (secondary cpus)
  plat/kvm/arm: Implement smp boot on arm64 kvm plat
  plat/kvm/arm: Add simple percpu variable support
  lib/ukboot: Enable CONFIG_SMP for arm64
  plat/kvm/arm: Enable scheduler on secondary APs

 lib/nolibc/exportsyms.uk       |   4 +
 lib/nolibc/include/time.h      |   3 +
 lib/nolibc/time.c              |  16 ++-
 lib/ukboot/Config.uk           |   5 +
 lib/ukboot/Makefile.uk         |   1 +
 lib/ukboot/boot.c              |  15 +++
 plat/common/include/arm/psci.h |  87 ++++++++++++
 plat/common/include/smp.h      |  49 +++++++
 plat/drivers/include/ofw/fdt.h |  17 ++-
 plat/drivers/ofw/fdt.c         |  17 +--
 plat/kvm/Makefile.uk           |   1 +
 plat/kvm/arm/entry64.S         |  31 +++++
 plat/kvm/arm/pagetable64.S     |   7 +-
 plat/kvm/arm/setup.c           | 233 +++++++++++++++++++++++++++++++++
 14 files changed, 466 insertions(+), 20 deletions(-)
 create mode 100644 plat/common/include/arm/psci.h
 create mode 100644 plat/common/include/smp.h

-- 
2.17.1


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