vx32

Local 9vx git repository for patches.
git clone git://r-36.net/vx32
Log | Files | Refs

ADVENTURE (2746B)


      1 Welcome to vx32.
      2 
      3 > look
      4 
      5 You are near the bottom of a tree.
      6 
      7 > look doc
      8 
      9 You see PDFs of the two published papers about vx32.
     10 
     11 > look src
     12 
     13 You see the source code behind the papers.
     14 
     15 > examine src
     16 
     17 Upon closer examination, the src/ directory contains the following
     18 subdirectories:
     19 
     20 	libvx32/	the vx32 virtual machine itself
     21 
     22 	vxrun/	a simple portable execution environment
     23 	libvxc/	an optional C library for use in vxrun apps
     24 	
     25 	vxlinux/	a simple delegation-based system jail for Linux
     26 
     27 	hash/	hash function benchmarks (Alpaca results in vx32 paper)
     28 	micro/	micro benchmarks (in vx32 paper)
     29 	vxa/		compression benchmarks (VXA results in vx32 paper)
     30 	
     31 	9vx/		Plan 9 VX
     32 
     33 > build src
     34 
     35 Okay: cd src; make.
     36 On BSD machines you may need to say gmake instead.
     37 
     38 > install src
     39 
     40 Okay: cd src; make; make install
     41 
     42 > more
     43 
     44 If you want to try the benchmarks on your own machines,
     45 you can run "run.sh" in any of the benchmark directories
     46 and then inspect results.txt
     47 
     48 > show license
     49 
     50 The individual subdirectories contain LICENSE files explaining
     51 the copyrights and licenses.  
     52 
     53 The vx32 core, found in src/libvx32/, is licensed under the LGPL v2.1;
     54 see src/libvx32/LICENSE for details.
     55 
     56 The sample programs, found in src/vxrun/ and src/vxlinux/, are made
     57 available under the traditional MIT license to encourage use as jumping-off
     58 points for new programs.  See src/vxrun/LICENSE and src/vxlinux/LICENSE.
     59 
     60 The C library, which is found in src/libvxc and is absolutely not required
     61 in order to use vx32, is mostly taken from FreeBSD and Sun Microsystems
     62 code, both of which use BSD-like licenses.  See the copyright notices in the
     63 individual files.  Files without copyright notices were written by us and
     64 are licensed under an MIT license.
     65 
     66 The benchmarks in hash/ and vxa/ are mostly code written by others.
     67 See the copyright notices in individual files.  The benchmarks in micro/
     68 are too short to worry about.
     69 
     70 The Plan 9 VX user-level operating system, found in src/9vx/, is
     71 derived from Plan 9 from Bell Labs and is made available under the
     72 terms of the Lucent Public License.  See src/9vx/LICENSE.
     73 
     74 > get vx32-gcc
     75 
     76 You probably don't need to do that.
     77 
     78 > get vx32-gcc
     79 
     80 Okay, if you insist.  You can download vx32-specific versions
     81 of binutils and gcc from http://pdos.csail.mit.edu/~baford/vm/
     82 and then extract them in this directory.  Then you can run
     83 
     84 	cd binutils-2.18-vx32
     85 	./configure --target=vx32
     86 	make
     87 	make install
     88 	
     89 	cd gcc-4.1.2-vx32
     90 	./configure --enable-languages=c --disable-libssp --target=vx32
     91 	make
     92 	make install
     93 	make distclean
     94 
     95 But again, you probably don't need to do that.
     96 If you are on a 32-bit ELF machine, your host gcc is likely fine.
     97 
     98 > who
     99 
    100 Russ Cox <rsc@swtch.com>
    101 Bryan Ford <baford@pdos.csail.mit.edu>
    102 
    103 > date
    104 
    105 June 27, 2008
    106