barrelfish
4 years agoT238: fix renaming mistake
Simon Gerber [Wed, 25 May 2016 11:00:24 +0000]
T238: fix renaming mistake

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

4 years agoT238: fix vnode_objsize() to not use BASE_PAGE_SIZE but 4096
Simon Gerber [Wed, 25 May 2016 10:50:20 +0000]
T238: fix vnode_objsize() to not use BASE_PAGE_SIZE but 4096

This is necessary because asmoffsets.c includes
include/barrelfish_kpi/capabilities.h but does not include the appropriate
headers to get BASE_PAGE_SIZE and related definitions.

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

4 years agoT238: change kernel to use new vnode_objsize() when appropriate
Simon Gerber [Mon, 23 May 2016 11:04:18 +0000]
T238: change kernel to use new vnode_objsize() when appropriate

Closes T238.

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

4 years agoRemove unneeded printk() in kernel/startup.c
Simon Gerber [Tue, 17 May 2016 15:15:03 +0000]
Remove unneeded printk() in kernel/startup.c

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

4 years agoT191: xeon_phi: Update driver to use new API and minor fixes in driver
Simon Gerber [Tue, 17 May 2016 15:14:13 +0000]
T191: xeon_phi: Update driver to use new API and minor fixes in driver

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

4 years agoT191: x86_64: make it compile again
Simon Gerber [Tue, 10 May 2016 14:55:10 +0000]
T191: x86_64: make it compile again

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

4 years agokernel: paging_generic: compile_vaddr: handle case where we find something that is...
Simon Gerber [Tue, 10 May 2016 11:02:17 +0000]
kernel: paging_generic: compile_vaddr: handle case where we find something that is not a VNode properly

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

4 years agoT191: init: use mm_add_multi in initialize_ram_alloc()
Simon Gerber [Mon, 9 May 2016 16:52:30 +0000]
T191: init: use mm_add_multi in initialize_ram_alloc()

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

4 years agoT191: remove commented-out cap splitting in caps_create_to_cnode
Simon Gerber [Mon, 9 May 2016 16:51:52 +0000]
T191: remove commented-out cap splitting in caps_create_to_cnode

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

4 years agogem5: Fix menu.lst.arm_gem5_mc to set mmap to 256MB starting at 0x0.
Simon Gerber [Mon, 9 May 2016 16:51:24 +0000]
gem5: Fix menu.lst.arm_gem5_mc to set mmap to 256MB starting at 0x0.

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

4 years agoT191: armv7: refactor code to use range retype and bytes-based identify
Simon Gerber [Mon, 9 May 2016 16:15:13 +0000]
T191: armv7: refactor code to use range retype and bytes-based identify

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

4 years agoT191: aarch64: fix monitor invoke_retype
Simon Gerber [Mon, 9 May 2016 15:15:06 +0000]
T191: aarch64: fix monitor invoke_retype

Make invocation arguments match arguments for non-monitor invoke_retype and
append monitor specific argument at end rather than start.

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

4 years agoharness: add build type for armv7 gem5+debug symbols
Simon Gerber [Mon, 9 May 2016 14:22:12 +0000]
harness: add build type for armv7 gem5+debug symbols

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

4 years agovspace_pinned_alloc: dump errors so that we get full error stack
Simon Gerber [Fri, 29 Apr 2016 12:45:57 +0000]
vspace_pinned_alloc: dump errors so that we get full error stack

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

4 years agoT191: cleanup comments and some TODOs
Simon Gerber [Fri, 29 Apr 2016 12:45:05 +0000]
T191: cleanup comments and some TODOs

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

4 years agoT191: aarch64: implement invocations and related changes for range capabilities
Simon Gerber [Fri, 29 Apr 2016 12:44:24 +0000]
T191: aarch64: implement invocations and related changes for range capabilities

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

4 years agoT191: rename testsuite from caps_next to capops
Simon Gerber [Fri, 29 Apr 2016 09:27:46 +0000]
T191: rename testsuite from caps_next to capops

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

