barrelfish
4 years agoFirst part of cleanup of ARMv7 code; booting on GEM5 and Pandaboards release2015-11-02
Timothy Roscoe [Mon, 30 Nov 2015 15:45:00 +0000]
First part of cleanup of ARMv7 code; booting on GEM5 and Pandaboards

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

4 years agoARMv8 interrupts now work properly.
David Cock [Fri, 27 Nov 2015 21:53:10 +0000]
ARMv8 interrupts now work properly.

GEM5-ARMv8 passes memtest, and is ready to release.

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

4 years agoRemoved Heterogeneous PandaBoard support
Timothy Roscoe [Fri, 27 Nov 2015 16:16:29 +0000]
Removed Heterogeneous PandaBoard support

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

4 years agoMore ARMv8 bugfixes. Boots now.
David Cock [Thu, 26 Nov 2015 16:00:59 +0000]
More ARMv8 bugfixes.  Boots now.

I wasn't resetting the kernel stack pointer correctly on resume, and was
loading syscall args from the wrong place (the stack) for IPC.

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

4 years agoFixed build failure for x86_64
David Cock [Wed, 25 Nov 2015 15:29:29 +0000]
Fixed build failure for x86_64

Removed an unused variable in the arch-specific context switch.

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

4 years agoNew ARMv8 vectors mostly work.
David Cock [Wed, 25 Nov 2015 14:59:29 +0000]
New ARMv8 vectors mostly work.

Still crashing on MDB code - something's corrupted.

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

4 years agoARMv8-GEM5 builds again, with the new exception vectors.
David Cock [Mon, 23 Nov 2015 15:22:37 +0000]
ARMv8-GEM5 builds again, with the new exception vectors.

Not tested.

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

4 years agoThe core of the new ARMv8 exception vectors
David Cock [Thu, 19 Nov 2015 15:56:39 +0000]
The core of the new ARMv8 exception vectors

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

4 years agoT24: remove remaining SCC code
Moritz Hoffmann [Tue, 17 Nov 2015 17:21:17 +0000]
T24: remove remaining SCC code

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

4 years agoMerge remote-tracking branch 'eth/machinemodel'
Moritz Hoffmann [Tue, 17 Nov 2015 13:11:43 +0000]
Merge remote-tracking branch 'eth/machinemodel'

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

4 years agosockeye: update documentation
Moritz Hoffmann [Tue, 17 Nov 2015 13:10:21 +0000]
sockeye: update documentation

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

4 years agohake: Improve Sockeye integration by using correct paths
Moritz Hoffmann [Tue, 17 Nov 2015 13:05:43 +0000]
hake: Improve Sockeye integration by using correct paths

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

4 years agosockeye: handle typedefs more consistently.
Moritz Hoffmann [Tue, 17 Nov 2015 10:12:49 +0000]
sockeye: handle typedefs more consistently.

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

4 years agosockeye: documentation, work-in-progress
Moritz Hoffmann [Mon, 16 Nov 2015 17:25:11 +0000]
sockeye: documentation, work-in-progress

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

4 years agoskb: improve client string processing
Moritz Hoffmann [Mon, 16 Nov 2015 17:24:22 +0000]
skb: improve client string processing

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

4 years agoskb/datagatherer: move error code into own group
Moritz Hoffmann [Mon, 16 Nov 2015 17:22:57 +0000]
skb/datagatherer: move error code into own group

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

4 years agosyscall: clarify unit of system clock in comment
Zaheer Chothia [Fri, 13 Nov 2015 19:02:51 +0000]
syscall: clarify unit of system clock in comment

Signed-off-by: Zaheer Chothia <zchothia@inf.ethz.ch>

4 years agoRestored ARMv7 GEM5 multiprocessor boot code
David Cock [Fri, 13 Nov 2015 09:55:40 +0000]
Restored ARMv7 GEM5 multiprocessor boot code

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

4 years agoSquashed "noreturn" warnings for panicking functions.
David Cock [Thu, 12 Nov 2015 14:23:45 +0000]
Squashed "noreturn" warnings for panicking functions.

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

