barrelfish
4 years agoDeviceQueue: moved networking related flags to include/net_interfaces/flags.h
Roni Häcki [Thu, 26 Jan 2017 13:42:35 +0000]
DeviceQueue: moved networking related flags to include/net_interfaces/flags.h

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

4 years agopci_client: do not set up interrupt routing when pci_register_driver_noirq is called
Roni Häcki [Wed, 25 Jan 2017 13:01:23 +0000]
pci_client: do not set up interrupt routing when pci_register_driver_noirq is called

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

4 years agoskb: adding e10k to device db
Roni Häcki [Wed, 25 Jan 2017 12:37:48 +0000]
skb: adding e10k to device db

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

4 years agonet: adding another missing dependency
Adam Turowski [Wed, 25 Jan 2017 10:30:56 +0000]
net: adding another missing dependency

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonet: adding missing dependency
Adam Turowski [Wed, 25 Jan 2017 07:36:15 +0000]
net: adding missing dependency

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonet: splitting contmng and netbench libraries, simplyfing dependencies
Adam Turowski [Tue, 24 Jan 2017 14:20:25 +0000]
net: splitting contmng and netbench libraries, simplyfing dependencies

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoDeviceQueue: solarflare: alloc slot on cap receive
Roni Häcki [Fri, 20 Jan 2017 13:43:05 +0000]
DeviceQueue: solarflare: alloc slot on cap receive

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

4 years agoint_route: simplifying some memory allocations
Adam Turowski [Fri, 20 Jan 2017 11:57:05 +0000]
int_route: simplifying some memory allocations

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agokaluga: adding missing LFs to printfs
Adam Turowski [Fri, 20 Jan 2017 09:12:32 +0000]
kaluga: adding missing LFs to printfs

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoharness: ahci: adapted numbers for babybel3 and tolerate one value that is out of...
Roni Häcki [Fri, 20 Jan 2017 08:42:04 +0000]
harness: ahci: adapted numbers for babybel3 and tolerate one value that is out of expected range

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

4 years agonetd: moving to a library
Adam Turowski [Mon, 16 Jan 2017 08:08:18 +0000]
netd: moving to a library

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agohake: added hint if make install is used instead of make install_X86_64_Basic
Roni Häcki [Wed, 18 Jan 2017 16:26:17 +0000]
hake: added hint if make install is used instead of make install_X86_64_Basic

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

4 years agoAHCI test updated performance numbers
Roni Häcki [Wed, 18 Jan 2017 14:34:57 +0000]
AHCI test updated performance numbers

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

4 years agoDeviceQueue: towards MSIX support for solarflare card
Roni Häcki [Tue, 17 Jan 2017 16:17:19 +0000]
DeviceQueue: towards MSIX support for solarflare card

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

4 years agoharness: pandaboard: cleanup compiler-rt tests
Simon Gerber [Fri, 13 Jan 2017 13:51:43 +0000]
harness: pandaboard: cleanup compiler-rt tests

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

4 years agoSolarflare driver some cleanup
Roni Häcki [Tue, 17 Jan 2017 07:27:31 +0000]
Solarflare driver some cleanup

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

4 years agoDeviceQueue: changed tests
Roni Häcki [Mon, 16 Jan 2017 16:07:59 +0000]
DeviceQueue: changed tests

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

4 years agoDeviceQueue: small changes to solarflare backend
Roni Häcki [Mon, 16 Jan 2017 16:06:38 +0000]
DeviceQueue: small changes to solarflare backend

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

4 years agoAHCI test make sure all monitors are up
Roni Häcki [Mon, 16 Jan 2017 11:44:51 +0000]
AHCI test make sure all monitors are up

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