4 years agoT191: x86_64: refactor retype2 back to retype
Simon Gerber [Fri, 29 Apr 2016 09:20:26 +0000]
T191: x86_64: refactor retype2 back to retype

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

4 years agoT191: python script to generate dot file to plot mdb from output of mdb_dump_all_the_...
Simon Gerber [Fri, 22 Apr 2016 15:23:56 +0000]
T191: python script to generate dot file to plot mdb from output of mdb_dump_all_the_things()

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

4 years agoT191: User space works again with reduced set of provided capabilities.
Simon Gerber [Thu, 21 Apr 2016 17:50:12 +0000]
T191: User space works again with reduced set of provided capabilities.

4 years agoT191: T231: caps_create_new() now takes region and object size in bytes
Simon Gerber [Thu, 21 Apr 2016 15:21:06 +0000]
T191: T231: caps_create_new() now takes region and object size in bytes

Also, remove all the remaining old cap creation kernel code.

This also changes the set of capabilities that is created during early boot.
We now create a single capability for each memory region as reported by the
BIOS.

Closes T231.

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

4 years agoT191: T231: rename caps_create->caps_create_old and caps_create2->caps_create
Simon Gerber [Wed, 20 Apr 2016 15:08:38 +0000]
T191: T231: rename caps_create->caps_create_old and caps_create2->caps_create

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

4 years agoT191: change all of user space to call new retype directly; turn off count = 0 behavi...
Simon Gerber [Wed, 20 Apr 2016 15:01:35 +0000]
T191: change all of user space to call new retype directly; turn off count = 0 behaviour in kernel

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

4 years agoT191: kernel: add debug prints about zeroing
Simon Gerber [Wed, 20 Apr 2016 15:01:13 +0000]
T191: kernel: add debug prints about zeroing

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

4 years agoT191: remove old caps_retype() code from kernel
Simon Gerber [Wed, 20 Apr 2016 14:04:51 +0000]
T191: remove old caps_retype() code from kernel

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

4 years agoT191: minor changes to retype2 test output
Simon Gerber [Wed, 20 Apr 2016 13:03:19 +0000]
T191: minor changes to retype2 test output

* quotes around expected errors
* formatting

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

4 years agoT191: add warning about use of old retype
Simon Gerber [Wed, 20 Apr 2016 13:02:21 +0000]
T191: add warning about use of old retype

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

4 years agoT191: Fix zeroing for !(type == Frame)
Simon Gerber [Wed, 20 Apr 2016 12:51:20 +0000]
T191: Fix zeroing for !(type == Frame)

The new code uses objsize * count for the size of the region to zero. This
does not work for types where we call retype with objsize == 0. We now
hardcode the objsize in the memset() call for these types.

4 years agoT191: write multi retype test and add test_retype2 in platforms/Hakefile
Simon Gerber [Wed, 20 Apr 2016 11:51:14 +0000]
T191: write multi retype test and add test_retype2 in platforms/Hakefile

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

4 years agoFix cap tracing static assert
Simon Gerber [Wed, 20 Apr 2016 11:50:42 +0000]
Fix cap tracing static assert

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

4 years agoT191: update monitor capops retype
Simon Gerber [Wed, 20 Apr 2016 09:28:28 +0000]
T191: update monitor capops retype

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

5 years agoT191: call invoke_cnode_retype2 with count = 0 from cap_retype()
Simon Gerber [Wed, 20 Apr 2016 08:11:04 +0000]
T191: call invoke_cnode_retype2 with count = 0 from cap_retype()

This uses the new retype code internally whenever cap_retype() (old API) is called.

caps_retype2() emulates the old behaviour (i.e. split whole source region into
equally-sized regions of objsize) if called with count == 0. This is not
intended to be long term behaviour, but to allow us to remove the old
kernel-side implementation without fixing all call sites first.

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

5 years agoT191: fix wrong error
Simon Gerber [Tue, 19 Apr 2016 15:37:39 +0000]
T191: fix wrong error

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

