Sockeye: Refactor arguments type check
[barrelfish] / hake /
2017-07-24 Daniel SchwynSockeye: Improve import handling
2017-07-24 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-07-23 Reto AchermannK1OM: fixing patch to change the elf type for CPU driver
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2017-07-21 Daniel SchwynHake: Ddd dependency tracking for sockeye
2017-07-11 Adam TurowskiMerge branch 'bsdlibc'
2017-07-11 Adam TurowskiRemoving ssh
2017-07-11 Adam Turowskihake: removing an unknown warning option from the x86_6...
2017-07-07 Gerd ZellwegerChange the pandaboard drivers to new driver format.
2017-07-03 Gerd ZellwegerKaluga modifications to start domain.
2017-06-22 Adam Turowskiarmv7: save vfp context (at least part of it)
2017-06-22 Adam Turowskilibc: removing newlib, adding BSD libc
2017-06-22 Adam Turowskihake: fixing linking order of static libraries by group...
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-06-13 Daniel SchwynIntegrate sockeye with hake
2017-06-13 Reto Achermannskate: use architecture instead of arch family
2017-06-13 Reto AchermannMerge branch 'skate'
2017-06-02 Timothy RoscoeConverted Filet-o-Fish Literate Haskell code into a...
2017-05-15 Gerd ZellwegerAdd addModules flag to hake.
2017-05-05 Reto Achermannhake: integration of skate into the build system
2017-04-06 Moritz HoffmannRemove as it is not being used...
2017-03-16 Reto AchermannHake: adding boot/cpu driver entries to menu.lst for...
2017-03-16 Reto Achermannhake: adding menu.lst for Cavium ThunderX and APM 88xxxx
2017-03-16 Reto Achermannhake: remove menu.lst.armv8_gem5
2017-03-10 Reto AchermannARMv8: strip debug symbols from the CPU driver
2017-03-08 Reto AchermannARMv8: adding different linker scripts for boot drivers...
2017-03-01 Reto AchermannMerge branch 'master' into armv8-coreboot
2017-02-27 Adam Turowskiflounder: adding local, intra-domain backend (RPCs...
2017-02-25 Reto Achermannhake: adding menu.lst for Cavium ThunderX and APM 88xxxx
2017-02-25 Reto Achermannhake: remove menu.lst.armv8_gem5
2017-02-22 Reto AchermannARMv8: adding functions to access the cnthctl_el3 register
2017-01-25 Adam Turowskinet: adding missing dependency
2017-01-24 Adam Turowskinet: splitting contmng and netbench libraries, simplyfi...
2017-01-18 Roni Häckihake: added hint if make install is used instead of...
2017-01-16 Adam Turowskifpu context switching for x86_64: the patch by Andrei...
2016-12-23 Moritz Hoffmannhake: Re-create Doxygen target release2016-12-23
2016-12-22 Simon GerberMerge GitHub PR#3.
2016-12-20 Kosyrev Sergehake: /bin/sh portability fixes
2016-12-20 Kosyrev Sergebuild | curl: do not verify certificates for the GMP...
2016-12-20 Kosyrev /bin/sh portability fixes
2016-12-20 Kosyrev Sergehake: do not call 'echo' by absolute path
2016-12-20 Kosyrev Sergehake: now buildable with ghc8
2016-12-20 Kosyrev Sergehake: GHC.Paths.libdir can be unreliable: use 'ghc...
2016-12-20 Kosyrev use /bin/sh
2016-12-20 Moritz Hoffmannhake: Use INSTALL_PREFIX variable for install targets
2016-12-20 Moritz HoffmannRevert "hake: Introduce dist_dir, a directory where...
2016-12-20 Moritz Hoffmannhake/armv7: Force static linking of binaries
2016-12-20 Moritz Hoffmannhake: Provide legacy target `install' for scalebench
2016-12-20 Moritz Hoffmannhake: Let help-* targets depend on their header rule
2016-12-20 Moritz Hoffmannhake: Remove rule for target hake/menu.lst
2016-12-20 Moritz Hoffmannhake: Generate help, help-platforms-header and help...
2016-12-20 Moritz Hoffmannhake: Do not include
2016-12-20 Moritz Hoffmannhake: Generate clean targets from Hake
2016-12-20 Moritz Hoffmannhake: GHC output dir evaluated to /, corrected
2016-12-20 Moritz Hoffmannhake: Generate install_$PLAT targets
2016-12-20 Moritz Hoffmannhake: Prevent certain path to be reduced to an empty...
2016-12-20 Moritz Hoffmannhake: Introduce dist_dir, a directory where the install...
2016-12-20 Moritz Hoffmannhake: Install required Hake source files to install...
2016-12-20 Moritz Hoffmannhake/ Move MAKEFLAGS and ruls for...
2016-12-20 Moritz Hoffmannhake: Make bin/lib directories configurable.
2016-12-20 Moritz Hoffmannhake: symbolic_targets is in hake/ instead of root...
2016-12-20 Moritz Hoffmannsymbolic_targets: remove install_headers rule
2016-12-20 Moritz Hoffmannhake: includeFile exports install_headers target
2016-12-20 Moritz Hoffmannhake: Generate Phony targets only for allowed architectures
2016-12-20 Moritz Hoffmannhake: Avoid prepending path with ./
2016-12-20 Moritz HoffmannRevert "hake: Generate $arch_All target that compiles...
2016-12-20 Moritz Hoffmannhake: Scan . directory for Hake files
2016-12-20 Moritz Hoffmannhake: Add BFSrcTree tree type
2016-12-16 Moritz Hoffmannhake: $ARCH_All target needs to depend on targets in...
2016-12-08 Moritz Hoffmannhake: add menu.lst for armv8_a57_1
2016-12-06 Moritz Hoffmannarmv8: Default to static linking
2016-12-05 Moritz Hoffmannhake: GHC 8 compatibility
2016-11-30 Reto Achermannarmv8/hake: use of gcc/g++ instead of gcc-5/g++5
2016-11-29 Moritz Hoffmannhake: Generate $arch_All target that compiles all binar...
2016-11-21 Moritz Hoffmannkernel/logging: Change default log level to LOG_NOTE
2016-11-15 Roni HäckiMerge branch 'device-queue'
2016-11-15 Moritz HoffmannARMv8: Do not include build-id in kernel binary
2016-11-15 Moritz HoffmannX86_64: Force static linking for binaries
2016-10-18 Moritz Hoffmannmenu.lst for Pandaboard: Enable usb_manager, usb_keyboa...
2016-10-17 David CockARMv7: Use --export-dynamic in kernel link.
2016-10-13 Moritz Hoffmannhake/X86_64: add -Wno-frame-address to default flags.
2016-10-06 Reto Achermannarmv8/hake: using new command line parameter format
2016-10-06 Reto Achermannarmv8: renaming menu.lst using the a57v suffix
2016-10-06 Reto AchermannARMv8: don't define PREFER_SIZE_OVER_SPEED as compiler...
2016-09-22 Simon GerberMerge branch 'toolchain1604'.
2016-09-08 Roni HäckiDeviceQueue: Solarflare driver added
2016-09-02 David CockARMv7: Don't spawn cores on Zynq7000 - it's broken.
2016-09-02 David CockARMv7: Don't autoboot cores on big.LITTLE - it's broken...
2016-09-02 David CockARMv7: bit.LITTLE boot target
2016-09-02 David CockARMv7: FVP A15 starts in secure mode, so use the right...
2016-09-02 Roni HäckiMerge branch 'master' into device-queue
2016-09-01 David CockARMv7: A15/A17 FVPs. Don't quite work yet.
2016-09-01 David CockARMv7: Added coreboot for Zynq7000 - doesn't work yet.
2016-08-31 David CockARMv7: 4 core A15 in QEMU
2016-08-31 David CockARMv7: Single-core A15 now uses SKB
2016-08-31 David CockARMv7: Renamed SKB files to remove FVP reference.
2016-08-31 David CockARMv7: Coreboot paramaters through the SKB
2016-08-30 David CockARMv7: Boot all cores on the Pandaboard
2016-08-30 David CockMerge branch 'master' into arm_coreboot