Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 13 Jun 2018 15:06:39 +0800
From:      Marcelo Araujo <araujobsdport@gmail.com>
To:        Alexandru Elisei <alexandru.elisei@gmail.com>
Cc:        freebsd-arm@freebsd.org, freebsd-virtualization@freebsd.org,  manu@freebsd.org
Subject:   Re: ARMv8 development board with GICv3
Message-ID:  <CAOfEmZgxr3yzUxFLwo-iYP_Bg5j8Nt3_pb7J9%2B5ZWbqEiF%2BdkQ@mail.gmail.com>
In-Reply-To: <CAB-4s4=FMd_FrYyOkYS%2BFBnpXa6hy1ytgXR1Hbu8cfSD3uk9UQ@mail.gmail.com>
References:  <CAB-4s4=FMd_FrYyOkYS%2BFBnpXa6hy1ytgXR1Hbu8cfSD3uk9UQ@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
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,
-- 

-- 
Marcelo Araujo            (__)araujo@FreeBSD.org
\\\'',)http://www.FreeBSD.org <http://www.freebsd.org/>;   \/  \ ^
Power To Server.         .\. /_)



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAOfEmZgxr3yzUxFLwo-iYP_Bg5j8Nt3_pb7J9%2B5ZWbqEiF%2BdkQ>