5 years agoT191: fix missing arg in cap_retype2()
Simon Gerber [Tue, 19 Apr 2016 15:37:02 +0000]
T191: fix missing arg in cap_retype2()

5 years agoT191: rearrange check in kernel, do easy checks first; check that we cannot create...
Simon Gerber [Tue, 19 Apr 2016 15:36:19 +0000]
T191: rearrange check in kernel, do easy checks first; check that we cannot create objects larger than source

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

5 years agoT191: add tests delete+retype and misaligned size and offset
Simon Gerber [Tue, 19 Apr 2016 15:26:33 +0000]
T191: add tests delete+retype and misaligned size and offset

Also fixes kernel side to fail for offset not being a multiple of
BASE_PAGE_SIZE.

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

5 years agoT191: comment arg dumping for retype2 and add comment about retype + copies of src
Simon Gerber [Tue, 19 Apr 2016 15:08:43 +0000]
T191: comment arg dumping for retype2 and add comment about retype + copies of src

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

5 years agoT191: fix retype2 for overlapping requests + tests for overlap
Simon Gerber [Tue, 19 Apr 2016 13:05:28 +0000]
T191: fix retype2 for overlapping requests + tests for overlap

We did not properly handle the case where we have region B which is retyped
from region A but completely covers the new region we want to retype from A.

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

5 years agoT191: fix simple test
Simon Gerber [Tue, 19 Apr 2016 13:04:48 +0000]
T191: fix simple test

5 years agoT191: retype2: more testing of simple success cases
Simon Gerber [Tue, 19 Apr 2016 12:35:23 +0000]
T191: retype2: more testing of simple success cases

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

5 years agoT191: Fix missed renaming of test
Simon Gerber [Mon, 18 Apr 2016 15:58:54 +0000]
T191: Fix missed renaming of test

5 years agoT191: simple range check to allow non-overlapping retypes from same region; updated...
Simon Gerber [Mon, 18 Apr 2016 15:41:27 +0000]
T191: simple range check to allow non-overlapping retypes from same region; updated test retype2.0

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

5 years agoT191: fix test output to describe tests more accurately. Not all implemented yet
Simon Gerber [Mon, 18 Apr 2016 15:41:03 +0000]
T191: fix test output to describe tests more accurately. Not all implemented yet

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

5 years agoT191: add testing for new retype code; not complete
Simon Gerber [Mon, 18 Apr 2016 15:02:19 +0000]
T191: add testing for new retype code; not complete

Currently only does a single retype of one 4k block from a 2M block.

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

5 years agoImplement identify command for ObjType_RAM
Simon Gerber [Mon, 18 Apr 2016 15:01:41 +0000]
Implement identify command for ObjType_RAM

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

5 years agoT191: fix wrong command in invoke_cnode_retype2, and add some more output in kernel...
Simon Gerber [Mon, 18 Apr 2016 15:01:27 +0000]
T191: fix wrong command in invoke_cnode_retype2, and add some more output in kernel code

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

5 years agoqemu-wrapper: Fix typo in default hd file
Simon Gerber [Mon, 18 Apr 2016 14:03:07 +0000]
qemu-wrapper: Fix typo in default hd file

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

5 years agoharness,qemu wrapper: Make harness use qemu wrapper script for x86_64
Simon Gerber [Mon, 18 Apr 2016 14:01:31 +0000]
harness,qemu wrapper: Make harness use qemu wrapper script for x86_64

wrapper script understands new option --smp to specify the number of cores for
qemu. wrapper script also looks for 'root ...' line in menu.lst and prepends
the argument to the kernel and initrd files when it's not '(nd)'.

harness writes a sensible root statement into its temporary qemu menu.lst.

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

5 years agoT191: Implement prototype for new retype
Simon Gerber [Mon, 18 Apr 2016 13:19:02 +0000]
T191: Implement prototype for new retype

The new retype call takes an offset into the source cap and a count of objects
to create.  This is different from the old call that just took a source and
created as many new objects as fit into that source (determined by source size
and requested size for new objects).

Currently available as `cap_retype2(dest_start, src, offset, new_type, objsize, count);`

