hake: Makefile depends on hakefiles again

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

flounder: Type generation correct dependencies

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

flounder: generate if type header file correctly

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

hake: Generate PL database with driverdomain/modules

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

hake: Two pass to minimize memory consumption

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

hake: Ensure correct symbols get linked

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

hake: Make proper use of lib dependencies

Library dependencies are not put anymore into archive file, but
assembled when the application is linked.

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

hake: correct lib dependencies on linking

Calculate a graph of library dependencies and use this for linking all
archives into the final application.

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

hake: Main.hs: properly concatenate paths in makeFlounderTypesArch.

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

flounder: generate endpoint type header for multiple architectures

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

flounder: if type header generation bugfix

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

flounder: fixed bug in endpoint type header file generation

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

flounder: generate endpoint type header file

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

hake: adapt to the GHC 8.0 changes in interface

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

hake: adapt to the GHC 8.0 changes in interface

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

hake: now buildable with ghc8

Signed-off-by: Kosyrev Serge <skosyrev@ptsecurity.com>

hake: GHC.Paths.libdir can be unreliable: use 'ghc --print-libdir' instead

Signed-off-by: Kosyrev Serge <skosyrev@ptsecurity.com>

hake: Use INSTALL_PREFIX variable for install targets

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

hake: Do not include symbolic_targets.mk

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

hake: Prevent certain path to be reduced to an empty string

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

hake/symbolic_targets.mk: Move MAKEFLAGS and ruls for .c to Main.hs


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

hake: symbolic_targets is in hake/ instead of root install dir

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

hake: Generate Phony targets only for allowed architectures

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

hake: Avoid prepending path with ./

The relPath function unconditionally prepended ./ to path with tree root
being `.'. Special-case this by not prepending the tree root if it is `.'.

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

Revert "hake: Generate $arch_All target that compiles all binaries for an arch"

This partially reverts commit 92011b45a889dbb6f5cff2abff659a604914bea7.

# Conflicts:
# hake/RuleDefs.hs

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

hake: Scan . directory for Hake files