4 years agoFixed ARMv7/ARMv5 build (again).
David Cock [Thu, 12 Nov 2015 13:49:24 +0000]
Fixed ARMv7/ARMv5 build (again).

I merged the integrator.c files, which was a mistake.  I've backed it out now.

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

4 years agoFixed ARMv7 GEM5 build
David Cock [Thu, 12 Nov 2015 13:16:16 +0000]
Fixed ARMv7 GEM5 build

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

4 years agoClean merge of HP's ARMv8 code
David Cock [Mon, 16 Nov 2015 12:29:51 +0000]
Clean merge of HP's ARMv8 code

This adds support for an ARMv8 core running in the GEM5 simulator

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

4 years agoskb/datagatherer: add error code for cpuid.
Moritz Hoffmann [Fri, 13 Nov 2015 15:40:08 +0000]
skb/datagatherer: add error code for cpuid.

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

4 years agoT186: skb: Fix off-by-one error when assembling query string.
Moritz Hoffmann [Fri, 13 Nov 2015 15:39:30 +0000]
T186: skb: Fix off-by-one error when assembling query string.

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

4 years agoskb/datagatherer: Use cpuid schema to populate SKB
Moritz Hoffmann [Fri, 13 Nov 2015 15:38:59 +0000]
skb/datagatherer: Use cpuid schema to populate SKB

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

4 years agosockeye: use different name functions for prolog names.
Moritz Hoffmann [Fri, 13 Nov 2015 15:38:05 +0000]
sockeye: use different name functions for prolog names.

Also, add two underscroes between module and specific name to avoid
clashes with already existing names.

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

4 years agoskb/datagatherer: use errval_t as return value for gather_cpuid_data.
Moritz Hoffmann [Fri, 13 Nov 2015 15:36:03 +0000]
skb/datagatherer: use errval_t as return value for gather_cpuid_data.

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

4 years agoskb/datagatherer: implement error handling.
Moritz Hoffmann [Fri, 13 Nov 2015 15:34:23 +0000]
skb/datagatherer: implement error handling.

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

4 years agoRename cpu.sockeye to cpuid.sockeye
Moritz Hoffmann [Fri, 13 Nov 2015 15:32:15 +0000]
Rename cpu.sockeye to cpuid.sockeye

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

4 years agoskb: use errval_t as return value where it actually is an errval_t
Moritz Hoffmann [Fri, 13 Nov 2015 15:22:29 +0000]
skb: use errval_t as return value where it actually is an errval_t

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

4 years agoMerge remote-tracking branch 'eth/master' into machinemodel
Moritz Hoffmann [Wed, 11 Nov 2015 14:41:33 +0000]
Merge remote-tracking branch 'eth/master' into machinemodel

4 years agoT185: machinemodel: use typedef'ed type instead of raw type as sockeye supports it now
Moritz Hoffmann [Wed, 11 Nov 2015 14:38:20 +0000]
T185: machinemodel: use typedef'ed type instead of raw type as sockeye supports it now

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

4 years agoT185: sockeye: update parser to do correct type rewiring
Moritz Hoffmann [Wed, 11 Nov 2015 14:37:20 +0000]
T185: sockeye: update parser to do correct type rewiring

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

4 years agoT185: machinemodel: add draft cpu and pci models.
Moritz Hoffmann [Mon, 2 Nov 2015 17:43:19 +0000]
T185: machinemodel: add draft cpu and pci models.

This is work in progress and is not complete yet due to problems
in the sockeye compiler.

4 years agoT185: sockeye: remove fact keyword from fact attributes.
Moritz Hoffmann [Mon, 2 Nov 2015 17:38:41 +0000]
T185: sockeye: remove fact keyword from fact attributes.

This change introduces a parsing problem as the we parse and
determine base types in one pass. The proper way to parse input
files would be to parse and then rewrite the AST to use types
instead of type names and do error checking on the fly.

4 years agohake: Remove unicode characters (ä -> ae) in header.
Moritz Hoffmann [Mon, 2 Nov 2015 17:36:14 +0000]
hake: Remove unicode characters (ä -> ae) in header.

4 years agohake: Do not descend into dot-directories (.*)
Moritz Hoffmann [Mon, 2 Nov 2015 17:35:42 +0000]
hake: Do not descend into dot-directories (.*)

