On Thu, 3 Jan 2019 at 09:12, Stefan Hajnoczi <[email protected]> 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
