From owner-freebsd-virtualization@freebsd.org Wed Jun 13 07:06:42 2018 Return-Path: Delivered-To: freebsd-virtualization@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id BF833100C06C; Wed, 13 Jun 2018 07:06:41 +0000 (UTC) (envelope-from araujobsdport@gmail.com) Received: from mail-lf0-x242.google.com (mail-lf0-x242.google.com [IPv6:2a00:1450:4010:c07::242]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 29F3E702EB; Wed, 13 Jun 2018 07:06:41 +0000 (UTC) (envelope-from araujobsdport@gmail.com) Received: by mail-lf0-x242.google.com with SMTP id n3-v6so2206096lfe.12; Wed, 13 Jun 2018 00:06:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:reply-to:in-reply-to:references:from:date:message-id :subject:to:cc; bh=HyrfQX+TaEojxz2lEZJHr2o1MVoPQcno9fAvcrRFEBE=; b=QsUuZJGaPa5/z1nZvEuBorgld7W/gY/AgWc1cencbrA7PAvJlGKmntMly/wK3ENz0K 6DSTLGVtfP4y8JaDARQODucQJuIVoduWJdixSsZMWjml3CmXaCmmBeNFSr7D1InXPqph iUYzwo4Q5DbqX8apoazrUpsJ7i0a7db0+TZ1LmGTT+uM2KKVd1qo50Uc/wakbTP6hIRT esB2wAu8vlfRpV6EuKxVxdqA95adpXv0FMF5ortSOzHsENQ2W7I5NXoF+2Yx7wMlpD7K /M2jOHjnu6CsyzY/LGTjuya7f9mPwSaXt6r9tMy3mcf+AHWcID5DCm/E6Bx9Br1vGPPv 71Mg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:reply-to:in-reply-to:references :from:date:message-id:subject:to:cc; bh=HyrfQX+TaEojxz2lEZJHr2o1MVoPQcno9fAvcrRFEBE=; b=W9FOt4C9Ggrk68ze0hP2bmP0yTxs2VeYjXOJjt1KA9QLaLiYuqw8IEgSbCI0Qi8ft8 UJ5MAGCn3ax0JbzWKHlfx6LMPKxPuZmoGO8THo6e/M28DaBRoRiYkYbLK/83vqPzxBG8 KqXN1WylfgtbLjEjwjbV0LWpDSMQHLOK2YfpbDf2jStB9egSANfwtT0Ul66gmSqCRsqZ txNSpCw68iGbsrznDr7WRzxo0arTZ+l4WyAxluBflG0B3sbZFu8MD5y7o2nu7XFL2xRf XstYSDcjtPtpXnLr2cfpWUfSW8ps8SrGreo9lkMMocXAl17JWGePI73nknhZuQ/wuRKu QkMg== X-Gm-Message-State: APt69E3uuJwNaEVdYSotg9RzijIWLefZYLqW5jEU4aQGZhkb/UJA2pnG FPNQXMPb3ZV47EiYv0GzUo4WhoZVBkyXeLBHeM0= X-Google-Smtp-Source: ADUXVKJz0MUcryyXflosdEuJQRdOAEwSyfNildeypK0msQFgiE1pnDW+2+/hD7zztZ8NI61nCgjYsMyxWGuPTsYzwYw= X-Received: by 2002:a19:e585:: with SMTP id i5-v6mr2014364lfk.63.1528873599854; Wed, 13 Jun 2018 00:06:39 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a19:1f94:0:0:0:0:0 with HTTP; Wed, 13 Jun 2018 00:06:39 -0700 (PDT) Reply-To: araujo@freebsd.org In-Reply-To: References: From: Marcelo Araujo Date: Wed, 13 Jun 2018 15:06:39 +0800 Message-ID: Subject: Re: ARMv8 development board with GICv3 To: Alexandru Elisei Cc: freebsd-arm@freebsd.org, freebsd-virtualization@freebsd.org, manu@freebsd.org Content-Type: text/plain; charset="UTF-8" X-Content-Filtered-By: Mailman/MimeDel 2.1.26 X-BeenThere: freebsd-virtualization@freebsd.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: "Discussion of various virtualization techniques FreeBSD supports." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 13 Jun 2018 07:06:42 -0000 2018-06-13 14:54 GMT+08:00 Alexandru Elisei : > 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 \/ \ ^ Power To Server. .\. /_)