Steffen has been busy so I picked up "[PATCH v5 00/14] arm: nRF51 Devices and
Microbit Support".  This series includes the core devices needed to boot basic
guest software on the "microbit" board.

This series includes Steffen's random number generator, GPIO, timer, and a
stubbed clock.  Also, this series adds the tests/microbit-test.c qtest.

Changes from Steffen's series:
 * Made timer tickless [Peter]
 * Dropped non-volatile memory controller.  More work is needed there and I
   don't want to hold back other devices in this series that are ready for
   merge.
 * Rebased and re-tested with make check and real micro:bit programs
   (requires out-of-tree -kernel and stub TWI device patches)

Steffen Görtz (11):
  qtest: Add set_irq_in command to set IRQ/GPIO level
  arm: Add header to host common definition for nRF51 SOC peripherals
  hw/misc/nrf51_rng: Add NRF51 random number generator peripheral
  arm: Instantiate NRF51 random number generator
  hw/gpio/nrf51_gpio: Add nRF51 GPIO peripheral
  arm: Instantiate NRF51 general purpose I/O
  tests/microbit-test: Add Tests for nRF51 GPIO
  hw/timer/nrf51_timer: Add nRF51 Timer peripheral
  arm: Instantiate NRF51 Timers
  tests/microbit-test: Add Tests for nRF51 Timer
  arm: Add Clock peripheral stub to NRF51 SOC

 Makefile.objs                  |   1 +
 hw/gpio/Makefile.objs          |   1 +
 hw/misc/Makefile.objs          |   1 +
 hw/timer/Makefile.objs         |   1 +
 tests/Makefile.include         |   2 +
 include/hw/arm/nrf51.h         |  45 ++++
 include/hw/arm/nrf51_soc.h     |   9 +
 include/hw/char/nrf51_uart.h   |   1 -
 include/hw/gpio/nrf51_gpio.h   |  69 ++++++
 include/hw/misc/nrf51_rng.h    |  83 +++++++
 include/hw/timer/nrf51_timer.h |  80 +++++++
 tests/libqtest.h               |  13 ++
 hw/arm/nrf51_soc.c             | 117 ++++++++--
 hw/gpio/nrf51_gpio.c           | 300 +++++++++++++++++++++++++
 hw/misc/nrf51_rng.c            | 262 ++++++++++++++++++++++
 hw/timer/nrf51_timer.c         | 393 +++++++++++++++++++++++++++++++++
 qtest.c                        |  43 ++++
 tests/libqtest.c               |  10 +
 tests/microbit-test.c          | 255 +++++++++++++++++++++
 hw/gpio/trace-events           |   7 +
 hw/timer/trace-events          |   5 +
 21 files changed, 1676 insertions(+), 22 deletions(-)
 create mode 100644 include/hw/arm/nrf51.h
 create mode 100644 include/hw/gpio/nrf51_gpio.h
 create mode 100644 include/hw/misc/nrf51_rng.h
 create mode 100644 include/hw/timer/nrf51_timer.h
 create mode 100644 hw/gpio/nrf51_gpio.c
 create mode 100644 hw/misc/nrf51_rng.c
 create mode 100644 hw/timer/nrf51_timer.c
 create mode 100644 tests/microbit-test.c
 create mode 100644 hw/gpio/trace-events

-- 
2.19.2

On Thu, 3 Jan 2019 at 09:12, Stefan Hajnoczi <stefanha@redhat.com> wrote:
>
> Steffen has been busy so I picked up "[PATCH v5 00/14] arm: nRF51 Devices and
> Microbit Support".  This series includes the core devices needed to boot basic
> guest software on the "microbit" board.
>
> This series includes Steffen's random number generator, GPIO, timer, and a
> stubbed clock.  Also, this series adds the tests/microbit-test.c qtest.
>
> Changes from Steffen's series:
>  * Made timer tickless [Peter]
>  * Dropped non-volatile memory controller.  More work is needed there and I
>    don't want to hold back other devices in this series that are ready for
>    merge.
>  * Rebased and re-tested with make check and real micro:bit programs
>    (requires out-of-tree -kernel and stub TWI device patches)

Applied to target-arm.next, thanks.

-- PMM