4 years agoT185: sockeye: hake integration
Moritz Hoffmann [Mon, 2 Nov 2015 17:35:06 +0000]
T185: sockeye: hake integration

4 years agomonitor: replace cap_destroy() in identify_cap() rpc with capops_delete() release2015-10-30
Simon Gerber [Wed, 28 Oct 2015 17:21:15 +0000]
monitor: replace cap_destroy() in identify_cap() rpc with capops_delete()

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

4 years agosockeye: experimental schema transformation
Moritz Hoffmann [Wed, 28 Oct 2015 16:56:00 +0000]
sockeye: experimental schema transformation

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

4 years agoe10k: fix merge errors in virtual function code.
Simon Gerber [Tue, 27 Oct 2015 13:11:20 +0000]
e10k: fix merge errors in virtual function code.

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

4 years agosockeye: replace tabs by spaces
Moritz Hoffmann [Tue, 27 Oct 2015 12:10:19 +0000]
sockeye: replace tabs by spaces

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

4 years agosockeye: Improve code generation
Moritz Hoffmann [Tue, 27 Oct 2015 12:06:40 +0000]
sockeye: Improve code generation

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

4 years agosockeye: integrate with hake
Moritz Hoffmann [Tue, 27 Oct 2015 12:05:40 +0000]
sockeye: integrate with hake

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

4 years agoMerge branch 'master' into machinemodel
Moritz Hoffmann [Mon, 26 Oct 2015 13:27:04 +0000]
Merge branch 'master' into machinemodel

4 years agoRemove unused captx_abort_recv()
Simon Gerber [Thu, 1 Oct 2015 12:47:05 +0000]
Remove unused captx_abort_recv()

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

5 years agoDisable posix debugging.
Gerd Zellweger [Wed, 23 Sep 2015 11:51:33 +0000]
Disable posix debugging.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years agoAdjust pthreads tests to show mutex/join issue.
Gerd Zellweger [Thu, 21 May 2015 16:43:52 +0000]
Adjust pthreads tests to show mutex/join issue.

.. and its performance.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years agoFix pthread attrs after merge with current master.
Gerd Zellweger [Wed, 23 Sep 2015 09:39:17 +0000]
Fix pthread attrs after merge with current master.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years agoAdded getpagesize() function.
Gerd Zellweger [Wed, 6 May 2015 11:59:17 +0000]
Added getpagesize() function.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years agoAdded support for a basic pthread barrier
Jana Giceva [Fri, 8 May 2015 12:45:53 +0000]
Added support for a basic pthread barrier

Signed-off-by: Jana Giceva <gicevaj@inf.ethz.ch>
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years agoAdded listfacts Program to print the contents of the SKB.
Gerd Zellweger [Thu, 11 Apr 2013 11:03:07 +0000]
Added listfacts Program to print the contents of the SKB.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years agoBasic implementation for posix_memalign.
Gerd Zellweger [Wed, 13 May 2015 11:45:45 +0000]
Basic implementation for posix_memalign.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years ago[T102] Implement CPU_SET and pthread_attr_setaffinity_np. Closes T102.
Gerd Zellweger [Mon, 18 May 2015 14:49:28 +0000]
[T102] Implement CPU_SET and pthread_attr_setaffinity_np. Closes T102.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Conflicts:
lib/newlib/newlib/libc/include/sys/types.h
lib/posixcompat/pthreads.c
usr/tests/posixcompat/Tupfile.lua

5 years ago[T104] Add ability to query _SC_NPROCESSORS_ONLN in sysconf.
Gerd Zellweger [Wed, 20 May 2015 16:28:39 +0000]
[T104] Add ability to query _SC_NPROCESSORS_ONLN in sysconf.

Closes T104.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

5 years agolibbarrelfish: provide list of ORed ObjType_s for cap tracing.
Simon Gerber [Mon, 21 Sep 2015 15:09:06 +0000]
libbarrelfish: provide list of ORed ObjType_s for cap tracing.

This addresses the issue that we provide a boolean value for the kernel
function that controls whether to trace all operations on physical memory
capabilitites which expects a list of ORed ObjType_s.