4 years agolrpc_fpu,harness: adding a test
Adam Turowski [Mon, 16 Jan 2017 10:08:49 +0000]
lrpc_fpu,harness: adding a test

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agofpu context switching for x86_64: the patch by Andrei Poenaru, 2017.01.14 14:24
Adam Turowski [Mon, 16 Jan 2017 08:53:19 +0000]
fpu context switching for x86_64: the patch by Andrei Poenaru, 2017.01.14 14:24
Dear all,
While working on context switching I found a bug regarding the FPU context switching on the LRPC path: no FPU switching is performed on that path.
When 2 domains (using the FPU) communicate via LRPC the data stored in the registers is not correctly preserved. I was able to derive a test starting from 'lrpc_bench'.
In order to fix the issue, I implemented in assembly, on the LRPC path, the same logic as in 'fpu_lazy_top' (function called during a context switch on the normal kernel path).

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoAHCI test increased performance passing percentage
Roni Häcki [Mon, 16 Jan 2017 08:55:11 +0000]
AHCI test increased performance passing percentage

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

4 years agoAdded test for queue interface
Roni Häcki [Fri, 13 Jan 2017 16:14:54 +0000]
Added test for queue interface

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

4 years agoahci: device queue implemented
Roni Häcki [Fri, 13 Jan 2017 11:33:31 +0000]
ahci: device queue implemented

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

4 years agoDeviceQueue: bugfix when keeping track ob buffers
Roni Häcki [Fri, 13 Jan 2017 10:43:01 +0000]
DeviceQueue: bugfix when keeping track ob buffers

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

4 years agokaluga: assertion fixed
Roni Häcki [Wed, 11 Jan 2017 16:48:27 +0000]
kaluga: assertion fixed

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

4 years agomultihop,flounder: reverting a change
Adam Turowski [Thu, 5 Jan 2017 10:47:21 +0000]
multihop,flounder: reverting a change

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agotests: fixing ump tests (2)
Adam Turowski [Wed, 4 Jan 2017 11:30:17 +0000]
tests: fixing ump tests (2)

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agotests: fixing ump tests
Adam Turowski [Wed, 4 Jan 2017 09:21:49 +0000]
tests: fixing ump tests

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoharness: removing a message size limit in a multithread waitset test
Adam Turowski [Wed, 4 Jan 2017 09:14:38 +0000]
harness: removing a message size limit in a multithread waitset test

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoump,flounder: moving a flow control from a flounder level to a ump level
Adam Turowski [Tue, 3 Jan 2017 12:23:07 +0000]
ump,flounder: moving a flow control from a flounder level to a ump level

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agodoc/hake: Update doc to reflect recent changes
Moritz Hoffmann [Tue, 3 Jan 2017 12:45:59 +0000]
doc/hake: Update doc to reflect recent changes

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

4 years agodoc/mackerel: Update doc to describe registerwise address space
Moritz Hoffmann [Tue, 3 Jan 2017 12:45:30 +0000]
doc/mackerel: Update doc to describe registerwise address space

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

4 years agowaitset: fixing a clearing of a chanstate trigger
Adam Turowski [Thu, 29 Dec 2016 13:05:22 +0000]
waitset: fixing a clearing of a chanstate trigger

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoflounder,waitsets: adding chanstate dependency in order to wait for a specific chanst...
Adam Turowski [Wed, 21 Dec 2016 09:46:29 +0000]
flounder,waitsets: adding chanstate dependency in order to wait for a specific chanstate with minimal side effects

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoIRQ: Bugfix for gruyere timer test
Lukas Humbel [Fri, 23 Dec 2016 16:23:08 +0000]
IRQ: Bugfix for gruyere timer test

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

4 years agoflounder: removing an unnecessary free from Multihop
Adam Turowski [Fri, 23 Dec 2016 13:07:39 +0000]
flounder: removing an unnecessary free from Multihop

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agohake: Re-create Doxygen target release2016-12-23
Moritz Hoffmann [Fri, 23 Dec 2016 11:16:49 +0000]
hake: Re-create Doxygen target

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

4 years agokernel/plat_apm88xxxx: Correct gic_cpu_interface_enable function signature
Moritz Hoffmann [Fri, 23 Dec 2016 10:22:51 +0000]
kernel/plat_apm88xxxx: Correct gic_cpu_interface_enable function signature

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

