Date: Wed, 13 Jun 2018 09:30:22 +0200 From: Emmanuel Vadot <manu@bidouilliste.com> To: araujo@freebsd.org Cc: Alexandru Elisei <alexandru.elisei@gmail.com>, manu@freebsd.org, freebsd-arm@freebsd.org, freebsd-virtualization@freebsd.org, owner-freebsd-virtualization@freebsd.org Subject: Re: ARMv8 development board with GICv3 Message-ID: <cfa505adb7577940f09f75bcb90131bd@megadrive.org> In-Reply-To: <CAOfEmZgxr3yzUxFLwo-iYP_Bg5j8Nt3_pb7J9%2B5ZWbqEiF%2BdkQ@mail.gmail.com> References: <CAB-4s4=FMd_FrYyOkYS%2BFBnpXa6hy1ytgXR1Hbu8cfSD3uk9UQ@mail.gmail.com> <CAOfEmZgxr3yzUxFLwo-iYP_Bg5j8Nt3_pb7J9%2B5ZWbqEiF%2BdkQ@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On 2018-06-13 09:06, Marcelo Araujo wrote: > 2018-06-13 14:54 GMT+08:00 Alexandru Elisei > <alexandru.elisei@gmail.com>: > >> Hello, >> >> I have been working on porting bhyve to ARMv8 and the hypervisor is >> able to successfully boot a FreeBSD virtual machine on the Foundation >> Emulator provided by ARM. >> >> I plan to submit the project for review, but before that I need to >> validate the hypervisor on a hardware platform. >> >> Can anyone be so kind as to recommend a development board for testing? >> The board needs to have an ARMv8 CPU with virtualization extensions >> implemented (Exception Level 2 needs to be available) and a GIC >> version 3 compliant interrupt controller. >> >> Thank you, >> Alexandru Elisei >> _______________________________________________ >> freebsd-virtualization@freebsd.org mailing list >> https://lists.freebsd.org/mailman/listinfo/freebsd-virtualization >> To unsubscribe, send any mail to "freebsd-virtualization- >> unsubscribe@freebsd.org" >> > > Hello Alexandru, > > Excited to see your work! > > I have Cc manu@ as I know he works a lot with embedded devices and > probably > he can give you some suggestions. > I'm sure he is on freebsd-arm@ mailing list, but even though I'm Cc'ing > him. > > Best, > -- A quick grep in the linux dts directory for arm64 give me a few SoC where we boot on it : Thunderx and Marvell 37XX. That being said I think you better try with a gic-v2 board as I adviced in AsiaBSDCon this year. Cheers, -- Emmanuel Vadot <manu@bidouilliste.com> <manu@freebsd.org>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?cfa505adb7577940f09f75bcb90131bd>