1. 2018-10-27 [7] Re: Marvell ARMADA 7K/8K and MACCHIATObin support openbsd-a Mark Kettenis 2. 2018-10-05 [1] Re: OpenBSD -current doesn't boot on Raspberry Pi 3 M openbsd-a Andrey Melent