Haskell matches ('.':xs) with xs being the empty list, which caused the
directory scan to not scan source directory `.'. This change explicitly
treats ('.':[]) as a valid (non-ignored) directory.

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

hake: Add BFSrcTree tree type

This tree type resolves to the source tree for Barrelfish tree builds and
to the install tree for out-of-tree builds.

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

hake: GHC 8 compatibility

GHC removed Opt_DeriveDataTypeable and Opt_StandaloneDeriving from DynFlags.
This patch does not require the two extension flags anymore and specifies them
as an in-file flag in TreeDB where required. It does not change the behavior on GHC 7.

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

hake: Generate $arch_All target that compiles all binaries for an arch

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

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

hake: Remove 'abs' special tree and replace it by 'cache'

'abs' would allow arbitrary access to the file system while 'cache'
restricts it to a defined cache directory.

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

hake: Add rules to get external dependencies.

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

hake: Remove unused definitions in Makefile.

This commit removes the definition of INSTALLDIR, ABSINSTALLDIR, ABSSRCDIR
and ABSBUILDDIR from the generated Makefile because it is not used anywhere.
It was introduced with commit c458e8147b4836a0262a48da5d49dfcdff7cb77a.

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

hake: Add Abs RuleToken to refer to resources using their absolute path.

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

hake: Define INSTALLDIR, ABSINSTALLDIR, ABSSRCDIR, ABSBUILDDIR in Makefile

These definitions are required to set CFLAGS for nested autoconf-based builds.

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

T211: Update hake to work under GHC 7.10

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

hake: Remove unicode characters (ä -> ae) in header.

hake: Do not descend into dot-directories (.*)

Don't ignore source roots that are just "." or ".."

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

Quieted make a little.

make help now only produces 600kB of spew, rather than >1MB, and runs 30%
faster.

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

Don't run hake twice for 'make rehake'

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

More reasonable error output from Hake

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

Better description of hake phases

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

Cleanup

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

Cleanup

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

Generate source-tree relative filenames straight away

Replaced allfiles list with a Trie

Roughly 2x speedup

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

Wasn't outputting Target tokens

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

Switched from hake.Path to System.FilePath

The library functions are much faster.

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

Cleanup

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

Walk directories in parallel (async)

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

Use a set for arch comparison, 9.0s

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

Sped up path manipulation, down to 9.2s

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

Down to 12s, targets build

Replaced old hake

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

Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.

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>

Make hake and mackerel compile with ghc 7.6.

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

Cleanup

Support for GHC 7.6.X in Mackerel and Hake.

Patch taken from wiki.barrelfish.org and rebased against current HEAD.

The Arrakis backport to Barrelfish.

Here are the macro changes:
* Made lwIP an optional network stack
* Moved lwIP headers out of the general include directory
* Parallel hake
* CPU-virtualized ("arrakis") applications
* libarrakis is a new libOS that uses CPU features directly
* arrakismon is a new monitor for Arrakis apps
* QEMU Multiboot support instead of GRUB (enables KVM)
* e10k virtual function driver
* Software virtual->physical mapping (substitutes IOMMU)
* To be replaced soon with an Intel IOMMU driver
* Better GDB and stack tracing support
* New POSIX support
* pthreads, inet_*(), usleep(), syslimits.h, sigaction(), mman.h,
* resource.h, sendmsg(), recvmsg(), mkfifo(), syslog.h, sysexits.h,
* fcntl(), getegid(), getgid(), pipe(), rlimits
* epoll support
* Separate waitset for interrupts
* Thread TLS key and ID support
* Moved PCRE headers to include/, where they usually are
* Intel performance counters support
* Handle boot-time RAM overflow (for machines with >=64GB RAM)
* Arranet network stack
* Fix for build of lib/barrelfish/arch/x86_64/dispatch.c without -O2
* New comandline options to pci daemon:
* maxvfs=x, x is number of virtual functions to create for each
* device supporting it
* skb_bridge_program=x, x is SKB bridge programming script to use
* bridge_bios is a script that uses the BIOS pre-set values, like Linux
* Correctly build machine-optimized newlib parts
* Library versions of e1000 and e10k drivers
* Support for virtualization in e10k driver
* e10k datacenter control plane daemon
* Modified hellotest to be both a Barrelfish and an Arrakis application

I've decided not to include the lwIP 1.4.1 code, as the port is
not finished and who wants to use lwIP anyway with the Arrakis
network stack and mTCP being released soon. If you want this,
let me know (it's hugely superior to lwIP 1.3.1).

I've made the code backwards-compatible with Barrelfish. The
default should do what Barrelfish does. One can specify
commandline options to the PCI daemon and e10k driver to
configure I/O virtualization and the optional arrakismon allows
loading CPU-virtualized "arrakis" programs.

There are more pending changes, such as support for hardware
rate limiting and weighted round robin packet scheduling, but
I'd like these to go in first, before I push the rest.

Do proper filtering of unneeded files in Hake. This avoids running into stack overflow: use +RTS -K<size> to increase it when having a build directory inside your tree.

hake: make hake work with ghc 7.4.2

update tree to use ghc7.4

Rebuilt Hakefile for kernel to allow multiple CPU drivers

--HG--
rename : kernel/arch/arm_gem5/boot.S => kernel/arch/omap44xx/boot.S
rename : kernel/arch/arm_gem5/exceptions.S => kernel/arch/omap44xx/exceptions.S
rename : kernel/arch/arm_gem5/exn.c => kernel/arch/omap44xx/exn.c
rename : kernel/arch/arm_gem5/init.c => kernel/arch/omap44xx/init.c
rename : kernel/arch/arm_gem5/integrator.c => kernel/arch/omap44xx/integrator.c
rename : kernel/arch/arm_gem5/kludges.c => kernel/arch/omap44xx/kludges.c
rename : kernel/arch/arm_gem5/kputchar.c => kernel/arch/omap44xx/kputchar.c
rename : kernel/arch/arm_gem5/linker.lds.in => kernel/arch/omap44xx/linker.lds.in
rename : kernel/arch/arm_gem5/multiboot.c => kernel/arch/omap44xx/multiboot.c
rename : kernel/arch/arm_gem5/omap.c => kernel/arch/omap44xx/omap.c
rename : kernel/arch/arm_gem5/omap_uart.c => kernel/arch/omap44xx/omap_uart.c
rename : kernel/arch/arm_gem5/paging.c => kernel/arch/omap44xx/paging.c
rename : kernel/arch/arm_gem5/pl011_uart.c => kernel/arch/omap44xx/pl011_uart.c
rename : kernel/arch/arm_gem5/start_aps.c => kernel/arch/omap44xx/start_aps.c
rename : kernel/arch/arm_gem5/startup_arch.c => kernel/arch/omap44xx/startup_arch.c
rename : kernel/arch/arm_gem5/syscall.c => kernel/arch/omap44xx/syscall.c

*.hs: update imports to be compatible with ghc 7.4

Fix typo in hake usage string.

fixed an inlining bug of arm-gcc 4.6.1 and lower

renamed architecture from 'gem5' to 'arm_gem5'

--HG--
rename : hake/Gem5.hs => hake/ArmGem5.hs
rename : hake/menu.lst.gem5 => hake/menu.lst.arm_gem5
rename : if/arch/gem5.if => if/arch/arm_gem5.if
rename : if/platform/gem5.if => if/platform/arm_gem5.if
rename : kernel/arch/gem5/boot.S => kernel/arch/arm_gem5/boot.S
rename : kernel/arch/gem5/exceptions.S => kernel/arch/arm_gem5/exceptions.S
rename : kernel/arch/gem5/init.c => kernel/arch/arm_gem5/init.c
rename : kernel/arch/gem5/integrator.c => kernel/arch/arm_gem5/integrator.c
rename : kernel/arch/gem5/linker.lds.in => kernel/arch/arm_gem5/linker.lds.in
rename : kernel/arch/gem5/paging.c => kernel/arch/arm_gem5/paging.c
rename : kernel/arch/gem5/pl011_uart.c => kernel/arch/arm_gem5/pl011_uart.c
rename : kernel/arch/gem5/startup_arch.c => kernel/arch/arm_gem5/startup_arch.c
rename : kernel/include/arch/gem5/arch_gdb_stub.h => kernel/include/arch/arm_gem5/arch_gdb_stub.h
rename : kernel/include/arch/gem5/arm.h => kernel/include/arch/arm_gem5/arm.h
rename : kernel/include/arch/gem5/arm_hal.h => kernel/include/arch/arm_gem5/arm_hal.h
rename : kernel/include/arch/gem5/conio.h => kernel/include/arch/arm_gem5/conio.h
rename : kernel/include/arch/gem5/cp15.h => kernel/include/arch/arm_gem5/cp15.h
rename : kernel/include/arch/gem5/exceptions.h => kernel/include/arch/arm_gem5/exceptions.h
rename : kernel/include/arch/gem5/init.h => kernel/include/arch/arm_gem5/init.h
rename : kernel/include/arch/gem5/irq.h => kernel/include/arch/arm_gem5/irq.h
rename : kernel/include/arch/gem5/ixp2800_uart.h => kernel/include/arch/arm_gem5/ixp2800_uart.h
rename : kernel/include/arch/gem5/kputchar.h => kernel/include/arch/arm_gem5/kputchar.h
rename : kernel/include/arch/gem5/misc.h => kernel/include/arch/arm_gem5/misc.h
rename : kernel/include/arch/gem5/offsets.h => kernel/include/arch/arm_gem5/offsets.h
rename : kernel/include/arch/gem5/paging_kernel_arch.h => kernel/include/arch/arm_gem5/paging_kernel_arch.h
rename : kernel/include/arch/gem5/phys_mmap.h => kernel/include/arch/arm_gem5/phys_mmap.h
rename : kernel/include/arch/gem5/pl011_uart.h => kernel/include/arch/arm_gem5/pl011_uart.h
rename : tools/gem5/CacheConfig.py => tools/arm_gem5/CacheConfig.py
rename : tools/gem5/Caches.py => tools/arm_gem5/Caches.py
rename : tools/gem5/O3_ARM_v7a.py => tools/arm_gem5/O3_ARM_v7a.py
rename : tools/gem5/README => tools/arm_gem5/README
rename : tools/gem5/RealView.py => tools/arm_gem5/RealView.py
rename : tools/gem5/RealView.py.patch => tools/arm_gem5/RealView.py.patch
rename : tools/gem5/arm-core.xml => tools/arm_gem5/arm-core.xml
rename : tools/gem5/arm-vfpv3.xml => tools/arm_gem5/arm-vfpv3.xml
rename : tools/gem5/arm-with-neon.xml => tools/arm_gem5/arm-with-neon.xml
rename : tools/gem5/boot.arm => tools/arm_gem5/boot.arm
rename : tools/gem5/debug.gem5.gdb => tools/arm_gem5/debug.gem5.gdb
rename : tools/gem5/gem5script.py => tools/arm_gem5/gem5script.py
rename : tools/gem5/system.cc.patch => tools/arm_gem5/system.cc.patch

reverted local Main.hs ghc7 patch

Test1

Backed out changeset ea319a39a08a

initial commit to barrelfish.net for the new graph based network stack

Reverted GHC 7 patch.

- some more changes to get it built

Added benchmark to measure arrival rate on server.

Final configuration for benchmarking get/set API on server.

Some initial prolog programs for MA

Initial version of public stable barrelfish repository.