ADVENTURE - vx32 - Local 9vx git repository for patches.
 (HTM) git clone git://r-36.net/vx32
 (DIR) Log
 (DIR) Files
 (DIR) 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