Note that this is not used anywhere yet.

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

5 years agoSquashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).
Simon Gerber [Mon, 18 Apr 2016 08:41:26 +0000]
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>

5 years agoT191: x86_64: frame_identify returns size in bytes
Simon Gerber [Fri, 26 Feb 2016 16:44:43 +0000]
T191: x86_64: frame_identify returns size in bytes

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

5 years agoT191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in...
Simon Gerber [Wed, 16 Dec 2015 15:40:54 +0000]
T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes

This only changes the actual struct capability reprensentation for these
types.  Most of the code dealing with these types now uses log2ceil(bits) to
set the new `bytes` field.

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

5 years agogmp: Improve CFLAGS sanitization be only removing link group from CFLAGS after configure.
Moritz Hoffmann [Fri, 26 Feb 2016 09:13:50 +0000]
gmp: Improve CFLAGS sanitization be only removing link group from CFLAGS after configure.

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

5 years agohake: Remove libgcc from standard libs.
Moritz Hoffmann [Fri, 26 Feb 2016 09:13:13 +0000]
hake: Remove libgcc from standard libs.

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

5 years agohake: Remove libgcc dependency from kernel. Use compiler-rt instead.
Moritz Hoffmann [Fri, 26 Feb 2016 09:12:38 +0000]
hake: Remove libgcc dependency from kernel. Use compiler-rt instead.

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

5 years agoeclipseclp, gmp: do not build on armv5
Moritz Hoffmann [Thu, 25 Feb 2016 19:26:58 +0000]
eclipseclp, gmp: do not build on armv5

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

5 years agogmp: Rework Hakefile to allow cross-compilation.
Moritz Hoffmann [Thu, 25 Feb 2016 19:00:33 +0000]
gmp: Rework Hakefile to allow cross-compilation.

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

5 years agohake: Remove -lgcc on arm targets. Add compiler-rt to stdLibs.
Moritz Hoffmann [Thu, 25 Feb 2016 17:58:42 +0000]
hake: Remove -lgcc on arm targets. Add compiler-rt to stdLibs.

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

5 years agocompiler-rt: Initialize variables to avoid GCC complaining.
Moritz Hoffmann [Thu, 25 Feb 2016 17:56:15 +0000]
compiler-rt: Initialize variables to avoid GCC complaining.

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

5 years agocompiler-rt: Exclude *vfp files from build on arm.
Moritz Hoffmann [Thu, 25 Feb 2016 17:55:38 +0000]
compiler-rt: Exclude *vfp files from build on arm.

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

5 years agocompiler-rt: Define __ARM_EABI__ on 32-bit arm targets.
Moritz Hoffmann [Thu, 25 Feb 2016 17:55:06 +0000]
compiler-rt: Define __ARM_EABI__ on 32-bit arm targets.

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

5 years agogmp: Add missing architecture translations.
Moritz Hoffmann [Thu, 25 Feb 2016 12:40:34 +0000]
gmp: Add missing architecture translations.

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

5 years agoharness/spantest: Fix imports. Fixes T217.
Moritz Hoffmann [Thu, 25 Feb 2016 12:29:17 +0000]
harness/spantest: Fix imports. Fixes T217.

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

5 years agoMerge branch 'eclipseclp'
Moritz Hoffmann [Thu, 25 Feb 2016 10:48:43 +0000]
Merge branch 'eclipseclp'

5 years agomenu.lst: Include eclipseclp_ramfs.cpio.gz
Moritz Hoffmann [Thu, 25 Feb 2016 10:46:12 +0000]
menu.lst: Include eclipseclp_ramfs.cpio.gz

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

5 years agoeclipseclp/Shm: Assemble lock.S to enable x86_32 compilation.
Moritz Hoffmann [Thu, 25 Feb 2016 10:22:41 +0000]
eclipseclp/Shm: Assemble lock.S to enable x86_32 compilation.

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

5 years agoeclipseclp/Shm: Use sizes.h instead of defining sizes in Hakefile.
Moritz Hoffmann [Thu, 25 Feb 2016 10:22:07 +0000]
eclipseclp/Shm: Use sizes.h instead of defining sizes in Hakefile.

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

