From mboxrd@z Thu Jan 1 00:00:00 1970 To: 9fans@9fans.net Date: Thu, 15 Sep 2011 10:19:40 +0000 From: Christian Neukirchen Message-ID: <87zki7129l.fsf@gmail.com> Content-Type: text/plain; charset=us-ascii References: Subject: Re: [9fans] NIX 64-bit kernel is available Topicbox-Message-UUID: 209684f8-ead7-11e9-9d60-3106f5b1d025 rminnich@gmail.com (ron minnich) writes: > You'll need a 9vx setup to start. > Checkout the tree, and run 9vx with the tree as your root. You'll find a file > called BUILDING_AMD64 with further instructions in the root. Just for the record, one needs the 9vx from https://bitbucket.org/rminnich/vx32 The binaries from http://swtch.com/9vx/ don't work. And that file BUILDING_AMD64 I couldn't find anywhere. -- Christian Neukirchen http://chneukirchen.org