AMIKE OS - Group 19 implementation
-----------------------------------------------------------------

To install, compile and test successfully the AMIKE  project  you
need      the      following      packages,      available     on
http://www.cs.unibo.it/~morsiani:

mipsel-linux-binutils.2.7-3.tar.gz
mipsel-linux-gcc.2.7.2-3.tar.gz
MPS.1.21.linux.i-386.mps.tar.gz

Please refer to their documentation for installation details.

To compile AMIKE just run the  make  utility  without  arguments:
this  will  create both p1test.core.mps and p2test.core.mps. Note
that the makefile needs mipsel-linux-gcc and  mipsel-linux-ld  to
be  in  the path. If they aren't you need to modify the CC and LD
variables inside it before compiling.

The other available makefile targets are:

  - p1test.core.mps
  - p2test.core.mps
                create the corresponding file

  - clean       removes useless files from the directories

  - dist        creates the distribution archive. It will perform
                a make clean before.

  - debug       compiles the modules with debug output.  It  will
                appear on terminal 1.

  - dep         creates the dependances inside the makefile.  You
                need to do this each time you change the  include
                files used in the modules.

After the compilation, you can test the kernel with  the  command
"mps  p2test.core.mps"  (or  "mps  p1test.core.mps"  to  test the
phase1 part).

You can find the documentation about  the  different  modules  in
HTML format in the docs/ directory.