Closes T164.

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

5 years agoFix wrong initial value for total buffer length in tracing and add assertions
Simon Gerber [Wed, 16 Sep 2015 13:05:30 +0000]
Fix wrong initial value for total buffer length in tracing and add assertions

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

5 years agoDon't ignore source roots that are just "." or ".."
David Cock [Tue, 15 Sep 2015 09:43:41 +0000]
Don't ignore source roots that are just "." or ".."

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

5 years agoFixed interface change for thread create in OpenMP library
Stefan Kaestle [Mon, 14 Sep 2015 13:34:51 +0000]
Fixed interface change for thread create in OpenMP library

Signed-off-by: Stefan Kaestle <stefan.kaestle@inf.ethz.ch>

5 years agohake: fix source directory without tailing /
Stefan Kaestle [Wed, 9 Sep 2015 14:07:26 +0000]
hake: fix source directory without tailing /

Signed-off-by: Stefan Kaestle <stefan.kaestle@inf.ethz.ch>

5 years agolibposixcompat: use explicit list of C files instead of glob
Simon Gerber [Mon, 14 Sep 2015 11:00:24 +0000]
libposixcompat: use explicit list of C files instead of glob

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

5 years agoplatforms/Hakefile: Add tests_common to tests_x86
Simon Gerber [Mon, 14 Sep 2015 10:59:58 +0000]
platforms/Hakefile: Add tests_common to tests_x86

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

5 years agoRemoved reference to SCC docs. release2015-09-03
David Cock [Wed, 2 Sep 2015 07:35:46 +0000]
Removed reference to SCC docs.

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

5 years agoSplit Fugu .h and .c generation
David Cock [Tue, 1 Sep 2015 15:07:12 +0000]
Split Fugu .h and .c generation

Doing them in one step leads to a race in a parallel make, with Fugu being
run twice, and clobbering its previous output.

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

5 years agoAdded async dep for hake
David Cock [Tue, 1 Sep 2015 13:24:34 +0000]
Added async dep for hake

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

5 years agoAdded pandaboards to eth_machinedata.py (harness)
David Cock [Tue, 1 Sep 2015 13:04:44 +0000]
Added pandaboards to eth_machinedata.py (harness)

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

5 years agoARMv5 doesn't actually use romfs_size.h
David Cock [Tue, 1 Sep 2015 08:33:52 +0000]
ARMv5 doesn't actually use romfs_size.h

n.b. If we want to resurrect XScale, we'll need to reimplement proper
generation of the romfs size information, preferably with a binary patch
to avoid compiling everything twice.

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

5 years agoDocument Haskell package dependencies for Hake
David Cock [Mon, 31 Aug 2015 13:48:13 +0000]
Document Haskell package dependencies for Hake

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

5 years agoUpdated harness builds to match hake.sh
David Cock [Mon, 31 Aug 2015 14:47:51 +0000]
Updated harness builds to match hake.sh

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

5 years agoFixed a broken tool path
David Cock [Mon, 31 Aug 2015 13:43:03 +0000]
Fixed a broken tool path

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

5 years agoConsolidated toolchain selection
David Cock [Mon, 31 Aug 2015 12:39:43 +0000]
Consolidated toolchain selection

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

5 years agoQuieted make a little.
David Cock [Mon, 31 Aug 2015 11:15:49 +0000]
Quieted make a little.

make help now only produces 600kB of spew, rather than >1MB, and runs 30%
faster.

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

5 years agoAdd explicit dependency from asmoffsets.s to errno.h
David Cock [Mon, 31 Aug 2015 09:19:12 +0000]
Add explicit dependency from asmoffsets.s to errno.h

Otherwise there's a race condition.

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

5 years agoDon't run hake twice for 'make rehake'
David Cock [Mon, 31 Aug 2015 08:55:33 +0000]
Don't run hake twice for 'make rehake'

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

5 years agoUpdated hake build rules
David Cock [Mon, 31 Aug 2015 07:45:39 +0000]
Updated hake build rules

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

5 years agoMore reasonable error output from Hake
David Cock [Sun, 30 Aug 2015 14:49:37 +0000]
More reasonable error output from Hake

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

