From owner-9fans@cse.psu.edu Sat Dec 4 15:03:35 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id PAA01585 for 9fans-outgoing; Sat, 4 Dec 1999 15:03:35 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from beaverhome.net (sl-ontinc-4-0.sprintlink.net [144.232.252.130]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id PAA01562 for <9fans@cse.psu.edu>; Sat, 4 Dec 1999 15:03:13 -0500 (EST) From: To: 9fans@cse.psu.edu Subject: [9fans] AD: Exquisite Home Furnishings, Sensibly Priced! Date: Sun, 5 Dec 1999 04:06:41 Message-Id: <198.412240.620271@beaverhome.net> Reply-To: news@beaverhome.net Mime-Version: 1.0 Content-Type: text/html; charset="us-ascii" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu BeaverHome - Home Furnishings resonably priced






We extend to you a warm welcome to our home! BeaverHome online since 1997, is a source of incredible information and exquisite home-furnishing products available directly from our manufacturing facilities in Canada to your homes all over the fifty states.

Over One Hundred and Fifty Thousand delighted Americans have trusted us to assist them with their projects, and have been thrilled that they did. We offer the most liberal warranty of any home furnishing manufacturer in North America. We offer great ideas and guidance provided by our customer service associates. Thousands of hardwood flooring, furniture, door and trim and carpet sample kits arrive in mailboxes every week across America.

If you need assistance with any of our product lines, do not hesitate to give us a call, toll-free at:1(888)595-HOME (4663)!

You can reach our Customer Service Beavers Mon-Sat 7am-9pm.













If you have recieved this email in error or would like to be removed, either reply to this email with the word "REMOVE" in the "Subject" line or call us toll free 888 595 4663



Prefinished Hardwood delivered to your driver way. Read On....


Exquiste leather furniture sensibly priced. Read On...


Our new line of furniture inspired by some of the worlds explorers is now available. Click here...


Doors and Trim that match your flooring. Read On...


Tired of Carpet that wears out in 18 months. Check our our Canadian made hard twist. Read On...



From owner-9fans@cse.psu.edu Sun Dec 5 16:29:57 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id QAA09444 for 9fans-outgoing; Sun, 5 Dec 1999 16:29:56 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from mail.escapenet.net (escapenet.net [207.105.53.175]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id QAA09440 for <9fans@cse.psu.edu>; Sun, 5 Dec 1999 16:29:48 -0500 (EST) Message-Id: <199912052129.QAA09440@cse.psu.edu> Received: from uci.edu.uci.edu (dialup-209.244.73.100.LosAngeles1.Level3.net[209.244.73.100])by MAIL(MailMax 3.059) with ESMTP id 2658250 for <9fans@cse.psu.edu>; Sun, 05 Dec 1999 13:35:30 -0800 PST From: "reggie" To: "9fans@cse.psu.edu" <9fans@cse.psu.edu> Date: Sun, 05 Dec 1999 13:26:45 -0800 Subject: [9fans] Happy Christmas Reply-To: reggie@iwlink.com MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 7bit X-Priority: 3 Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Buy Computer Hardware and Software Gifts http://www.linkbuy.com Reduce Prices http://www.cleverbuy.com Free Web Pages and Network Services http://www.networksols.com This is only One time message you will not get anymore email from us in future. From owner-9fans@cse.psu.edu Sun Dec 5 18:42:41 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id SAA12876 for 9fans-outgoing; Sun, 5 Dec 1999 18:42:40 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from mail.escapenet.net (escapenet.net [207.105.53.175]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id SAA12871 for <9fans@cse.psu.edu>; Sun, 5 Dec 1999 18:42:29 -0500 (EST) Message-Id: <199912052342.SAA12871@cse.psu.edu> Received: from uci.edu.uci.edu (dialup-63.209.88.241.LosAngeles1.Level3.net[63.209.88.241])by MAIL(MailMax 3.059) with ESMTP id 2700075 for <9fans@cse.psu.edu>; Sun, 05 Dec 1999 15:48:16 -0800 PST From: "reggie" To: "9fans@cse.psu.edu" <9fans@cse.psu.edu> Date: Sun, 05 Dec 1999 15:39:19 -0800 Subject: [9fans] Happy Christmas Reply-To: reggie@iwlink.com MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 7bit X-Priority: 3 Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Buy Computer Hardware and Software Gifts http://www.linkbuy.com Reduce Prices http://www.cleverbuy.com Free Web Pages and Network Services http://www.networksols.com This is only One time message you will not get anymore email from us in future. From owner-9fans@cse.psu.edu Mon Dec 6 20:21:25 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id UAA02512 for 9fans-outgoing; Mon, 6 Dec 1999 20:21:24 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from goliat.eik.bme.hu (postfix@goliat.eik.bme.hu [152.66.250.2]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id UAA02505 for <9fans@cse.psu.edu>; Mon, 6 Dec 1999 20:21:14 -0500 (EST) Received: by goliat.eik.bme.hu (Postfix, from userid 455) id 3717C2E610; Tue, 7 Dec 1999 02:20:53 +0100 (MET) Received: from localhost (localhost [127.0.0.1]) by goliat.eik.bme.hu (Postfix) with ESMTP id 27B802B119 for <9fans@cse.psu.edu>; Tue, 7 Dec 1999 02:20:53 +0100 (MET) Date: Tue, 7 Dec 1999 02:20:52 +0100 (MET) From: FODEMESI Gergely X-Sender: fgergo@goliat To: plan9 mailing list <9fans@cse.psu.edu> Subject: [9fans] any papers on Plan9 II? Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Hi, as far as I can remember, there was no query about Brazil in this form: Are there any notes (besides the e-mails posted on this list) which could be made public on new aspects of Brazil? thanks: Gergo ps: please feel free to ignore this mail From owner-9fans@cse.psu.edu Thu Dec 9 15:09:12 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id PAA13522 for 9fans-outgoing; Thu, 9 Dec 1999 15:09:12 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from phobos.idirect.com (phobos.idirect.com [207.136.80.181]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id PAA13517 for <9fans@cse.psu.edu>; Thu, 9 Dec 1999 15:09:03 -0500 (EST) Received: from Marketing1 (on-tor-swn-dhcp2.idirect.com [207.136.64.82]) by phobos.idirect.com (8.9.3/8.9.3) with SMTP id PAA05659 for <9fans@cse.psu.edu>; Thu, 9 Dec 1999 15:08:31 -0500 (EST) Message-Id: <4.1.19991209151018.0277b140@postoffice.idirect.com> X-Sender: help@postoffice.idirect.com X-Mailer: QUALCOMM Windows Eudora Pro Version 4.1 Date: Thu, 09 Dec 1999 15:10:22 -0500 To: 9fans@cse.psu.edu From: Help Subject: [9fans] Re: Your Junk E-Mail Report Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu I have directed your junk e-mail report to our Internet Abuse department. If additional details are required, an abuse administrator will contact you. Kind regards, Customer Service I.D. Internet Direct Ltd. E-mail help@idirect.com Internet Service Solutions Provider 5415 Dundas St. W., Ste. 301 Toronto, Ontario. M9B 1B5 Member of the Profit 100 Canada's 3rd Fastest-Growing Company From owner-9fans@cse.psu.edu Mon Dec 13 10:08:13 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id KAA17699 for 9fans-outgoing; Mon, 13 Dec 1999 10:08:13 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from crufty.research.bell-labs.com (crufty.research.bell-labs.com [204.178.16.49]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id KAA17693 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 10:08:03 -0500 (EST) Received: from bronx.dnrc.bell-labs.com ([135.180.160.8]) by crufty; Mon Dec 13 10:06:39 EST 1999 Received: from ego (ego [135.180.144.197]) by bronx.dnrc.bell-labs.com (8.9.3/8.9.3) with SMTP id KAA08622 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 10:06:35 -0500 (EST) Message-ID: <008601bf457c$1079c420$c590b487@dnrc.belllabs.com> From: "Dharani Vilwanathan" To: <9fans@cse.psu.edu> Subject: Re: [9fans] any papers on Plan9 II? Date: Mon, 13 Dec 1999 10:09:30 -0500 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2314.1300 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu > Dennis Ritchie wrote: > ... > > > perhaps ultimately because it > > seems to be hard for all but one company to make > > money by selling an operating system. > > ... > > > Yes. But at least they _try_ . It was virtually impossible > for anyone to obtain Inferno to run on real hardware, and > the Inferno business folk made it generally unnatractive > for third party application developers. > It is not the OS that sells itself, but the applications available for it. > You can have the best OS in the world, but if you do not > make it easy for people to write apps for it, or if there > are not enough good quality applications for it, it will die. In my opinion, just the emu version and Limbo is good enough to create beautiful and imaginative applications. Users could have easily come out with excellent applications. The simplicity of Limbo should have been a major attraction to the users but the response and acceptance was far too low. May be the reasons are people started using Java already and Limbo concepts are too tough for an ordinary programmer. Rob Pike's book could have served a lot. Regards dharani From owner-9fans@cse.psu.edu Mon Dec 13 10:38:52 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id KAA18767 for 9fans-outgoing; Mon, 13 Dec 1999 10:38:52 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from mail.core.genedata.com (mentolat-e0.core.genedata.com [157.161.173.16]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id KAA18759 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 10:38:39 -0500 (EST) Received: from relay.core.genedata.com (nila-e0.core.genedata.com [157.161.173.44]) by mail.core.genedata.com (8.10.0.Beta10/8.10.0.Beta10) with ESMTP id dBDFcWK22314 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 16:38:32 +0100 Received: from relay.ch.genedata.com (pinatubo-e0.ch.genedata.com [157.161.173.48]) by relay.core.genedata.com (8.10.0.Beta10/8.10.0.Beta10) with ESMTP id dBDFcVg08166 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 16:38:31 +0100 Received: (from enh@localhost) by relay.ch.genedata.com (8.9.3/8.9.3) id QAA810116 for 9fans@cse.psu.edu; Mon, 13 Dec 1999 16:38:31 +0100 (CET) Date: Mon, 13 Dec 1999 16:38:31 +0100 (CET) From: Elliott Hughes Message-Id: <199912131538.QAA810116@relay.ch.genedata.com> To: 9fans@cse.psu.edu Subject: Re: [9fans] any papers on Plan9 II? Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu > In my opinion, just the emu version and Limbo is good enough to > create beautiful and imaginative applications. i think a big problem for many people was having to run inside emu, by which i mean its big window as much as the VM, which -- provided it starts fast enough -- is neither here nor there. actually, emu starts a little too slowly to be useful for a lot of stuff, but it would have been ok for mailers and web browsers and the like. i don't think "Limbo concepts are too tough" for anyone, but it was hard to see why anyone would choose Limbo/emu for development. in some areas (graphics, say) it was decidedly poor, and i struggle to think of any reason for "an ordinary programmer" to favour it. but what has this to do with papers on Brazil? -e -- "As the Chinese say, 1001 words is worth more than a picture." -- John McCarthy From owner-9fans@cse.psu.edu Mon Dec 13 11:01:42 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id LAA19744 for 9fans-outgoing; Mon, 13 Dec 1999 11:01:42 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from goliat.eik.bme.hu (postfix@goliat.eik.bme.hu [152.66.250.2]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id LAA19738 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 11:01:30 -0500 (EST) Received: by goliat.eik.bme.hu (Postfix, from userid 455) id D96BB2E62D; Mon, 13 Dec 1999 17:01:24 +0100 (MET) Received: from localhost (localhost [127.0.0.1]) by goliat.eik.bme.hu (Postfix) with ESMTP id C6DC72B118 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 17:01:24 +0100 (MET) Date: Mon, 13 Dec 1999 17:01:24 +0100 (MET) From: FODEMESI Gergely X-Sender: fgergo@goliat To: plan9 mailing list <9fans@cse.psu.edu> Subject: [9fans] spin/trace source for plan9 scheduler Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu There is a paper called: Process Sleep and Wakeup on a Shared-memory Multiprocessor Rob Pike, Dave Presotto, Ken Thompson, and Gerard Holzmann Is the spin/trace source still available? It would be a great help, I would need it for a summary on plan9 at the university. thank you very much: Gergo From owner-9fans@cse.psu.edu Mon Dec 13 12:08:29 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id MAA21927 for 9fans-outgoing; Mon, 13 Dec 1999 12:08:29 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from dirty.research.bell-labs.com (dirty.research.bell-labs.com [204.178.16.6]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id MAA21923 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 12:08:24 -0500 (EST) To: 9fans@cse.psu.edu Received: from nslocum.cs.bell-labs.com ([135.104.8.38]) by dirty; Mon Dec 13 12:07:03 EST 1999 Received: (from gerard@localhost) by nslocum.cs.bell-labs.com (8.9.3/8.9.3) id MAA19768 for 9fans@cse.psu.edu; Mon, 13 Dec 1999 12:05:47 -0500 (EST) Date: Mon, 13 Dec 1999 12:05:47 -0500 (EST) From: "Gerard J. Holzmann" Message-Id: <199912131705.MAA19768@nslocum.cs.bell-labs.com> Subject: [9fans] spin Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu see: http:/netlib.bell-labs.com/netlib/spin/whatispin.html http://ase.arc.nasa.gov/spin200 -gerard ------ forwarded message follows ------ From rob@achille.cs.bell-labs.com Mon Dec 13 11:37:16 1999 Received: from plan9.cs.bell-labs.com (olive.cs.bell-labs.com [135.104.9.15]) by nslocum.cs.bell-labs.com (8.9.3/8.9.3) with SMTP id LAA03693 for ; Mon, 13 Dec 1999 11:37:16 -0500 (EST) Message-Id: <199912131637.LAA03693@nslocum.cs.bell-labs.com> From: "rob" Date: Mon, 13 Dec 1999 11:37:12 -0500 To: gerard@achille.cs.bell-labs.com MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit From: fgergo@eik.bme.hu Date: Mon Dec 13 11:23:22 EST 1999 To: 9fans@cse.psu.edu Subject: [9fans] spin/trace source for plan9 scheduler There is a paper called: Process Sleep and Wakeup on a Shared-memory Multiprocessor Rob Pike, Dave Presotto, Ken Thompson, and Gerard Holzmann Is the spin/trace source still available? It would be a great help, I would need it for a summary on plan9 at the university. thank you very much: Gergo From owner-9fans@cse.psu.edu Mon Dec 13 12:10:15 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id MAA22070 for 9fans-outgoing; Mon, 13 Dec 1999 12:10:15 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from dirty.research.bell-labs.com (dirty.research.bell-labs.com [204.178.16.6]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id MAA22057 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 12:10:06 -0500 (EST) To: 9fans@cse.psu.edu Received: from nslocum.cs.bell-labs.com ([135.104.8.38]) by dirty; Mon Dec 13 12:08:39 EST 1999 Received: (from gerard@localhost) by nslocum.cs.bell-labs.com (8.9.3/8.9.3) id MAA05241 for 9fans@cse.psu.edu; Mon, 13 Dec 1999 12:08:01 -0500 (EST) Date: Mon, 13 Dec 1999 12:08:01 -0500 (EST) From: "Gerard J. Holzmann" Message-Id: <199912131708.MAA05241@nslocum.cs.bell-labs.com> Subject: [9fans] spin2000, correction Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu sorry, 2nd url was incomplete, see: http:/netlib.bell-labs.com/netlib/spin/whatispin.html http://ase.arc.nasa.gov/spin2000 -gerard ------ forwarded message follows ------ From rob@achille.cs.bell-labs.com Mon Dec 13 11:37:16 1999 Received: from plan9.cs.bell-labs.com (olive.cs.bell-labs.com [135.104.9.15]) by nslocum.cs.bell-labs.com (8.9.3/8.9.3) with SMTP id LAA03693 for ; Mon, 13 Dec 1999 11:37:16 -0500 (EST) Message-Id: <199912131637.LAA03693@nslocum.cs.bell-labs.com> From: "rob" Date: Mon, 13 Dec 1999 11:37:12 -0500 To: gerard@achille.cs.bell-labs.com MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit From: fgergo@eik.bme.hu Date: Mon Dec 13 11:23:22 EST 1999 To: 9fans@cse.psu.edu Subject: [9fans] spin/trace source for plan9 scheduler There is a paper called: Process Sleep and Wakeup on a Shared-memory Multiprocessor Rob Pike, Dave Presotto, Ken Thompson, and Gerard Holzmann Is the spin/trace source still available? It would be a great help, I would need it for a summary on plan9 at the university. thank you very much: Gergo From owner-9fans@cse.psu.edu Mon Dec 13 12:49:03 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id MAA23548 for 9fans-outgoing; Mon, 13 Dec 1999 12:49:03 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from goliat.eik.bme.hu (postfix@goliat.eik.bme.hu [152.66.250.2]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id MAA23532 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 12:48:41 -0500 (EST) Received: by goliat.eik.bme.hu (Postfix, from userid 455) id 1667C2E61D; Mon, 13 Dec 1999 18:31:01 +0100 (MET) Received: from localhost (localhost [127.0.0.1]) by goliat.eik.bme.hu (Postfix) with ESMTP id 25D312B118 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 18:31:01 +0100 (MET) Date: Mon, 13 Dec 1999 18:31:00 +0100 (MET) From: FODEMESI Gergely X-Sender: fgergo@goliat To: 9fans@cse.psu.edu Subject: Re: [9fans] spin2000, correction In-Reply-To: <199912131708.MAA05241@nslocum.cs.bell-labs.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu My mistake. I asked for the source referred to in the paper mentioned below: promela source for plan9 kernel scheduler validator. thank you: Gergo On Mon, 13 Dec 1999, Gerard J. Holzmann wrote: > sorry, 2nd url was incomplete, see: > > http:/netlib.bell-labs.com/netlib/spin/whatispin.html > http://ase.arc.nasa.gov/spin2000 > > -gerard > > > ------ forwarded message follows ------ > > >From rob@achille.cs.bell-labs.com Mon Dec 13 11:37:16 1999 > Received: from plan9.cs.bell-labs.com (olive.cs.bell-labs.com [135.104.9.15]) > by nslocum.cs.bell-labs.com (8.9.3/8.9.3) with SMTP id LAA03693 > for ; Mon, 13 Dec 1999 11:37:16 -0500 (EST) > Message-Id: <199912131637.LAA03693@nslocum.cs.bell-labs.com> > From: "rob" > Date: Mon, 13 Dec 1999 11:37:12 -0500 > To: gerard@achille.cs.bell-labs.com > MIME-Version: 1.0 > Content-Type: text/plain; charset="US-ASCII" > Content-Transfer-Encoding: 7bit > > From: fgergo@eik.bme.hu > Date: Mon Dec 13 11:23:22 EST 1999 > To: 9fans@cse.psu.edu > Subject: [9fans] spin/trace source for plan9 scheduler > > > There is a paper called: > > Process Sleep and Wakeup on a Shared-memory Multiprocessor > Rob Pike, Dave Presotto, Ken Thompson, and Gerard Holzmann > > Is the spin/trace source still available? It would be a great help, I > would need it for a summary on plan9 at the university. > > thank you very much: Gergo > > From owner-9fans@cse.psu.edu Mon Dec 13 13:19:14 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id NAA24818 for 9fans-outgoing; Mon, 13 Dec 1999 13:19:14 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id NAA24813 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 13:19:09 -0500 (EST) Message-Id: <199912131819.NAA24813@cse.psu.edu> From: "rob" Subject: Re: [9fans] spin2000, correction Date: Mon, 13 Dec 1999 13:18:48 -0500 To: 9fans@cse.psu.edu MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Do you mean the Promela program that described the scheduler? I believe that is long gone. -rob From owner-9fans@cse.psu.edu Mon Dec 13 13:41:38 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id NAA25792 for 9fans-outgoing; Mon, 13 Dec 1999 13:41:38 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from goliat.eik.bme.hu (postfix@goliat.eik.bme.hu [152.66.250.2]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id NAA25781 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 13:41:22 -0500 (EST) Received: by goliat.eik.bme.hu (Postfix, from userid 455) id A53D32E61C; Mon, 13 Dec 1999 19:41:19 +0100 (MET) Received: from localhost (localhost [127.0.0.1]) by goliat.eik.bme.hu (Postfix) with ESMTP id 94B7A2B118 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 19:41:19 +0100 (MET) Date: Mon, 13 Dec 1999 19:41:19 +0100 (MET) From: FODEMESI Gergely X-Sender: fgergo@goliat To: 9fans@cse.psu.edu Subject: Re: [9fans] spin2000, correction In-Reply-To: <199912131819.NAA24813@cse.psu.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Yes, that was it... Thanks anyway: gergo On Mon, 13 Dec 1999, rob wrote: > Do you mean the Promela program that described the > scheduler? I believe that is long gone. > > -rob > > From owner-9fans@cse.psu.edu Mon Dec 13 22:35:54 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id WAA16410 for 9fans-outgoing; Mon, 13 Dec 1999 22:35:53 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id WAA16404 for <9fans@cse.psu.edu>; Mon, 13 Dec 1999 22:35:39 -0500 (EST) Message-Id: <199912140335.WAA16404@cse.psu.edu> From: "rob" Subject: [9fans] Promela model for sleep/wakeup Date: Mon, 13 Dec 1999 22:35:07 -0500 To: 9fans@cse.psu.edu MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Gerard Holzmann found a copy in his archives. #define N 3 /* number of processes */ chan cq = [N] of { byte }; /* a single console queue */ init { atomic { run sleeper(); run wakeupr(); run posterp() } } byte p_r; /* p->r, one for each process */ byte State; /* nonzero if sleeper is waiting */ byte p_notepending; byte R_lock; /* lock point, one for each console q */ byte R_p; /* r->p, nonzero if anyone is waiting */ #define Wakeme 1 /* scheduling state of sleeper, 0 or 1 */ #define Console 1 /* id of the console, there is just 1 */ #define lock(r) atomic { (R_lock == 0) -> R_lock = 1 } #define unlock(r) R_lock = 0 mtype = { mesg }; proctype sleeper() { /* sleep sequence * suppose we wait to receive * a mesg from the console cq */ again: p_r = Console; /* we're waiting */ lock(r); if /* if condition happened, never mind */ :: len(cq) > 0 -> /* it happened */ p_r = 0; /* not waiting anymore */ unlock(r); goto done /* never mind */ :: len(cq) == 0 /* now committed to call scheduler */ fi; if :: R_p -> /* a process already waits for R */ printf("double sleep %d\n", R_p); assert(0) :: !R_p -> /* all clear */ State = Wakeme; R_p = 1; /* register */ unlock(r) fi; if :: p_notepending == 0 -> (State == 0) /* sched() */ :: !p_notepending fi; if :: p_notepending != 0 -> p_notepending = 0; lock(r); if :: R_p == 1 -> R_p = 0 :: R_p != 1 fi; unlock(r) /* error(Eintr) */ fi; done: if :: len(cq) ->cq?mesg :: len(cq) == 0 fi; goto again } proctype posterp() { byte r; /* postnote * interrupt the waiting process */ again: p_notepending = 1; r = p_r; if :: r -> /* process i is waiting */ /* wake up; without calling wakeup itself */ lock(r); if :: p_r == 1 -> if :: R_p == 1 -> /* check we wont race */ if :: State == Wakeme -> R_p = 0; p_r = 0; State = 0 /* ready(p) */ :: State != Wakeme /* no asleep */ fi :: R_p != 1 /* else, skip */ fi :: p_r != 1 /* else, skip */ fi; unlock(r) :: !r fi; goto again } proctype wakeupr() { byte p; /* wakeup sequence * send mesg to cq */ again: cq!mesg; lock(r); p = R_p; if :: p -> R_p = 0; if :: State != Wakeme -> printf("panic wakeup state\n"); assert(0) :: State == Wakeme -> p_r = 0; State = 0 /* ready(p) */ fi :: !p fi; unlock(r); goto again } From owner-9fans@cse.psu.edu Tue Dec 14 11:06:21 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id LAA05527 for 9fans-outgoing; Tue, 14 Dec 1999 11:06:20 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from goliat.eik.bme.hu (postfix@goliat.eik.bme.hu [152.66.250.2]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id LAA05519 for <9fans@cse.psu.edu>; Tue, 14 Dec 1999 11:06:07 -0500 (EST) Received: by goliat.eik.bme.hu (Postfix, from userid 455) id B7EAD2E612; Tue, 14 Dec 1999 17:05:45 +0100 (MET) To: 9fans@cse.psu.edu Subject: Re: [9fans] Promela model for sleep/wakeup X-Newsgroups: comp.os.plan9 In-Reply-To: <199912140335.WAA16404@cse.psu.edu> User-Agent: tin/pre-1.4-19990805 ("Preacher Man") (UNIX) (SunOS/5.7 (sun4d)) Message-Id: <19991214160545.B7EAD2E612@goliat.eik.bme.hu> Date: Tue, 14 Dec 1999 17:05:45 +0100 (MET) From: fgergo@eik.bme.hu (FODEMESI Gergely) Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu In article <199912140335.WAA16404@cse.psu.edu> you wrote: > Gerard Holzmann found a copy in his archives. Thank you all for all your help on my questions. gergo From owner-9fans@cse.psu.edu Wed Dec 15 00:01:46 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id AAA00125 for 9fans-outgoing; Wed, 15 Dec 1999 00:01:45 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from burly.fywss.com (84.angoss.com [209.47.149.84] (may be forged)) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id AAA00021 for <9fans@cse.psu.edu>; Wed, 15 Dec 1999 00:01:14 -0500 (EST) Received: (from steve@localhost) by burly.fywss.com (8.9.3/8.9.3) id AAA08039 for 9fans@cse.psu.edu; Wed, 15 Dec 1999 00:01:01 -0500 Date: Wed, 15 Dec 1999 00:01:01 -0500 From: Steve Kotsopoulos Message-Id: <199912150501.AAA08039@burly.fywss.com> To: 9fans@cse.psu.edu Subject: [9fans] [reminder] pointer to Plan 9 FAQ Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu The Plan 9 faq is posted to comp.os.plan9 at the beginning of each month. It is also at news.answers archive sites, look for comp-os/plan9-faq The latest hypertext version of the faq is available at url http://www.fywss.com/plan9/plan9faq.html From owner-9fans@cse.psu.edu Fri Dec 17 08:24:39 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id IAA23582 for 9fans-outgoing; Fri, 17 Dec 1999 08:24:39 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from sun2.bnl.gov (sun2.bnl.gov [130.199.74.35]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id IAA23577 for <9fans@cse.psu.edu>; Fri, 17 Dec 1999 08:24:31 -0500 (EST) Received: from bnl.gov (takai@elmo.phy.bnl.gov [130.199.20.83]) by sun2.bnl.gov (8.9.3/8.9.3) with ESMTP id IAA08940 for <9fans@cse.psu.edu>; Fri, 17 Dec 1999 08:24:00 -0500 (EST) Message-ID: <385A3AB3.600311C1@bnl.gov> Date: Fri, 17 Dec 1999 08:29:23 -0500 From: Helio Takai Organization: Brookhaven National Laboratory X-Mailer: Mozilla 4.7 [en] (X11; U; Linux 2.2.13 i686) X-Accept-Language: en, ja, pt-BR MIME-Version: 1.0 To: "9fans@cse.psu.edu" <9fans@cse.psu.edu> Subject: [9fans] A real newbie question Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Hi, After having the CD for more than a year in my drawer I decided that I have to install it... So I did. I went as far as installing the CD on a pentium 60, with 48Mb, #9GXE-pci video card, bus-logic SCSI and a couple of recycled SCSI disks. 81/2 works great, etc... I am having some difficulties configuring the network. My main problem is to access our domain name server. We have in our lab two machines that serves this purpose. The question is how can I do that? I imagine that this needs to be included in /lib/ndb/local, is this correct? Other question - how to add users? I have tried the newuser script, but it complains that cannot cd to /usr/$user or something like that. So you see...these are real newbie question... I am not a real computer expert, but would like to understand if plan9 or something in these lines could be used in high energy physics. In particular for the data analysis, where many users share a common set of data. Reading the several papers it seems that this is the case.... Any help is greatly welcomed! Cheers, Helio Takai takai@bnl.gov From owner-9fans@cse.psu.edu Fri Dec 17 08:35:11 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id IAA24044 for 9fans-outgoing; Fri, 17 Dec 1999 08:35:11 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from caldo.demon.co.uk (caldo.demon.co.uk [194.222.207.148]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id IAA24040 for <9fans@cse.psu.edu>; Fri, 17 Dec 1999 08:35:06 -0500 (EST) From: forsyth@caldo.demon.co.uk Message-Id: <199912171335.IAA24040@cse.psu.edu> To: 9fans@cse.psu.edu Date: Fri, 17 Dec 1999 13:36:20 GMT Subject: Re: [9fans] A real newbie question Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu >>Other question - how to add users? I have tried the newuser script, but >>it complains that cannot cd to /usr/$user or something like that. i think the following is correct. on a standalone machine (with a local kfs file system), disk/kfscmd 'newuser fred' then log in as fred and run the newuser script. if you've got the full cpu-server+file-server+terminal collection use newuser on the file server console, auth/changeuser on the cpu server console, then have the user run the newuser script once logged in. i once wrote something that would install many users at once, but i can't find it now. From owner-9fans@cse.psu.edu Fri Dec 17 12:00:19 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id MAA00185 for 9fans-outgoing; Fri, 17 Dec 1999 12:00:17 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id MAA00159 for <9fans@cse.psu.edu>; Fri, 17 Dec 1999 12:00:00 -0500 (EST) From: presotto@plan9.bell-labs.com Message-Id: <199912171700.MAA00159@cse.psu.edu> Date: Fri, 17 Dec 1999 11:59:36 -0500 To: takai@bnl.gov, 9fans@cse.psu.edu Subject: Re: [9fans] A real newbie question MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="upas-uqreseiojkmhcosprmmuakijhd" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu This is a multi-part message in MIME format. --upas-uqreseiojkmhcosprmmuakijhd Content-Disposition: inline Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Someone answered you about adding users. I'll try the dns problem. I've done a better dns since then and it'll come out soon. However, till then, you need to make do with what you have, which is essentially a dns program that's both resolver and server. Add entries to the /lib/ndb/local file that look like this: dom= ns=A.ROOT-SERVERS.NET ns=B.ROOT-SERVERS.NET ns=C.ROOT-SERVERS.NET ns=D.ROOT-SERVERS.NET ns=E.ROOT-SERVERS.NET ns=F.ROOT-SERVERS.NET ns=G.ROOT-SERVERS.NET ns=H.ROOT-SERVERS.NET ns=I.ROOT-SERVERS.NET dom=A.ROOT-SERVERS.NET ip=198.41.0.4 dom=B.ROOT-SERVERS.NET ip=128.9.0.107 dom=C.ROOT-SERVERS.NET ip=192.33.4.12 dom=D.ROOT-SERVERS.NET ip=128.8.10.90 dom=E.ROOT-SERVERS.NET ip=192.203.230.10 dom=F.ROOT-SERVERS.NET ip=192.5.5.241 ip=39.13.229.241 dom=G.ROOT-SERVERS.NET ip=192.112.36.4 dom=H.ROOT-SERVERS.NET ip=128.63.2.53 dom=I.ROOT-SERVERS.NET ip=192.36.148.17 If you don't want to go to the root servers, pretend that your other name servers are the root servers and edit the above accordingly. Otherwise keep the above entries and also add one for your local (I assume bnl.gov) domain: dom=bnl.gov ns=NS1.bnl.gov ns=NAMESERVER.bnl.gov ns=NS1.ES.NET dom=NS1.bnl.gov ip=130.199.1.1 dom=NAMESERVER.bnl.gov ip=130.199.128.31 dom=NS1.ES.NET ip=198.128.2.10 This program doesn't add domain's to names before resolving so your stuck with typing full domain names if the system isn't in /lib/ndb/local. --upas-uqreseiojkmhcosprmmuakijhd Content-Type: message/rfc822 Content-Disposition: inline Received: from plan9.cs.bell-labs.com ([135.104.9.2]) by plan9; Fri Dec 17 08:47:35 EST 1999 Received: from cse.psu.edu ([130.203.3.50]) by plan9; Fri Dec 17 08:47:34 EST 1999 Received: from localhost (majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) with SMTP id IAA23629; Fri, 17 Dec 1999 08:25:54 -0500 (EST) Received: by claven.cse.psu.edu (bulk_mailer v1.5); Fri, 17 Dec 1999 08:24:44 -0500 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id IAA23582 for 9fans-outgoing; Fri, 17 Dec 1999 08:24:39 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from sun2.bnl.gov (sun2.bnl.gov [130.199.74.35]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id IAA23577 for <9fans@cse.psu.edu>; Fri, 17 Dec 1999 08:24:31 -0500 (EST) Received: from bnl.gov (takai@elmo.phy.bnl.gov [130.199.20.83]) by sun2.bnl.gov (8.9.3/8.9.3) with ESMTP id IAA08940 for <9fans@cse.psu.edu>; Fri, 17 Dec 1999 08:24:00 -0500 (EST) Message-ID: <385A3AB3.600311C1@bnl.gov> Date: Fri, 17 Dec 1999 08:29:23 -0500 From: Helio Takai Organization: Brookhaven National Laboratory X-Mailer: Mozilla 4.7 [en] (X11; U; Linux 2.2.13 i686) X-Accept-Language: en, ja, pt-BR MIME-Version: 1.0 To: "9fans@cse.psu.edu" <9fans@cse.psu.edu> Subject: [9fans] A real newbie question Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Reply-To: 9fans@cse.psu.edu Precedence: bulk Hi, After having the CD for more than a year in my drawer I decided that I have to install it... So I did. I went as far as installing the CD on a pentium 60, with 48Mb, #9GXE-pci video card, bus-logic SCSI and a couple of recycled SCSI disks. 81/2 works great, etc... I am having some difficulties configuring the network. My main problem is to access our domain name server. We have in our lab two machines that serves this purpose. The question is how can I do that? I imagine that this needs to be included in /lib/ndb/local, is this correct? Other question - how to add users? I have tried the newuser script, but it complains that cannot cd to /usr/$user or something like that. So you see...these are real newbie question... I am not a real computer expert, but would like to understand if plan9 or something in these lines could be used in high energy physics. In particular for the data analysis, where many users share a common set of data. Reading the several papers it seems that this is the case.... Any help is greatly welcomed! Cheers, Helio Takai takai@bnl.gov --upas-uqreseiojkmhcosprmmuakijhd-- From owner-9fans@cse.psu.edu Sun Dec 19 20:57:44 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id UAA06333 for 9fans-outgoing; Sun, 19 Dec 1999 20:57:44 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from granite.cias.osakafu-u.ac.jp (granite.cias.osakafu-u.ac.jp [157.16.91.52]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id UAA06322 for <9fans@cse.psu.edu>; Sun, 19 Dec 1999 20:57:37 -0500 (EST) From: okamoto@granite.cias.osakafu-u.ac.jp Message-Id: <199912200157.UAA06322@cse.psu.edu> To: 9fans@cse.psu.edu Date: Mon, 20 Dec 1999 10:56:39 +0900 Subject: [9fans] a bit silly statistics MIME-Version: 1.0 Content-Type: Text/Plain; CHARSET="UTF-8" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Hi I have something silly to say here. I cann't stop to keep this in my own only. :-) A month ago, I wrote a small introductory article for Japanese Plan 9 watchers. Now, a new volume of the magazine comes out, and mine ends its role. In the article, I wrote we have more data in our web page... I made small statistics around Plan 9 in Japan. ^_^ Our web site caught about 150 readers per month from 1997 Sept. In this last month, the number increased to 420, then, we had 270 excess readers by my article. What does this mean? I don't know. :-) Kenji From owner-9fans@cse.psu.edu Mon Dec 20 09:04:29 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id JAA20610 for 9fans-outgoing; Mon, 20 Dec 1999 09:04:29 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id JAA20606 for <9fans@cse.psu.edu>; Mon, 20 Dec 1999 09:04:23 -0500 (EST) Message-Id: <199912201404.JAA20606@cse.psu.edu> From: "rob" Subject: [9fans] Commercial Plan9, again? Date: Mon, 20 Dec 1999 09:03:57 -0500 To: 9fans@cse.psu.edu MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu AFAIK commercial Plan9 license was possible to obtain via direct negotiation will Bell-Labs, but this was dropped when Inferno was introduced. Incorrect hearsay. The licensing of the old Plan 9 was unaffected by Inferno. I believe this will maintain for a new release, as well. -rob Rob Pike rob@plan9.bell-labs.com From owner-9fans@cse.psu.edu Mon Dec 20 11:59:59 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id LAA24981 for 9fans-outgoing; Mon, 20 Dec 1999 11:59:59 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from ns.dbSystems.com (root@ns.dbsystems.com [204.178.76.1]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id LAA24977 for <9fans@cse.psu.edu>; Mon, 20 Dec 1999 11:59:50 -0500 (EST) Received: (from gdb@localhost) by ns.dbSystems.com (8.6.11/8.6.9) id KAA01870 for 9fans@cse.psu.edu; Mon, 20 Dec 1999 10:58:24 -0600 Date: xMessageSize=1000000 From: "G. David Butler" Message-Id: <199912201658.KAA01870@ns.dbSystems.com> To: 9fans@cse.psu.edu Subject: Re: [9fans] Commercial Plan9, again? Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu >From: "rob" > > AFAIK commercial Plan9 license was possible to obtain via direct > negotiation will Bell-Labs, but this was dropped when Inferno was > introduced. >Incorrect hearsay. The licensing of the old Plan 9 was unaffected >by Inferno. I believe this will maintain for a new release, as well. After conversations with both Chuck Greene and Dennis Ritchie I would say that Inferno did affect Plan 9 licensing because the ability to license Plan 9 commercially went away when Inferno became available. I had gotten as far as a copy of the license agreement to review before I was told that my $25k would not be accepted because Lucent had withdrawn the offer. If this is different now, I'd sure like to know... David Butler gdb@dbSystems.com From owner-9fans@cse.psu.edu Mon Dec 20 16:35:15 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id QAA03652 for 9fans-outgoing; Mon, 20 Dec 1999 16:35:14 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id QAA03648 for <9fans@cse.psu.edu>; Mon, 20 Dec 1999 16:35:10 -0500 (EST) Message-Id: <199912202135.QAA03648@cse.psu.edu> From: "rob" Subject: [9fans] Plan 9 on Alpha? Date: Mon, 20 Dec 1999 16:34:49 -0500 To: 9fans@cse.psu.edu MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu David Hogan has a port running on the Alpha. We've used it here but not too heavily. There are probably lots of details to tweak, but it works. Our plan is to include what there is in any future distribution. -rob From owner-9fans@cse.psu.edu Mon Dec 20 16:36:06 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id QAA03736 for 9fans-outgoing; Mon, 20 Dec 1999 16:36:06 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id QAA03720 for <9fans@cse.psu.edu>; Mon, 20 Dec 1999 16:35:54 -0500 (EST) Message-Id: <199912202135.QAA03720@cse.psu.edu> From: "rob" Subject: Re: [9fans] Commercial Plan9, again? Date: Mon, 20 Dec 1999 16:35:53 -0500 To: 9fans@cse.psu.edu MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu I looked into the matter today, and believe you should be able to negotiate a commercial contract for the 1995 distribution. -rob From owner-9fans@cse.psu.edu Mon Dec 20 20:29:23 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id UAA08864 for 9fans-outgoing; Mon, 20 Dec 1999 20:29:23 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from granite.cias.osakafu-u.ac.jp (granite.cias.osakafu-u.ac.jp [157.16.91.52]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id UAA08855 for <9fans@cse.psu.edu>; Mon, 20 Dec 1999 20:29:15 -0500 (EST) From: okamoto@granite.cias.osakafu-u.ac.jp Message-Id: <199912210129.UAA08855@cse.psu.edu> To: 9fans@cse.psu.edu Date: Tue, 21 Dec 1999 10:28:19 +0900 Subject: Re: [9fans] Plan 9 on Alpha? MIME-Version: 1.0 Content-Type: Text/Plain; CHARSET="ISO-2022-JP" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu > Our plan is to include what there is in any future distribution. How about on the other machines included in the preveous distribution? , and how about on Mac? The latter would be important if you want to increase the number of Plan 9 users (especialy in Univ. etc), because Mac users don't like to change their machines. They love their Mac (most of them don't even know what is Mac :-), but I cann't change their "personality". Kenji From owner-9fans@cse.psu.edu Mon Dec 20 21:13:25 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id VAA09906 for 9fans-outgoing; Mon, 20 Dec 1999 21:01:28 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id VAA09900 for <9fans@cse.psu.edu>; Mon, 20 Dec 1999 21:01:22 -0500 (EST) From: presotto@plan9.bell-labs.com Message-Id: <199912210201.VAA09900@cse.psu.edu> Date: Mon, 20 Dec 1999 21:00:43 -0500 To: 9fans@cse.psu.edu Subject: Re: [9fans] Plan 9 on Alpha? MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="upas-skccdrvuuoczlhkiczvmzqxtwi" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu This is a multi-part message in MIME format. --upas-skccdrvuuoczlhkiczvmzqxtwi Content-Disposition: inline Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit We have not done Mac ports in the past because of the difficulty in getting enough unrestricted info about the box's hardware to do it. We do have a PowerPC environment (compiler, etc) should someone else want to step forward after the next release (Don't ask about when/how much/what strings yet since we're trying to figure that our ourselves). --upas-skccdrvuuoczlhkiczvmzqxtwi Content-Type: message/rfc822 Content-Disposition: inline Received: from plan9.cs.bell-labs.com ([135.104.9.2]) by plan9; Mon Dec 20 20:51:19 EST 1999 Received: from cse.psu.edu ([130.203.3.50]) by plan9; Mon Dec 20 20:51:17 EST 1999 Received: from localhost (majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) with SMTP id UAA09128; Mon, 20 Dec 1999 20:31:03 -0500 (EST) Received: by claven.cse.psu.edu (bulk_mailer v1.5); Mon, 20 Dec 1999 20:29:28 -0500 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id UAA08864 for 9fans-outgoing; Mon, 20 Dec 1999 20:29:23 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from granite.cias.osakafu-u.ac.jp (granite.cias.osakafu-u.ac.jp [157.16.91.52]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id UAA08855 for <9fans@cse.psu.edu>; Mon, 20 Dec 1999 20:29:15 -0500 (EST) From: okamoto@granite.cias.osakafu-u.ac.jp Message-Id: <199912210129.UAA08855@cse.psu.edu> To: 9fans@cse.psu.edu Date: Tue, 21 Dec 1999 10:28:19 +0900 Subject: Re: [9fans] Plan 9 on Alpha? MIME-Version: 1.0 Content-Type: Text/Plain; CHARSET="ISO-2022-JP" Sender: owner-9fans@cse.psu.edu Reply-To: 9fans@cse.psu.edu Precedence: bulk > Our plan is to include what there is in any future distribution. How about on the other machines included in the preveous distribution? , and how about on Mac? The latter would be important if you want to increase the number of Plan 9 users (especialy in Univ. etc), because Mac users don't like to change their machines. They love their Mac (most of them don't even know what is Mac :-), but I cann't change their "personality". Kenji --upas-skccdrvuuoczlhkiczvmzqxtwi-- From owner-9fans@cse.psu.edu Tue Dec 21 11:41:26 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id LAA27290 for 9fans-outgoing; Tue, 21 Dec 1999 11:41:26 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from ns.dbSystems.com (root@ns.dbsystems.com [204.178.76.1]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id LAA27286 for <9fans@cse.psu.edu>; Tue, 21 Dec 1999 11:41:21 -0500 (EST) Received: (from gdb@localhost) by ns.dbSystems.com (8.6.11/8.6.9) id KAA08375 for 9fans@cse.psu.edu; Tue, 21 Dec 1999 10:39:48 -0600 Date: xMessageSize=1000000 From: "G. David Butler" Message-Id: <199912211639.KAA08375@ns.dbSystems.com> To: 9fans@cse.psu.edu Subject: [9fans] Compiler problem with index initilization Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Try to compile: int arr[6][4][2] = { [0][0][0]1, [5][3][1]2, }; I get: test.c:2 initilization index out of range: 5 test.c:2 initilization index out of range: 3 I believe the problem is in /sys/src/cmd/cc/dcl.c but before I chase it down I thought I'd see if anyone has already done so. David Butler gdb@dbSystems.com From owner-9fans@cse.psu.edu Tue Dec 21 12:10:47 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id MAA28347 for 9fans-outgoing; Tue, 21 Dec 1999 12:10:47 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from ns.dbSystems.com (root@ns.dbsystems.com [204.178.76.1]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id MAA28343 for <9fans@cse.psu.edu>; Tue, 21 Dec 1999 12:10:43 -0500 (EST) Received: (from gdb@localhost) by ns.dbSystems.com (8.6.11/8.6.9) id LAA08519 for 9fans@cse.psu.edu; Tue, 21 Dec 1999 11:09:10 -0600 Date: xMessageSize=1000000 From: "G. David Butler" Message-Id: <199912211709.LAA08519@ns.dbSystems.com> To: 9fans@cse.psu.edu Subject: Re: [9fans] Commercial Plan9, again? Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu I just called Chuck Greene and he says the policy has *not* changed. A Plan 9 commercial license is *not* available. He did comment that with the demise of Inferno they could look into changing the policy. He will let me know either way by early January. db From: "rob" Subject: Re: [9fans] Commercial Plan9, again? Date: Mon, 20 Dec 1999 16:35:53 -0500 To: 9fans@cse.psu.edu I looked into the matter today, and believe you should be able to negotiate a commercial contract for the 1995 distribution. -rob From owner-9fans@cse.psu.edu Tue Dec 21 22:13:59 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id WAA14410 for 9fans-outgoing; Tue, 21 Dec 1999 22:13:59 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from granite.cias.osakafu-u.ac.jp (granite.cias.osakafu-u.ac.jp [157.16.91.52]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id WAA14406 for <9fans@cse.psu.edu>; Tue, 21 Dec 1999 22:13:53 -0500 (EST) From: okamoto@granite.cias.osakafu-u.ac.jp Message-Id: <199912220313.WAA14406@cse.psu.edu> To: 9fans@cse.psu.edu Date: Wed, 22 Dec 1999 12:13:01 +0900 Subject: Re: [9fans] Plan 9 on Alpha? MIME-Version: 1.0 Content-Type: Text/Plain; CHARSET="ISO-2022-JP" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu Thank you for your scincere reply to my querry. >(Don't ask about when/how much/what strings yet since we're trying >to figure that our ourselves). I'll never do that, because I know you have too many jobs in your hand. It's also same to me, and probably, all the others working on Plan 9. Kenji From owner-9fans@cse.psu.edu Wed Dec 22 19:33:14 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id TAA08983 for 9fans-outgoing; Wed, 22 Dec 1999 19:33:13 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from ns.dbSystems.com (root@ns.dbsystems.com [204.178.76.1]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id TAA08978 for <9fans@cse.psu.edu>; Wed, 22 Dec 1999 19:33:08 -0500 (EST) Received: (from gdb@localhost) by ns.dbSystems.com (8.6.11/8.6.9) id SAA16944 for 9fans@cse.psu.edu; Wed, 22 Dec 1999 18:31:24 -0600 Date: xMessageSize=1000000 From: "G. David Butler" Message-Id: <199912230031.SAA16944@ns.dbSystems.com> To: 9fans@cse.psu.edu Subject: Re: [9fans] Compiler problem with index initilization Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu >From: "G. David Butler" > >Try to compile: > >int arr[6][4][2] = { > [0][0][0]1, [5][3][1]2, >}; > >I get: > >test.c:2 initilization index out of range: 5 >test.c:2 initilization index out of range: 3 The problem is that initialization of multidimensional arrays doesn't work and it was broken in such a way that you would only see the above error if an earlier diminsion was greater than a subsequent one. It was always broken, but only in this case would you see an error. I think I fixed it by having the recursion on the initialization return to the top level if an OARRAY is seen. change in /sys/src/cmd/cc/dcl.c about line 430: if(a->op == OARRAY) { a = nextinit(); to if(a->op == OARRAY) { if(e && exflag) break; a = nextinit(); and change in /sys/src/cmd/cc/dcl.c about line 444: diag(a, "initilization index out of range: %ld", e); e = 0; } continue; } to diag(a, "initialization index out of range: %ld", e); continue; } } David Butler gdb@dbSystems.com From owner-9fans@cse.psu.edu Fri Dec 24 00:03:32 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id AAA14830 for 9fans-outgoing; Fri, 24 Dec 1999 00:03:31 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from solace.valinor (dialup-63.210.136.96.Boston1.Level3.net [63.210.136.96]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id AAA14826 for <9fans@cse.psu.edu>; Fri, 24 Dec 1999 00:03:26 -0500 (EST) Received: from earthlink.net (valimar-ir.valinor [192.168.42.11]) by solace.valinor (8.9.3/8.8.7) with ESMTP id SAA22207 for <9fans@cse.psu.edu>; Thu, 23 Dec 1999 18:56:03 -0500 Message-ID: <3862B642.3E9A2282@earthlink.net> Date: Thu, 23 Dec 1999 18:54:42 -0500 From: David Bulkow X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: 9fans <9fans@cse.psu.edu> Subject: [9fans] plan9 on vmware Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu I have finally managed to boot Plan9 in a VMware configuration. The problem I ran into was the IDE driver attempting to set "read ahead mode". After the command to set the feature, the IDE device status register indicates an error - the error register indicates Abort. Once the abort error is posted, the driver can no longer access the device and the boot fails. I did not attempt to fix the problem correctly, but instead took a short cut and commented out the call which sets read ahead mode. Performance appears acceptable. In boot/pc/hard.c comment out the call to hardsetbuf(). In 9/pc/devata.c comment out the call to atafeature(). My next goal is to get ethernet working so I can have the VMware machines participate in the rest of the Plan9 environment. dbul@earthlink.net From owner-9fans@cse.psu.edu Fri Dec 24 10:19:32 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id KAA24630 for 9fans-outgoing; Fri, 24 Dec 1999 10:19:32 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from plan9.cs.bell-labs.com (plan9.bell-labs.com [204.178.31.2]) by cse.psu.edu (8.8.8/8.8.8) with SMTP id KAA24626 for <9fans@cse.psu.edu>; Fri, 24 Dec 1999 10:19:26 -0500 (EST) From: jmk@plan9.bell-labs.com Message-Id: <199912241519.KAA24626@cse.psu.edu> Date: Fri, 24 Dec 1999 10:19:09 -0500 To: 9fans@cse.psu.edu Subject: Re: [9fans] plan9 on vmware MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="upas-bjghlcedeffmgwmhktwefcqagi" Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu This is a multi-part message in MIME format. --upas-bjghlcedeffmgwmhktwefcqagi Content-Disposition: inline Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit The new ATA driver which we hope to have in the coming release doesn't attempt to set read-ahead. It's also more careful about dealing with errors. --upas-bjghlcedeffmgwmhktwefcqagi Content-Type: message/rfc822 Content-Disposition: inline Received: from plan9.cs.bell-labs.com ([135.104.9.2]) by plan9; Fri Dec 24 00:23:15 EST 1999 Received: from cse.psu.edu ([130.203.3.50]) by plan9; Fri Dec 24 00:23:13 EST 1999 Received: from localhost (majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) with SMTP id AAA14875; Fri, 24 Dec 1999 00:04:17 -0500 (EST) Received: by claven.cse.psu.edu (bulk_mailer v1.5); Fri, 24 Dec 1999 00:03:37 -0500 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id AAA14830 for 9fans-outgoing; Fri, 24 Dec 1999 00:03:31 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from solace.valinor (dialup-63.210.136.96.Boston1.Level3.net [63.210.136.96]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id AAA14826 for <9fans@cse.psu.edu>; Fri, 24 Dec 1999 00:03:26 -0500 (EST) Received: from earthlink.net (valimar-ir.valinor [192.168.42.11]) by solace.valinor (8.9.3/8.8.7) with ESMTP id SAA22207 for <9fans@cse.psu.edu>; Thu, 23 Dec 1999 18:56:03 -0500 Message-ID: <3862B642.3E9A2282@earthlink.net> Date: Thu, 23 Dec 1999 18:54:42 -0500 From: David Bulkow X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: 9fans <9fans@cse.psu.edu> Subject: [9fans] plan9 on vmware Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Reply-To: 9fans@cse.psu.edu Precedence: bulk I have finally managed to boot Plan9 in a VMware configuration. The problem I ran into was the IDE driver attempting to set "read ahead mode". After the command to set the feature, the IDE device status register indicates an error - the error register indicates Abort. Once the abort error is posted, the driver can no longer access the device and the boot fails. I did not attempt to fix the problem correctly, but instead took a short cut and commented out the call which sets read ahead mode. Performance appears acceptable. In boot/pc/hard.c comment out the call to hardsetbuf(). In 9/pc/devata.c comment out the call to atafeature(). My next goal is to get ethernet working so I can have the VMware machines participate in the rest of the Plan9 environment. dbul@earthlink.net --upas-bjghlcedeffmgwmhktwefcqagi-- From owner-9fans@cse.psu.edu Sat Dec 25 05:30:02 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id FAA14736 for 9fans-outgoing; Sat, 25 Dec 1999 05:30:02 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from mlm.jobsonline.com ([216.33.105.44]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id FAA14728 for <9fans@CSE.PSU.EDU>; Sat, 25 Dec 1999 05:29:57 -0500 (EST) Message-Id: <199912251029.FAA14728@cse.psu.edu> Received: from mlm (216.33.105.44:2062) by mlm.jobsonline.com (LSMTP for Windows NT v1.1b) with SMTP id <0.000DFB56@mlm.jobsonline.com>; Fri, 24 Dec 1999 21:56:13 -0500 Date: Fri, 24 Dec 1999 21:36:54 -0500 From: WEBFORTYFIVE Subject: [9fans] Want 30 minutes of long distance at no cost..... register with JobsOnline To: 9fans@cse.psu.edu Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu JobsOnline is the Internet's leading employment and career resources site. Job Seekers can post resumes to a database that contains over 200,000 current job postings, review salary information and take a job aptitude test. JobsOnline provides these services absolutely FREE. Register now with JobsOnline and receive 30 FREE minutes of long distance!! Click here to register. www.jobsonline.com/sales/sales_web45.asp ************************* You are currently subscribed as: 9fans@CSE.PSU.EDU To unsubscribe select the link below. mailto:WEBFORTYFIVE-signoff-request@mlm.jobsonline.com?subject=signoff From owner-9fans@cse.psu.edu Sun Dec 26 00:05:42 1999 Received: (from majordom@localhost) by cse.psu.edu (8.8.8/8.8.8) id AAA04275 for 9fans-outgoing; Sun, 26 Dec 1999 00:05:42 -0500 (EST) X-Authentication-Warning: claven.cse.psu.edu: majordom set sender to owner-9fans using -f Received: from solace.valinor (dialup-63.210.140.38.Boston1.Level3.net [63.210.140.38]) by cse.psu.edu (8.8.8/8.8.8) with ESMTP id AAA04271 for <9fans@cse.psu.edu>; Sun, 26 Dec 1999 00:05:37 -0500 (EST) Received: from earthlink.net (valimar-3com.valinor [192.168.42.12]) by solace.valinor (8.9.3/8.8.7) with ESMTP id PAA28856; Sat, 25 Dec 1999 15:38:28 -0500 Message-ID: <38652AF8.992C56A9@earthlink.net> Date: Sat, 25 Dec 1999 15:37:12 -0500 From: David Bulkow X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: John Orthoefer , 9fans <9fans@cse.psu.edu> Subject: Re: [9fans] plan9 on vmware References: <3862B642.3E9A2282@earthlink.net> <3863014B.E633E1DE@gtei.net> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-9fans@cse.psu.edu Precedence: bulk Reply-To: 9fans@cse.psu.edu I don't believe this is a VMware bug. According to the draft ATAPI spec the proper response to a feature request - when the feature is not available - it is put the controller into an Abort error state. It is the driver's responsibility to dig its way out of this condition. I may dig into the code and make the error handling more robust, but I would rather wait and see what sort of SCSI support VMware cooks up. Has anybody made any headway on the ethernet support? John Orthoefer wrote: > Coolness dude! > > I tried it once it wouldn't boot. So I put it on the back burner. Did > you report the problem to the VMWare people? > > johno