#
3c85e274 |
|
20-Aug-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
hake: remove x86_32 architecture Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
#
4beacca3 |
|
07-May-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
hake: adding flags to just run hake, without initial dependencies Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
#
9bd8d1d5 |
|
03-Apr-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
#
d9836fb3 |
|
02-Apr-2019 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
hake: Ensure correct symbols get linked Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
#
2aca3b0c |
|
20-Dec-2016 |
Kosyrev Serge <skosyrev@ptsecurity.com> |
hake.sh: /bin/sh portability fixes Signed-off-by: Kosyrev Serge <skosyrev@ptsecurity.com>
|
#
1e48dbd8 |
|
20-Dec-2016 |
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>
|
#
8056b7ab |
|
20-Dec-2016 |
Kosyrev Serge <skosyrev@ptsecurity.com> |
hake.sh: use /bin/sh Signed-off-by: Kosyrev Serge <skosyrev@ptsecurity.com>
|
#
f8a59627 |
|
20-Dec-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
Revert "hake: Introduce dist_dir, a directory where the install_$PLAT targets install to" This reverts commit fe550a1a195d6abc5ea5cb0786291f4639ea55a3. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
1e47e1fe |
|
20-Dec-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
hake: Do not include symbolic_targets.mk Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
fe550a1a |
|
19-Dec-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
hake: Introduce dist_dir, a directory where the install_$PLAT targets install to This might change again as we do not yet have a clear notion of how to install an install tree. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
04aa45bf |
|
19-Dec-2016 |
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>
|
#
9c00053e |
|
20-Jul-2016 |
Moritz Hoffmann <moritz.hoffmann@hpe.com> |
Finish merge with current master. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
|
#
96d27a40 |
|
30-May-2016 |
Timothy Roscoe <troscoe@inf.ethz.ch> |
Refactored ARMv7-A code. Cleaner startup process. Cleaner cross-platform portability (platform.h). Removed ARMv5. Removed ARMv7-m Removed XScale Changed kernel device paging interface and fixed bugs. Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>
|
#
69b41b96 |
|
18-Apr-2016 |
Simon Gerber <simon.gerber@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>
|
#
4314b62f |
|
27-Feb-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
hake: Show --cachedir option in help. Add --help argument. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
147943af |
|
27-Feb-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
hake: Change default cache dir to $HOME/.cache/barrelfish. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
27190094 |
|
26-Feb-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
hake: Add rules to get external dependencies. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
146e4e08 |
|
16-Nov-2015 |
David Cock <david.cock@inf.ethz.ch> |
Clean merge of HP's ARMv8 code This adds support for an ARMv8 core running in the GEM5 simulator Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
6b8f0395 |
|
09-Sep-2015 |
Stefan Kaestle <stefan.kaestle@inf.ethz.ch> |
hake: fix source directory without tailing / Signed-off-by: Stefan Kaestle <stefan.kaestle@inf.ethz.ch>
|
#
b82374e6 |
|
31-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Consolidated toolchain selection Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
fdacf58b |
|
31-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Updated hake build rules Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
f2806ab7 |
|
28-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Removed ARM11MP - unsupported and non-functional. Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
d74b7692 |
|
28-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Update -j N guidance Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
64da66f9 |
|
28-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Make hake.sh parallelism configurable (-j N) Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
25c86757 |
|
24-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Set RTSOPTS on build Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
ac231409 |
|
21-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Cleanup Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
8c286e59 |
|
18-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Replaced old hake Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
569fbf8d |
|
12-Aug-2015 |
David Cock <david.cock@inf.ethz.ch> |
Toolchain selection when bootstrapping builds Includes build definitions for a variety of ARM tools, both from gcc-arm-embedded, and linaro. Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
808501ea |
|
03-Jul-2015 |
Timothy Roscoe <troscoe@inf.ethz.ch> |
Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.
|
#
2011d77c |
|
29-Apr-2015 |
Timothy Roscoe <troscoe@inf.ethz.ch> |
Modularize symbolic targets a bit
|
#
de906f69 |
|
28-Feb-2014 |
Simon Peter <simpeter@cs.washington.edu> |
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.
|
#
2428f547 |
|
25-Jun-2013 |
Raphael Fuchs <fuchs.raphael@gmail.com> |
hake: Increase the stack size of the Haskell Runtime System from 8MB (default) to 32MB. This patch fixes the following error. stack overflow: use +RTS -K<size> to increase it
|
#
b244774e |
|
05-Nov-2012 |
Kornilios Kourtis <kkourt@inf.ethz.ch> |
hake: add -rtsopts=all flag to ghc We need this because we specify GHCRTS='-c' in our tests
|
#
4f70eb49 |
|
07-Sep-2011 |
Kornilios Kourtis <kkourt@inf.ethz.ch> |
hake.sh: add missing space in bash test
|
#
a63e9b2f |
|
08-Aug-2011 |
Mothy <troscoe@inf.ethz.ch> |
Fixed bug in the Glossary Haskell source (don't close stdout!). Added missing dependencies in Flounder interfaces in the distributed memory sever. Fixed some make rehake bugs in symbolic_targets.mk.
|
#
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|