5 years agoRemoved ARM11MP - unsupported and non-functional.
David Cock [Fri, 28 Aug 2015 15:18:48 +0000]
Removed ARM11MP - unsupported and non-functional.

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

5 years agoUpdate -j N guidance
David Cock [Fri, 28 Aug 2015 15:12:46 +0000]
Update -j N guidance

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

5 years agoXScale builds
David Cock [Fri, 28 Aug 2015 15:10:19 +0000]
XScale builds

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

5 years agoMade optimisation flags overridable per-platform.
David Cock [Fri, 28 Aug 2015 14:55:59 +0000]
Made optimisation flags overridable per-platform.

armv7-m needs to avoid -O2.

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

5 years agoarmv7-m (heteropanda) builds.
David Cock [Fri, 28 Aug 2015 14:00:01 +0000]
armv7-m (heteropanda) builds.

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

5 years agoBetter description of hake phases
David Cock [Fri, 28 Aug 2015 11:33:04 +0000]
Better description of hake phases

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

5 years agoMake hake.sh parallelism configurable (-j N)
David Cock [Fri, 28 Aug 2015 09:39:18 +0000]
Make hake.sh parallelism configurable (-j N)

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

5 years agoARMv5 & XScale build.
David Cock [Fri, 28 Aug 2015 09:18:56 +0000]
ARMv5 & XScale build.

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

5 years agoAdd -Wformat explicitly wherever -Wformat-security appears
David Cock [Thu, 27 Aug 2015 18:40:58 +0000]
Add -Wformat explicitly wherever -Wformat-security appears

This was causing a warning with some compilers.

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

5 years agoMade lib/numa compile on x86_32
David Cock [Thu, 27 Aug 2015 18:27:22 +0000]
Made lib/numa compile on x86_32

My fixes will need to be looked at by someone familiar with the code.

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

5 years agoNew-style Xeon Phi build
David Cock [Thu, 27 Aug 2015 14:49:02 +0000]
New-style Xeon Phi build

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

5 years agoRemoved SCC
David Cock [Thu, 27 Aug 2015 11:39:42 +0000]
Removed SCC

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

5 years agoMerge branch 'master' into hake-platforms
David Cock [Thu, 27 Aug 2015 11:24:13 +0000]
Merge branch 'master' into hake-platforms

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

Conflicts:
hake/Args.hs
hake/Main.hs
hake/RuleDefs.hs

5 years agoSet RTSOPTS on build
David Cock [Mon, 24 Aug 2015 08:59:01 +0000]
Set RTSOPTS on build

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

5 years agoCleanup
David Cock [Mon, 24 Aug 2015 08:46:44 +0000]
Cleanup

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

5 years agoCleanup
David Cock [Mon, 24 Aug 2015 08:29:37 +0000]
Cleanup

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

5 years agoGenerate source-tree relative filenames straight away
David Cock [Mon, 24 Aug 2015 08:28:34 +0000]
Generate source-tree relative filenames straight away

5 years agoTreeDB merge operation
David Cock [Mon, 24 Aug 2015 08:23:18 +0000]
TreeDB merge operation

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

5 years agoKeep directory lists sorted
David Cock [Mon, 24 Aug 2015 08:13:29 +0000]
Keep directory lists sorted

5 years agoFixed a few bugs in the new search combinators
David Cock [Mon, 24 Aug 2015 07:29:28 +0000]
Fixed a few bugs in the new search combinators

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

5 years agoReplaced allfiles list with a Trie
David Cock [Sun, 23 Aug 2015 20:11:21 +0000]
Replaced allfiles list with a Trie

Roughly 2x speedup

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

5 years agosockeye: Fixing quotation marks
Reto Achermann [Fri, 21 Aug 2015 15:36:56 +0000]
sockeye: Fixing quotation marks

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

5 years agoWasn't outputting Target tokens
David Cock [Fri, 21 Aug 2015 15:13:21 +0000]
Wasn't outputting Target tokens

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

5 years agoVT-d: basic support for multiple units per segment. closes T157. release2015-08-25
Reto Achermann [Fri, 21 Aug 2015 14:59:21 +0000]
VT-d: basic support for multiple units per segment. closes T157.

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