barrelfish
4 years agoIRQ: added irq source capability and make the inthandler setup use it
Lukas Humbel [Thu, 31 Mar 2016 15:07:41 +0000]
IRQ: added irq source capability and make the inthandler setup use it

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

4 years agoIRQ: Making the code actually work. ACPI interface
Lukas Humbel [Wed, 30 Mar 2016 12:00:40 +0000]
IRQ: Making the code actually work. ACPI interface

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

4 years agoAdded ACPI_SERVICE_DEBUG to Config.hs.template
Lukas Humbel [Tue, 29 Mar 2016 12:09:07 +0000]
Added ACPI_SERVICE_DEBUG to Config.hs.template

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

4 years agoIRQ: changed kernel to use irq_dest_cap table with IRQVector caps
Lukas Humbel [Tue, 29 Mar 2016 08:45:19 +0000]
IRQ: changed kernel to use irq_dest_cap table with IRQVector caps

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

4 years agoIRQ: added IRQVector cap
Lukas Humbel [Thu, 24 Mar 2016 14:22:21 +0000]
IRQ: added IRQVector cap

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

4 years agoIRQ: getting pci_client closer to using new interface
Lukas Humbel [Thu, 24 Mar 2016 10:21:45 +0000]
IRQ: getting pci_client closer to using new interface

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

4 years agoIRQ: work in progress on receiving side
Lukas Humbel [Tue, 22 Mar 2016 21:36:59 +0000]
IRQ: work in progress on receiving side

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

4 years agoIRQ: dont pass nirqs
Lukas Humbel [Wed, 16 Mar 2016 13:11:06 +0000]
IRQ: dont pass nirqs

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

4 years agoIRQ: rename pci interface get_cap to get_bar_cap. remove (soon to be) unnecessary...
Lukas Humbel [Mon, 14 Mar 2016 14:27:12 +0000]
IRQ: rename pci interface get_cap to get_bar_cap. remove (soon to be) unnecessary device_init params

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

4 years agoIRQ: Started on the local/driver side. Not a working state.
Lukas Humbel [Fri, 11 Mar 2016 14:21:32 +0000]
IRQ: Started on the local/driver side. Not a working state.

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

4 years agoIRQ: cap stubs
Lukas Humbel [Fri, 11 Mar 2016 09:43:09 +0000]
IRQ: cap stubs

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

4 years agoharness: fix error reporting
Simon Gerber [Tue, 5 Apr 2016 13:06:06 +0000]
harness: fix error reporting

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

4 years agoharness: fix error reporting some more
Simon Gerber [Tue, 5 Apr 2016 12:10:50 +0000]
harness: fix error reporting some more

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

4 years agoharness: Fix error reporting
Simon Gerber [Tue, 5 Apr 2016 11:31:33 +0000]
harness: Fix error reporting

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

4 years agoharness: split up compiler-rt tests in more testcases
Simon Gerber [Fri, 1 Apr 2016 15:04:59 +0000]
harness: split up compiler-rt tests in more testcases

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

4 years agoharness: replace non-printable characters in output using unicode()
Simon Gerber [Wed, 30 Mar 2016 07:51:03 +0000]
harness: replace non-printable characters in output using unicode()

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

4 years agoharness: xml: put class name back in to make result listing look less dumb
Simon Gerber [Thu, 24 Mar 2016 15:28:38 +0000]
harness: xml: put class name back in to make result listing look less dumb

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

4 years agoharness: xml: do not use <build>.<machine> as class name
Simon Gerber [Thu, 24 Mar 2016 15:04:30 +0000]
harness: xml: do not use <build>.<machine> as class name

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

4 years agoharness: produce xml output (if requested) on early exit
Simon Gerber [Thu, 24 Mar 2016 13:55:01 +0000]
harness: produce xml output (if requested) on early exit

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