5 years agoeclipseclp: Correct dependency on gmp.
Moritz Hoffmann [Thu, 25 Feb 2016 10:21:19 +0000]
eclipseclp: Correct dependency on gmp.

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

5 years agoeclipseclp: Transfer old flags.
Moritz Hoffmann [Thu, 25 Feb 2016 10:21:02 +0000]
eclipseclp: Transfer old flags.

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

5 years agogmp: Generalize Hakefile not to have non-portable dependencies.
Moritz Hoffmann [Thu, 25 Feb 2016 10:19:50 +0000]
gmp: Generalize Hakefile not to have non-portable dependencies.

All flags and include paths are extracted from Hake.

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

5 years agoskb/measurement: Correct dependency on schema/cpuid.h
Moritz Hoffmann [Thu, 25 Feb 2016 10:18:14 +0000]
skb/measurement: Correct dependency on schema/cpuid.h

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

5 years agoeclipseclp: Prepare for x86_32 and arm
Moritz Hoffmann [Thu, 25 Feb 2016 10:17:47 +0000]
eclipseclp: Prepare for x86_32 and arm

This commit merges changes previously applied to the old eclipseclp
bundled with skb.

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

5 years agoeclipseclp: Extract SIZEOF_* definitions into header file.
Moritz Hoffmann [Thu, 25 Feb 2016 10:16:15 +0000]
eclipseclp: Extract SIZEOF_* definitions into header file.

Eclipseclp requires to know the size of various types at compile time. Normally,
the configure target takes care of creating the correct entries in various
config.h files. As we do not run configure on Barrelfish, we have to define
them manually.

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

5 years agohake: Add compiler function to RuleDefs.
Moritz Hoffmann [Thu, 25 Feb 2016 10:13:07 +0000]
hake: Add compiler function to RuleDefs.

This function merely returns the compiler used for the target architecture.

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

5 years agohake: Define INSTALLDIR, ABSINSTALLDIR, ABSSRCDIR, ABSBUILDDIR in Makefile
Moritz Hoffmann [Thu, 25 Feb 2016 10:12:28 +0000]
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>

5 years agoskb: Link against gmp.
Moritz Hoffmann [Wed, 24 Feb 2016 14:45:26 +0000]
skb: Link against gmp.

eclipseclp depends on gmp. As we don't have transitive dependencies
we need to link explicitly

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

5 years agoeclipseclp: Link against gmp.
Moritz Hoffmann [Wed, 24 Feb 2016 14:44:40 +0000]
eclipseclp: Link against gmp.

Requires a quirk to add the gmp directory to the include path.

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

5 years agogmp: Add Hakefile.
Moritz Hoffmann [Wed, 24 Feb 2016 14:43:57 +0000]
gmp: Add Hakefile.

Warning: This is a hack and requires absolute directories of
the build dir and Barrelfish source dir. It downloads gmp, unpacks
it, runs configure and make and copies the lib to the correct location.

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

5 years agoharness: run angler with termtype "dumb" for interactive tests: this disables fancy... release2016-02-24
Simon Gerber [Tue, 23 Feb 2016 18:47:59 +0000]
harness: run angler with termtype "dumb" for interactive tests: this disables fancy linenoise functionality

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

5 years agoserial: unify the kernel serial interface again
Reto Achermann [Tue, 23 Feb 2016 17:54:51 +0000]
serial: unify the kernel serial interface again

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

5 years agokernel: x86_64: vmx: properly intialize val in vmx_read_msr()
Simon Gerber [Tue, 23 Feb 2016 16:28:27 +0000]
kernel: x86_64: vmx: properly intialize val in vmx_read_msr()

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

5 years agokaluga: Fix string formatting in debug code.
Moritz Hoffmann [Tue, 23 Feb 2016 09:58:45 +0000]
kaluga: Fix string formatting in debug code.

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

