barrelfish
3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 years agokernel/armv8: Move GIC initialization to platform-specific code
Moritz Hoffmann [Thu, 8 Dec 2016 16:37:23 +0000]
kernel/armv8: Move GIC initialization to platform-specific code

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

3 years agokernel/armv8: Print unrelocated kernel addresses for kernel faults
Moritz Hoffmann [Thu, 8 Dec 2016 16:36:22 +0000]
kernel/armv8: Print unrelocated kernel addresses for kernel faults

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

3 years agohake: $ARCH_All target needs to depend on targets in BuildTree
Moritz Hoffmann [Thu, 15 Dec 2016 08:42:47 +0000]
hake: $ARCH_All target needs to depend on targets in BuildTree

It depended on targets in InstallTree.

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

3 years agolibbarrelfish: vspace_pinned_alloc: acquire lock nested, as we can recurse back into...
Simon Gerber [Thu, 15 Dec 2016 17:38:53 +0000]
libbarrelfish: vspace_pinned_alloc: acquire lock nested, as we can recurse back into here through memobj->fill

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

3 years agolibbarrelfish: memobj_anon: change refilling flag to be per memobj
Simon Gerber [Thu, 15 Dec 2016 17:36:03 +0000]
libbarrelfish: memobj_anon: change refilling flag to be per memobj

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

3 years agoacpi: Backout changes to acpica_osglue code.
Simon Gerber [Thu, 15 Dec 2016 15:29:17 +0000]
acpi: Backout changes to acpica_osglue code.

This partially reverts commits b1ce23ccd6ee352cea33d0bd3dd57d16cf75ab23 and
6e794c94b0588b3e9648c9b62575481a8b5b5c51.

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

3 years agolibspawndomain: elf_allocate: remove wrong(?) vspace_lvaddr_to_genvaddr()
Simon Gerber [Thu, 15 Dec 2016 14:31:59 +0000]
libspawndomain: elf_allocate: remove wrong(?) vspace_lvaddr_to_genvaddr()

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

3 years agolibbarrelfish: memobj_anon: fill: refill slab allocator when one slab left
Simon Gerber [Thu, 15 Dec 2016 14:31:52 +0000]
libbarrelfish: memobj_anon: fill: refill slab allocator when one slab left

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

3 years agoacpi: map/unmap: always call mm_realloc_range() for all pages when a partial mapping...
Simon Gerber [Thu, 15 Dec 2016 09:41:01 +0000]
acpi: map/unmap: always call mm_realloc_range() for all pages when a partial mapping exists for request

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

3 years agolibbarrelfish: make cap deletion in memobj_destroy_anon() optional
Simon Gerber [Thu, 15 Dec 2016 09:38:35 +0000]
libbarrelfish: make cap deletion in memobj_destroy_anon() optional

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

3 years agoacpi: osglue: improve and simplify AcpiOsMapMemory and AcpiOsUnmapMemory
Simon Gerber [Wed, 14 Dec 2016 17:05:15 +0000]
acpi: osglue: improve and simplify AcpiOsMapMemory and AcpiOsUnmapMemory

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

3 years agolibbarrelfish: memobj_anon: return error if frame_identify fails
Simon Gerber [Wed, 14 Dec 2016 17:03:58 +0000]
libbarrelfish: memobj_anon: return error if frame_identify fails

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

3 years agocapabilities: make mapping caps size 1 (from 0) so they do not mess up mdb_range_query()
Simon Gerber [Wed, 14 Dec 2016 14:52:28 +0000]
capabilities: make mapping caps size 1 (from 0) so they do not mess up mdb_range_query()

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

3 years agokernel: retype: more diagnostics on retype range checks
Simon Gerber [Wed, 14 Dec 2016 14:51:52 +0000]
kernel: retype: more diagnostics on retype range checks

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

3 years agolibmdb: add argument sanity check in mdb_is_inside()
Simon Gerber [Wed, 14 Dec 2016 14:49:21 +0000]
libmdb: add argument sanity check in mdb_is_inside()

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

3 years agoComments in the scheduler interface, from code walkthrough.
David Cock [Tue, 13 Dec 2016 14:32:35 +0000]
Comments in the scheduler interface, from code walkthrough.

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

3 years agosystime: reverting to a RTC-based calibration on x86
Adam Turowski [Tue, 13 Dec 2016 11:54:08 +0000]
systime: reverting to a RTC-based calibration on x86

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

3 years agoharness: Replace reset_module with add_module
Moritz Hoffmann [Mon, 12 Dec 2016 13:00:22 +0000]
harness: Replace reset_module with add_module

The reset_module method does not exist anymore in the test infrastructure.

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

