From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu, 15 Sep 2011 16:25:04 +0200
From: David du Colombier <0intro@gmail.com>
To: 9fans@9fans.net
Message-ID: <20110915162504.4001d586@wks-ddc.exosec.local>
In-Reply-To: <87sjnxucw2.fsf@gmail.com>
References: <6a8ec4f9b24d4601ac77c895a31d3db9@ladd.quanstro.net>
	<87sjnxucw2.fsf@gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] booting
Topicbox-Message-UUID: 2137af7c-ead7-11e9-9d60-3106f5b1d025

> > does 9load do enough to boot the nix 64-bit kernel?

> And are there instructions for bootstrapping such a nix system?
> It builds fine here now, but I have no idea how/what to put on disk to
> make it boot.

The PXE bootloader seems to be in /sys/src/nix/w/pxeload.

--
David du Colombier