5 years agoskb: Use new Shm library.
Moritz Hoffmann [Tue, 23 Feb 2016 12:55:49 +0000]
skb: Use new Shm library.

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

5 years agoeclipseclp + toosl: Rename eclipse_kernel_ramfs to eclipseclp_ramfs.
Moritz Hoffmann [Tue, 23 Feb 2016 12:44:00 +0000]
eclipseclp + toosl: Rename eclipse_kernel_ramfs to eclipseclp_ramfs.

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

5 years agoeclipseclp: Disable bash debugging for mkcpio.
Moritz Hoffmann [Tue, 23 Feb 2016 12:43:17 +0000]
eclipseclp: Disable bash debugging for mkcpio.

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

5 years agoplatforms: Update copyright notice.
Moritz Hoffmann [Tue, 23 Feb 2016 12:42:53 +0000]
platforms: Update copyright notice.

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

5 years agoeclipseclp: Update copyright notice.
Moritz Hoffmann [Tue, 23 Feb 2016 12:42:26 +0000]
eclipseclp: Update copyright notice.

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

5 years agoskb: Disable debugging.
Moritz Hoffmann [Tue, 23 Feb 2016 12:41:50 +0000]
skb: Disable debugging.

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

5 years agoskb: Update copyright notices.
Moritz Hoffmann [Tue, 23 Feb 2016 12:41:34 +0000]
skb: Update copyright notices.

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

5 years agokaluga/driver_startup.c: Add missing copyright notice.
Moritz Hoffmann [Tue, 23 Feb 2016 12:40:57 +0000]
kaluga/driver_startup.c: Add missing copyright notice.

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

5 years agoacpi: Update some copyrights.
Moritz Hoffmann [Tue, 23 Feb 2016 12:40:32 +0000]
acpi: Update some copyrights.

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

5 years agoposixcompat/sysconf: Update copyright.
Moritz Hoffmann [Tue, 23 Feb 2016 12:40:08 +0000]
posixcompat/sysconf: Update copyright.

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

5 years agoBarrelfish: Update copyright notice in README.
Moritz Hoffmann [Tue, 23 Feb 2016 12:39:42 +0000]
Barrelfish: Update copyright notice in README.

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

5 years agoeclipseclp/icparc: use system regex implementation instead of local.
Moritz Hoffmann [Tue, 23 Feb 2016 11:52:10 +0000]
eclipseclp/icparc: use system regex implementation instead of local.

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

5 years agoposixcompat/sysconf: Print warning when executing unknown sysconf command.
Moritz Hoffmann [Tue, 23 Feb 2016 10:02:28 +0000]
posixcompat/sysconf: Print warning when executing unknown sysconf command.

On Barrelfish, we only implement a very small subset of the variables
that can be queried with sysconf. Print a warning when a program queries
one that is not implemented. Previously, the warning was only printed
when posixcompat debugging was enabled.

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

5 years agoskb: Update Hakefile to link skb against new eclipseclp.
Moritz Hoffmann [Tue, 23 Feb 2016 10:00:37 +0000]
skb: Update Hakefile to link skb against new eclipseclp.

Currently, the new libraries are called the same with an
appended 'x'. This will change in future once the old
targets are removed.

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

5 years agoacpi: Use USER_PANIC_ERR instead of assert.
Moritz Hoffmann [Tue, 23 Feb 2016 09:59:21 +0000]
acpi: Use USER_PANIC_ERR instead of assert.

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

5 years agokaluga: Fix string formatting in debug code.
Moritz Hoffmann [Tue, 23 Feb 2016 09:58:45 +0000]
kaluga: Fix string formatting in debug code.

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

5 years agoskb: improve debugging
Moritz Hoffmann [Tue, 23 Feb 2016 09:58:04 +0000]
skb: improve debugging

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

5 years agoskb: eclipseclp deprecated flush(1) in favor of flush(output).
Moritz Hoffmann [Tue, 23 Feb 2016 09:56:56 +0000]
skb: eclipseclp deprecated flush(1) in favor of flush(output).

The same holds for flush(0), which is now flush(error).

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