From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
Subject: Re: [9fans] bleeding edge cd install
In-Reply-To: Your message of "Thu, 09 Oct 2003 20:22:53 MDT."
             <Pine.LNX.4.44.0310092021090.7007-100000@maxroach.lanl.gov>
From: "Russ Cox" <rsc@swtch.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <98320.1065751121.1@t40.swtch.com>
Message-Id: <E1A7mYD-000PZq-8X@t40.swtch.com>
Date: Thu,  9 Oct 2003 21:58:41 -0400
Topicbox-Message-UUID: 6b952514-eacc-11e9-9e20-41e7f4b1d025

> Anyway I did just this this exact setting in plan9.ini:
> venti=tcp!127.1!17034 tcp!127.1!80
> [is that really right?]

Actually, no it's not.  I just checked /sys/src/9/boot/local.c.

You want:

	venti=#S/sdC0/venti-conf-disk

where #S/sdC0/venti-conf-disk is the disk you branded
with venti/conf -w.

You can say

	venti=#S/sdC0/venti-conf-disk tcp!127.1!17034 tcp!127.1!8000

but the last two fields are the defaults.

Still, the boot process shouldn't be page faulting,
so this might not solve your problem.
But /sys/src/9/boot/local.c is where you want to look
(and look carefully at any messages before the
page fault).

Russ