kernel/fiasco/README

   1
   2 Welcome to Fiasco.OC!
   3 ----------------------
   4
   5 Fiasco is a microkernel and an be used to construct flexible systems. We at
   6 TU Dresden use it as a base for our TUD:OS system which supports running
   7 real-time and time-sharing applications as well as virtualization
   8 concurrently on one system. However, Fiasco is not only suitable for big and
   9 complex systems, but also for small, embedded applications.
  10
  11 This distribution contains the Fiasco.OC microkernel and tools to build
  12 it. User level applications are not included in this package.
  13
  14 Licensing
  15 ---------
  16
  17 Fiasco is freely redistributable under the GPL (see l4/kernel/fiasco/COPYING).
  18 For different licensing schemes please contact us at:
  19   fiasco-core@os.inf.tu-dresden.de
  20 This is a closed list, proper mails will be let through by the moderator.
  21
  22 For more details, see our webpage at: http://os.inf.tu-dresden.de/fiasco/
  23
  24 Supported architectures and ABIs
  25 --------------------------------
  26
  27   * IA32  (32-bit Intel, AMD and compatible CPUs, i486 and above)
  28   * AMD64 (64-bit Intel, AMD and compatible CPUs)
  29   * ARM   (various ARM CPUs and platforms)
  30   * UX    (Linux usermode emulation of Fiasco/L4)
  31
  32 A list of changes since the last release can be found in the CHANGES file.
  33
  34 Building the Fiasco kernel
  35 --------------------------
  36
  37 To compile Fiasco you need a recent version of gcc and a recent version of
  38 GNU binutils, GNU make and Perl version 5.6 or later.
  39
  40 Change to the directory fiasco/l4/kernel/fiasco/ and
  41 create a build directory with "make BUILDDIR=build" and change to the
  42 'build' directory. Optionally modify the default configuration using
  43 "make menuconfig". Then compile the kernel by typing "make".
  44
  45 The kernel image can then be found in fiasco/l4/kernel/fiasco/build/ as
  46 'fiasco'.
  47
  48 For further information refer to: http://os.inf.tu-dresden.de/fiasco/build.html
  49
  50 Mailing List
  51 ------------
  52
  53 For problem reports and suggestions regarding the Fiasco microkernel,
  54 please subscribe and send mail to the l4-hackers mailing list:
  55    http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers/
  56
  57 Remote SVN
  58 ----------
  59
  60 The latest development versions are available from our SVN server.
  61 The truly bleeding edge will want to check out daily snapshots from there.
  62 However, be aware that these may not always run correctly.
  63 You can also get user land programs for L4 from this SVN.
  64
  65 For information how to use SVN see:
  66 http://os.inf.tu-dresden.de/L4Re/download.html
  67
  68
  69 Enjoy!
  70
  71 The Fiasco Team