4 years agoharness: fix output preprocessing
Simon Gerber [Wed, 23 Mar 2016 16:10:05 +0000]
harness: fix output preprocessing

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

4 years agoharness: xml: fix stdout processing and ordering of debug output in main()
Simon Gerber [Wed, 23 Mar 2016 16:05:35 +0000]
harness: xml: fix stdout processing and ordering of debug output in main()

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

4 years agoharness: testcase output: join output lines instead of dumping array repr
Simon Gerber [Wed, 23 Mar 2016 15:36:31 +0000]
harness: testcase output: join output lines instead of dumping array repr

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

4 years agoharness: xml file now called report.xml
Simon Gerber [Wed, 23 Mar 2016 15:20:54 +0000]
harness: xml file now called report.xml

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

4 years agoharness: fix code that generates TestCase objects
Simon Gerber [Wed, 23 Mar 2016 15:12:11 +0000]
harness: fix code that generates TestCase objects

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

4 years agoscalebench: add option to produce junit xml output
Simon Gerber [Wed, 23 Mar 2016 15:07:05 +0000]
scalebench: add option to produce junit xml output

This commit adds a new option (-x, --xml) to scalebench.py. This option can be
used to produce a XML file that can be parsed by Jenkins (and other software
that can parse JUnit test result reports) in order to provide more information
about the test run.

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

4 years agox86_64: irq vector allocation: simplify looping over KCBs and fix loop to check in...
Simon Gerber [Fri, 18 Mar 2016 16:19:22 +0000]
x86_64: irq vector allocation: simplify looping over KCBs and fix loop to check in right kcb

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

4 years agohake: thc: make <ifn>_thc.c depend on <ifn>_defs.h
Simon Gerber [Mon, 14 Mar 2016 15:59:38 +0000]
hake: thc: make <ifn>_thc.c depend on <ifn>_defs.h

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

4 years agox86_32: fix nonsense comparisons
Simon Gerber [Mon, 14 Mar 2016 10:33:07 +0000]
x86_32: fix nonsense comparisons

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

4 years agocompiler-rt: Do not assemble MMX instructions on k1om.
Moritz Hoffmann [Fri, 11 Mar 2016 10:29:08 +0000]
compiler-rt: Do not assemble MMX instructions on k1om.

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

4 years agocompiler-rt: Move Hakefiles from root directory down the tree.
Moritz Hoffmann [Fri, 11 Mar 2016 10:27:56 +0000]
compiler-rt: Move Hakefiles from root directory down the tree.

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

4 years agoCleanup bugs exposed by -Wtype-limits.
Simon Gerber [Fri, 11 Mar 2016 10:09:38 +0000]
Cleanup bugs exposed by -Wtype-limits.

 * Assertions in armv7/armv8 invocation stubs
 * Some comparisons in lib/virtio
 * Some comparisons in usb stack
 * Linenoise using plain char (which may or may not be signed according
   to C standard)
 * A comparison in octopus

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

4 years agoeclipseclp: add sizes.h definitions for aarch64
Simon Gerber [Fri, 11 Mar 2016 10:09:27 +0000]
eclipseclp: add sizes.h definitions for aarch64

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

4 years agoAdding an option to warn about comparisions that are always true or false.
Adam Turowski [Wed, 9 Mar 2016 10:20:00 +0000]
Adding an option to warn about comparisions that are always true or false.

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

5 years agohake: Show --cachedir option in help. Add --help argument.
Moritz Hoffmann [Sat, 27 Feb 2016 10:40:28 +0000]
hake: Show --cachedir option in help. Add --help argument.

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

5 years agohake: Change default cache dir to $HOME/.cache/barrelfish.
Moritz Hoffmann [Sat, 27 Feb 2016 10:39:46 +0000]
hake: Change default cache dir to $HOME/.cache/barrelfish.

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

5 years agoharness: Fix Config.hs generation by including cache_dir.
Moritz Hoffmann [Sat, 27 Feb 2016 10:38:48 +0000]
harness: Fix Config.hs generation by including cache_dir.

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