3 years agoharness/fvp: Increase boot timeout to 60s for EFI-based tests
Moritz Hoffmann [Thu, 8 Dec 2016 13:45:13 +0000]
harness/fvp: Increase boot timeout to 60s for EFI-based tests

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

3 years agoharness/fvp: Use correct module source path for building EFI image
Moritz Hoffmann [Thu, 8 Dec 2016 13:32:39 +0000]
harness/fvp: Use correct module source path for building EFI image

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

3 years agoharness/fvp: Correct EFI image path, was duplicate
Moritz Hoffmann [Thu, 8 Dec 2016 13:04:46 +0000]
harness/fvp: Correct EFI image path, was duplicate

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

3 years agohake: add menu.lst for armv8_a57_1
Moritz Hoffmann [Thu, 8 Dec 2016 12:08:07 +0000]
hake: add menu.lst for armv8_a57_1

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

3 years agoSolarflare driver header fix
Roni Häcki [Wed, 7 Dec 2016 14:50:39 +0000]
Solarflare driver header fix

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

3 years agokaluga: Do not try to obtain IRQ cap on ARMv8 because it is not implemented
Moritz Hoffmann [Wed, 7 Dec 2016 13:49:44 +0000]
kaluga: Do not try to obtain IRQ cap on ARMv8 because it is not implemented

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

3 years agoharness: Add kaluga to default boot modules on ARMv8
Moritz Hoffmann [Wed, 7 Dec 2016 13:47:57 +0000]
harness: Add kaluga to default boot modules on ARMv8

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

3 years agokaluaga: cpu_count parameter to wait for n instead of all spawnd processes
Moritz Hoffmann [Wed, 7 Dec 2016 14:04:21 +0000]
kaluaga: cpu_count parameter to wait for n instead of all spawnd processes

This is a work-around for ARMv8 where we know about all cores from ACPI but
do not have support for starting other than the BSP core, yet.

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

3 years agokernel/armv8: Return FVP platform for ARMv8 VM cpu drivers
Moritz Hoffmann [Wed, 7 Dec 2016 13:45:57 +0000]
kernel/armv8: Return FVP platform for ARMv8 VM cpu drivers

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

3 years agokernel/armv8: Read value from first instead of second parameter in sysreg.S
Moritz Hoffmann [Wed, 7 Dec 2016 10:35:57 +0000]
kernel/armv8: Read value from first instead of second parameter in sysreg.S

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

3 years agokernel/armv8: Use armv8 register definitions in efiboot_init.c
Moritz Hoffmann [Wed, 7 Dec 2016 10:35:20 +0000]
kernel/armv8: Use armv8 register definitions in efiboot_init.c

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

3 years agoarmv8: Add more register definitions
Moritz Hoffmann [Wed, 7 Dec 2016 10:37:43 +0000]
armv8: Add more register definitions

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

3 years agomackerel: Do not pass device pointer to registerwise address space functions
Moritz Hoffmann [Wed, 7 Dec 2016 10:33:25 +0000]
mackerel: Do not pass device pointer to registerwise address space functions

Due to limitations in Hake, we cannot include device headers in other
header files. Hence, the device type is not known and it is not possible
to define correct header files. This change remove the device parameter
from REGISTERWISE address space implementations.

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

3 years agokernel/armv8: Add GIC v3 placeholder implementation
Moritz Hoffmann [Tue, 6 Dec 2016 13:05:58 +0000]
kernel/armv8: Add GIC v3 placeholder implementation

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

3 years agoarmv8: Add ICC cpu register definitions
Moritz Hoffmann [Tue, 6 Dec 2016 13:00:16 +0000]
armv8: Add ICC cpu register definitions

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

3 years agoarmv8: Default to static linking
Moritz Hoffmann [Tue, 6 Dec 2016 10:42:10 +0000]
armv8: Default to static linking

This explicitly forces static linking of all binaries.

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

3 years agoInitial ARMv8 device file with backing sysreg implementation
Moritz Hoffmann [Tue, 6 Dec 2016 10:39:59 +0000]
Initial ARMv8 device file with backing sysreg implementation

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

3 years agomackerel: Add registerwise address space.
Moritz Hoffmann [Tue, 6 Dec 2016 10:38:47 +0000]
mackerel: Add registerwise address space.

The registerwise address space expects functions of the form
__DN(REG_read_SIZE) to exist and declares them as well.

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

3 years agoharness/fvp: Update DStream path to 5.26.0
Moritz Hoffmann [Mon, 5 Dec 2016 13:07:05 +0000]
harness/fvp: Update DStream path to 5.26.0

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