readme: add NXP iMX8X to supported platforms

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

update README

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

armv8: Improve readme

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

hake: enable library dependencies on all platforms

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

README adapt to u18.04 and general update

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Update README to reflect new tools

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

armv7: make compile on Ubuntu 14.04 (GCC 4.8.2)

* add __attribute__((noreturn)) for stuff in kernel/armv7 that calls panic().
* add missing return statement in lib/multiboot.
* Update README with needed freebsd-glue and libelf-freebsd-dev packages for
arm_boot
* cleanup format strings in arm_boot/arm_bootimage.c
* fix compileNativeC to put linker flags after source file in
hake/RuleDefs.hs

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Barrelfish: Update copyright notice in README.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

First part of cleanup of ARMv7 code; booting on GEM5 and Pandaboards

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

Removed Heterogeneous PandaBoard support

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

Added async dep for hake

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Document Haskell package dependencies for Hake

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Merge of upstream arrakis code.

This merge includes the following:
* VT-d (IOMMU) support
* VMX (Intel CPU virtualization) support
* Parallel hake build
* MegaRAID driver
* Subways fast packet forwarding application
* Identify physical address of VNodes
* libstorage (VSIC & VSA support)
* POSIX support: poll, uname, nanosleep, fsync, poll, pthread attributes, syslog, wait3, ...
* TenaciousD (persistent data structures: log & queue)
* Hack to skip boot RAM when it's too large
* Arranet: Support for raw IP sockets, interrupts
* Removal of colorful debug output
* MegaRAID blockdevfs support
* Arrakis compile wrappers for Autoconf
* Patches to binutils & GCC to build Arrakis C++ applications

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Signed-off-by: Simon Peter <simpeter@cs.washington.edu>
Signed-off-by: Oleg Godunok <ogodunok@gmail.com>
Signed-off-by: Antoine Kaufmann <antoinek@cs.washington.edu>
Signed-off-by: Jialin Li <lijl@cs.washington.edu>
Signed-off-by: Dalton Black <dalton.m.black@gmail.com>
Signed-off-by: Taesoo Kim <taesoo@uw.edu>

Squashed 'lib/newlib/' content from commit a4e9d13

git-subtree-dir: lib/newlib
git-subtree-split: a4e9d133a8a6cb9a4a5302005c974cbc6b82de42

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

added a description of the sign-off procedure

Updated README to reflect changes to toolchain and newly supported HW.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

README: add more details

Updated the README and Practical guide so that they have instructions
for PC and other architectures as well.

Tidying up techical notes

Converted the README file with rst format so that it can be easily converted
into tex source code. Also added/modified some scripts which will cleanup
the README and generated tex code so that it is easy to include it into the
practical guide tech note.

Test

update tree to use ghc7.4

Adjusted readme (removed chips in menu.lst example).

dummy commit to test hg

remove support for Beehive

see the mailing list discussion at the end of December 2011 for motivation

qemu < 0.14 does not support ahci. Update README.

Initial version of public stable barrelfish repository.