5 years agohake: Remove 'abs' special tree and replace it by 'cache'
Moritz Hoffmann [Sat, 27 Feb 2016 10:38:22 +0000]
hake: Remove 'abs' special tree and replace it by 'cache'

'abs' would allow arbitrary access to the file system while 'cache'
restricts it to a defined cache directory.

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

5 years agohake: Add rules to get external dependencies.
Moritz Hoffmann [Fri, 26 Feb 2016 17:42:22 +0000]
hake: Add rules to get external dependencies.

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

5 years agocompiler-rt: fix path for armv7 assembly files
Moritz Hoffmann [Fri, 26 Feb 2016 16:15:22 +0000]
compiler-rt: fix path for armv7 assembly files

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

5 years agocompiler-rt: Do not compile arm/sync_fetch_and_* and arm/switch* on armv5.
Moritz Hoffmann [Fri, 26 Feb 2016 15:55:06 +0000]
compiler-rt: Do not compile arm/sync_fetch_and_* and arm/switch* on armv5.

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

5 years agohake: Remove unused definitions in Makefile.
Moritz Hoffmann [Fri, 26 Feb 2016 15:28:02 +0000]
hake: Remove unused definitions in Makefile.

This commit removes the definition of INSTALLDIR, ABSINSTALLDIR, ABSSRCDIR
and ABSBUILDDIR from the generated Makefile because it is not used anywhere.
It was introduced with commit c458e8147b4836a0262a48da5d49dfcdff7cb77a.

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

5 years agogmp: Refactor to produce rules instead of directly evaluating to strings.
Moritz Hoffmann [Fri, 26 Feb 2016 15:24:20 +0000]
gmp: Refactor to produce rules instead of directly evaluating to strings.

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

5 years agohake: Add Abs RuleToken to refer to resources using their absolute path.
Moritz Hoffmann [Fri, 26 Feb 2016 15:23:17 +0000]
hake: Add Abs RuleToken to refer to resources using their absolute path.

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

5 years agodrivers/xeon_phi: Do not depend on if/monitor_defs.h.
Moritz Hoffmann [Fri, 26 Feb 2016 15:10:46 +0000]
drivers/xeon_phi: Do not depend on if/monitor_defs.h.

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

5 years agosymbolic_targets: cleanup cpio archives.
Moritz Hoffmann [Fri, 26 Feb 2016 15:10:20 +0000]
symbolic_targets: cleanup cpio archives.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@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>

5 years agoeclipseclp: Source changes to satisfy compiler.
Moritz Hoffmann [Tue, 23 Feb 2016 09:55:10 +0000]
eclipseclp: Source changes to satisfy compiler.

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

5 years agoeclipseclp/Shm: add config.h
Moritz Hoffmann [Tue, 23 Feb 2016 09:53:55 +0000]
eclipseclp/Shm: add config.h

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

5 years agoeclipseclp/sepia: initialize vfs on Barrelfish
Moritz Hoffmann [Tue, 23 Feb 2016 09:53:34 +0000]
eclipseclp/sepia: initialize vfs on Barrelfish

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

5 years agoeclipseclp: update config.h
Moritz Hoffmann [Tue, 23 Feb 2016 09:52:48 +0000]
eclipseclp: update config.h

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

5 years agoeclipseclp: Fix array overflow bug
Moritz Hoffmann [Tue, 23 Feb 2016 09:52:11 +0000]
eclipseclp: Fix array overflow bug

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

5 years agoeclipseclp: update Hakefiles
Moritz Hoffmann [Tue, 23 Feb 2016 09:51:37 +0000]
eclipseclp: update Hakefiles

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

5 years agoacpi: main(), check skb_client_connect return value
Moritz Hoffmann [Mon, 22 Feb 2016 15:29:32 +0000]
acpi: main(), check skb_client_connect return value

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