From owner-freebsd-emulation@FreeBSD.ORG  Sun May 25 17:33:06 2014
Return-Path: <owner-freebsd-emulation@FreeBSD.ORG>
Delivered-To: vbox@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 1A8EE7E4
 for <vbox@FreeBSD.org>; Sun, 25 May 2014 17:33:06 +0000 (UTC)
Received: from smtp.des.no (smtp.des.no [194.63.250.102])
 by mx1.freebsd.org (Postfix) with ESMTP id D5CA221BE
 for <vbox@FreeBSD.org>; Sun, 25 May 2014 17:33:05 +0000 (UTC)
Received: from nine.des.no (smtp.des.no [194.63.250.102])
 by smtp-int.des.no (Postfix) with ESMTP id 16694A6A6
 for <vbox@FreeBSD.org>; Sun, 25 May 2014 17:33:04 +0000 (UTC)
Received: by nine.des.no (Postfix, from userid 1001)
 id 48B1331005; Sun, 25 May 2014 19:33:04 +0200 (CEST)
From: =?utf-8?Q?Dag-Erling_Sm=C3=B8rgrav?= <des@des.no>
To: vbox@FreeBSD.org
Subject: HAL policy
Date: Sun, 25 May 2014 19:33:04 +0200
Message-ID: <8661kt69wv.fsf@nine.des.no>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (berkeley-unix)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Mailman-Approved-At: Sun, 25 May 2014 23:49:18 +0000
X-BeenThere: freebsd-emulation@freebsd.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: Development of Emulators of other operating systems
 <freebsd-emulation.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-emulation>, 
 <mailto:freebsd-emulation-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-emulation/>
List-Post: <mailto:freebsd-emulation@freebsd.org>
List-Help: <mailto:freebsd-emulation-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-emulation>, 
 <mailto:freebsd-emulation-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 25 May 2014 17:33:06 -0000

Cf. "HAL users should create this [...]" on the wiki page - may I
suggest that you simply have the port install it in the right place?

DES
--=20
Dag-Erling Sm=C3=B8rgrav - des@des.no