4 years agotools/run-pdflatex.sh, docs: Allow Latex files to use the \include command
Moritz Hoffmann [Thu, 22 Dec 2016 12:50:58 +0000]
tools/run-pdflatex.sh, docs: Allow Latex files to use the \include command

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

4 years agoharness: armv8 efi machine: fix boot module list extraction
Simon Gerber [Thu, 22 Dec 2016 21:58:18 +0000]
harness: armv8 efi machine: fix boot module list extraction

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

4 years agoMerge GitHub PR#3.
Simon Gerber [Thu, 22 Dec 2016 21:48:53 +0000]
Merge GitHub PR#3.

* Build environment and build fixes for NixOS
* can build working build environment through nix package manager
  (cf.  https://nixos.org/nix/about.html)

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

4 years agoharness: Remove old pandaboard buildall harness test
Simon Gerber [Tue, 20 Dec 2016 12:51:40 +0000]
harness: Remove old pandaboard buildall harness test

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

4 years agolibbarrelfish: memobj_anon: fix vregion slab refilling
Simon Gerber [Fri, 16 Dec 2016 07:37:18 +0000]
libbarrelfish: memobj_anon: fix vregion slab refilling

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

4 years agonix | testing: add pythonPackages.pyexpect
Kosyrev Serge [Wed, 21 Dec 2016 12:37:02 +0000]
nix | testing:  add pythonPackages.pyexpect

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

4 years agolinenoise,fish: failsafe if a terminal width detection goes wrong that could lead...
Adam Turowski [Wed, 21 Dec 2016 11:05:05 +0000]
linenoise,fish: failsafe if a terminal width detection goes wrong that could lead to a crash

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoidctest: increasing a waiting time
Adam Turowski [Wed, 21 Dec 2016 10:14:19 +0000]
idctest: increasing a waiting time

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoAHCI always failing assertion removed
Roni Häcki [Wed, 21 Dec 2016 09:17:01 +0000]
AHCI always failing assertion removed

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

4 years agohake: /bin/sh portability fixes
Kosyrev Serge [Tue, 20 Dec 2016 19:45:58 +0000]
hake:  /bin/sh portability fixes

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

4 years agobuild | curl: do not verify certificates for the GMP download
Kosyrev Serge [Tue, 4 Oct 2016 12:30:40 +0000]
build | curl:  do not verify certificates for the GMP download

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

4 years agonix: add cpio, qemu and gdb, to finalize the environment-independence
Kosyrev Serge [Tue, 20 Dec 2016 19:46:55 +0000]
nix:  add cpio, qemu and gdb, to finalize the environment-independence

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

4 years agohake.sh: /bin/sh portability fixes
Kosyrev Serge [Tue, 20 Dec 2016 19:47:03 +0000]
hake.sh:  /bin/sh portability fixes

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

4 years agoqemu-wrapper: use a portable signal specification for trap
Kosyrev Serge [Tue, 20 Dec 2016 19:47:11 +0000]
qemu-wrapper:  use a portable signal specification for trap

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

4 years agoqemu-wrapper: /bin/sh fixes
Kosyrev Serge [Tue, 20 Dec 2016 19:47:18 +0000]
qemu-wrapper:  /bin/sh fixes

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

4 years agodebug.sh: switch to /bin/sh
Kosyrev Serge [Tue, 20 Dec 2016 19:47:36 +0000]
debug.sh:  switch to /bin/sh

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

4 years agohake: do not call 'echo' by absolute path
Kosyrev Serge [Tue, 20 Dec 2016 19:47:43 +0000]
hake:  do not call 'echo' by absolute path

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

4 years agoqemu-wrapper.sh: switch to /bin/sh
Kosyrev Serge [Tue, 20 Dec 2016 19:47:49 +0000]
qemu-wrapper.sh:  switch to /bin/sh

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

4 years agogmp: avoid using absolute paths except /bin/sh
Kosyrev Serge [Tue, 20 Dec 2016 19:47:55 +0000]
gmp:  avoid using absolute paths except /bin/sh

Fixes build on NixOS

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

4 years agoelver: provide __stack_chk_fail (fixes build)
Kosyrev Serge [Tue, 20 Dec 2016 19:48:03 +0000]
elver:  provide __stack_chk_fail (fixes build)

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

4 years agokernel: provide __stack_chk_fail (fixes build)
Kosyrev Serge [Tue, 20 Dec 2016 19:48:10 +0000]
kernel:  provide __stack_chk_fail (fixes build)

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

4 years agonewlib | barrelfish: provide __stack_chk_fail (fixes build)
Kosyrev Serge [Tue, 20 Dec 2016 19:48:16 +0000]
newlib | barrelfish:  provide __stack_chk_fail (fixes build)

gcc -g -O2 ./x86_64/lib/crt0.o ./x86_64/lib/crtbegin.o -fno-builtin -nostdlib -Wl,-z,max-page-size=0x1000 -Wl,--build-id=none -m64 -o ./x86_64/sbin/NGD_mng.full ./x86_64/usr/device_managers/n
et_gen_dev/_for_app_NGD_mng/NGD_mng.o ./x86_64/lib/libcontmng.a ./x86_64/lib/libnet_device_manager.a ./x86_64/lib/libtrace.a ./x86_64/lib/libbarrelfish.a ./x86_64/lib/libterm_client.a ./x86_6
4/lib/liboctopus_parser.a ./x86_64/errors/errno.o ./x86_64/lib/libnewlib.a ./x86_64/lib/libcompiler-rt.a ./x86_64/lib/crtend.o ./x86_64/lib/libcollections.a
./x86_64/lib/net_device_manager/_for_lib_net_device_manager/soft_filt_cl_impl.o: In function `connect_soft_filters_service':
/home/deepfire/src2/barrelfish/build/..//lib/net_device_manager/soft_filt_cl_impl.c:216: undefined reference to `__stack_chk_fail'
./x86_64/lib/net_device_manager/_for_lib_net_device_manager/soft_filt_cl_impl.o: In function `unregister_soft_filter':
/home/deepfire/src2/barrelfish/build/..//lib/net_device_manager/soft_filt_cl_impl.c:349: undefined reference to `__stack_chk_fail'
./x86_64/lib/net_device_manager/_for_lib_net_device_manager/soft_filt_cl_impl.o: In function `register_arp_soft_filter':
/home/deepfire/src2/barrelfish/build/..//lib/net_device_manager/soft_filt_cl_impl.c:367: undefined reference to `__stack_chk_fail'
./x86_64/lib/net_device_manager/_for_lib_net_device_manager/soft_filt_cl_impl.o: In function `register_soft_filt_impl':
/home/deepfire/src2/barrelfish/build/..//lib/net_device_manager/soft_filt_cl_impl.c:138: undefined reference to `__stack_chk_fail'
./x86_64/lib/net_device_manager/_for_lib_net_device_manager/e10k_filt_cl_impl.o: In function `unreg_filters':
/home/deepfire/src2/barrelfish/build/..//lib/net_device_manager/e10k_filt_cl_impl.c:214: undefined reference to `__stack_chk_fail'
./x86_64/lib/net_device_manager/_for_lib_net_device_manager/e10k_filt_cl_impl.o:/home/deepfire/src2/barrelfish/build/..//lib/net_device_manager/e10k_filt_cl_impl.c:206: more undefined referen
ces to `__stack_chk_fail' follow
collect2: error: ld returned 1 exit status
make: *** [Makefile:130156: x86_64/sbin/NGD_mng.full] Error 1

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

4 years agobuild: Nix environment
Kosyrev Serge [Tue, 20 Dec 2016 19:48:24 +0000]
build:  Nix environment

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

4 years agohake: now buildable with ghc8
Kosyrev Serge [Tue, 20 Dec 2016 19:48:31 +0000]
hake:  now buildable with ghc8

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

4 years agohake: GHC.Paths.libdir can be unreliable: use 'ghc --print-libdir' instead
Kosyrev Serge [Tue, 20 Dec 2016 19:48:42 +0000]
hake:  GHC.Paths.libdir can be unreliable: use 'ghc --print-libdir' instead

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

4 years agogit: ignore more editor temporary files
Kosyrev Serge [Tue, 20 Dec 2016 19:48:50 +0000]
git:  ignore more editor temporary files

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

4 years agohake.sh: use /bin/sh
Kosyrev Serge [Tue, 20 Dec 2016 19:48:57 +0000]
hake.sh:  use /bin/sh

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

4 years agoharness: Allow the same module to be listed several times in boot modules
Moritz Hoffmann [Tue, 20 Dec 2016 15:54:33 +0000]
harness: Allow the same module to be listed several times in boot modules

This was breaking tests which would run the same binary with different
arguments.

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

4 years agoschedsim: Re-create targets originally found in symbolic targets
Moritz Hoffmann [Tue, 20 Dec 2016 15:07:37 +0000]
schedsim: Re-create targets originally found in symbolic targets

Important targets are schedsim-regen and schedsim-check.

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

4 years agohake: Use INSTALL_PREFIX variable for install targets
Moritz Hoffmann [Tue, 20 Dec 2016 12:35:46 +0000]
hake: Use INSTALL_PREFIX variable for install targets

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

4 years agoRevert "hake: Introduce dist_dir, a directory where the install_$PLAT targets install to"
Moritz Hoffmann [Tue, 20 Dec 2016 12:04:39 +0000]
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>

4 years agohake/armv7: Force static linking of binaries
Moritz Hoffmann [Tue, 20 Dec 2016 10:49:41 +0000]
hake/armv7: Force static linking of binaries

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

4 years agohake: Provide legacy target `install' for scalebench
Moritz Hoffmann [Tue, 20 Dec 2016 10:41:23 +0000]
hake: Provide legacy target `install' for scalebench

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

4 years agohake: Let help-* targets depend on their header rule
Moritz Hoffmann [Tue, 20 Dec 2016 10:29:02 +0000]
hake: Let help-* targets depend on their header rule

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

4 years agohake: Remove rule for target hake/menu.lst
Moritz Hoffmann [Tue, 20 Dec 2016 10:28:31 +0000]
hake: Remove rule for target hake/menu.lst

This is now correctly handled in platforms/Hakefile.

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

4 years agohake: Generate help, help-platforms-header and help-boot-header targets
Moritz Hoffmann [Tue, 20 Dec 2016 10:27:38 +0000]
hake: Generate help, help-platforms-header and help-boot-header targets

This was part of the obsolete symbolic_targets.mk.

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

4 years agohake: Do not include symbolic_targets.mk
Moritz Hoffmann [Tue, 20 Dec 2016 10:26:43 +0000]
hake: Do not include symbolic_targets.mk

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

4 years agohake: Generate clean targets from Hake
Moritz Hoffmann [Tue, 20 Dec 2016 10:25:42 +0000]
hake: Generate clean targets from Hake

This is only half-complete as object and depend files are note deleted.
However, deleting object files is complicated as the ones included in archives
cannot be deleted. We build archives as thin archives only pointing to
the object files they include.

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

4 years agohake: GHC output dir evaluated to /, corrected
Moritz Hoffmann [Mon, 19 Dec 2016 16:35:18 +0000]
hake: GHC output dir evaluated to /, corrected

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

4 years agohake: Generate install_$PLAT targets
Moritz Hoffmann [Mon, 19 Dec 2016 16:34:41 +0000]
hake: Generate install_$PLAT targets

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

4 years agohake: Prevent certain path to be reduced to an empty string
Moritz Hoffmann [Mon, 19 Dec 2016 16:34:22 +0000]
hake: Prevent certain path to be reduced to an empty string

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

4 years agohake: Introduce dist_dir, a directory where the install_$PLAT targets install to
Moritz Hoffmann [Mon, 19 Dec 2016 16:33:48 +0000]
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>

4 years agohake: Install required Hake source files to install tree
Moritz Hoffmann [Mon, 19 Dec 2016 09:53:32 +0000]
hake: Install required Hake source files to install tree

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

4 years agoinstall_headers: Create Hakefile for newlib libc/include
Moritz Hoffmann [Mon, 19 Dec 2016 09:47:55 +0000]
install_headers: Create Hakefile for newlib libc/include

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

4 years agoinstall_headers: Update Hakefile for /include
Moritz Hoffmann [Mon, 19 Dec 2016 09:47:33 +0000]
install_headers: Update Hakefile for /include

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

4 years agohake/symbolic_targets.mk: Move MAKEFLAGS and ruls for .c to Main.hs
Moritz Hoffmann [Mon, 19 Dec 2016 09:44:02 +0000]
hake/symbolic_targets.mk: Move MAKEFLAGS and ruls for .c to Main.hs

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

4 years agohake: Make bin/lib directories configurable.
Moritz Hoffmann [Mon, 19 Dec 2016 09:42:36 +0000]
hake: Make bin/lib directories configurable.

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

4 years agohake: symbolic_targets is in hake/ instead of root install dir
Moritz Hoffmann [Mon, 19 Dec 2016 08:59:11 +0000]
hake: symbolic_targets is in hake/ instead of root install dir

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

4 years agosymbolic_targets: remove install_headers rule
Moritz Hoffmann [Fri, 16 Dec 2016 13:04:41 +0000]
symbolic_targets: remove install_headers rule

This will be generated by Hake, currently lacking some Hakefiles.

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

4 years agohake: includeFile exports install_headers target
Moritz Hoffmann [Fri, 16 Dec 2016 13:01:59 +0000]
hake: includeFile exports install_headers target

This change also exports include files to the root of the install tree
instead of the arch directory.

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

4 years agohake: Generate Phony targets only for allowed architectures
Moritz Hoffmann [Fri, 16 Dec 2016 12:54:05 +0000]
hake: Generate Phony targets only for allowed architectures

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

4 years agohake: Avoid prepending path with ./
Moritz Hoffmann [Fri, 16 Dec 2016 12:53:09 +0000]
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>

4 years agoRevert "hake: Generate $arch_All target that compiles all binaries for an arch"
Moritz Hoffmann [Fri, 16 Dec 2016 12:49:58 +0000]
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>

4 years agohake: Scan . directory for Hake files
Moritz Hoffmann [Fri, 16 Dec 2016 08:53:06 +0000]
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>

4 years agohake: Add BFSrcTree tree type
Moritz Hoffmann [Fri, 16 Dec 2016 08:50:48 +0000]
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>

4 years agokernel/armv8: Add RAM::frameIdentify invocation implementation
Moritz Hoffmann [Mon, 12 Dec 2016 12:56:35 +0000]
kernel/armv8: Add RAM::frameIdentify invocation implementation

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

4 years agokernel: cpu_a57v depends on gic_v3
Moritz Hoffmann [Fri, 9 Dec 2016 16:18:04 +0000]
kernel: cpu_a57v depends on gic_v3

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

4 years agodevices/giv_v3: Bug fixes
Moritz Hoffmann [Fri, 9 Dec 2016 16:17:40 +0000]
devices/giv_v3: Bug fixes

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

4 years agodevices/gic_v3: Initial device decscription
Moritz Hoffmann [Fri, 9 Dec 2016 14:35:18 +0000]
devices/gic_v3: Initial device decscription

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

4 years agokernel: Do not trigger breakpoint on kernel panic
Moritz Hoffmann [Thu, 8 Dec 2016 16:38:47 +0000]
kernel: Do not trigger breakpoint on kernel panic

This caused repeated exceptions in ARMv8.

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

4 years agokernel/armv8: Remove debug leftovers from timers
Moritz Hoffmann [Thu, 8 Dec 2016 16:37:56 +0000]
kernel/armv8: Remove debug leftovers from timers

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