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

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

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

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

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

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

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

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

4 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

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

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

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

5 years agoxeon phi: remove legacy xeon phi directory from tools
Reto Achermann [Fri, 21 Aug 2015 14:34:32 +0000]
xeon phi: remove legacy xeon phi directory from tools

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

5 years agoSwitched from hake.Path to System.FilePath
David Cock [Fri, 21 Aug 2015 13:35:06 +0000]
Switched from hake.Path to System.FilePath

The library functions are much faster.

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

5 years agoCleanup
David Cock [Fri, 21 Aug 2015 12:29:41 +0000]
Cleanup

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

5 years agolibposixcompat: adding x86_32 to build archs
Reto Achermann [Fri, 21 Aug 2015 06:43:41 +0000]
libposixcompat: adding x86_32 to build archs

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

5 years agoxeon phi: adding more debug printfs to the driver
Reto Achermann [Thu, 20 Aug 2015 16:21:51 +0000]
xeon phi: adding more debug printfs to the driver

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

5 years agohake: arch specific dependencies for libposixcompat
Reto Achermann [Thu, 20 Aug 2015 16:17:14 +0000]
hake: arch specific dependencies for libposixcompat

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

5 years agokernel: SYS_ERR_VMKIT_UNAVAIL on VM syscalls on Xeon Phi
Reto Achermann [Thu, 20 Aug 2015 12:27:52 +0000]
kernel: SYS_ERR_VMKIT_UNAVAIL on VM syscalls on Xeon Phi

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

5 years agoT156: acpi: properly set vtd_enabled
Simon Gerber [Thu, 20 Aug 2015 16:09:43 +0000]
T156: acpi: properly set vtd_enabled

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

5 years agoWalk directories in parallel (async)
David Cock [Wed, 19 Aug 2015 15:13:46 +0000]
Walk directories in parallel (async)

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

5 years agoUse a set for arch comparison, 9.0s
David Cock [Wed, 19 Aug 2015 14:32:30 +0000]
Use a set for arch comparison, 9.0s

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

5 years agoSped up path manipulation, down to 9.2s
David Cock [Wed, 19 Aug 2015 14:17:01 +0000]
Sped up path manipulation, down to 9.2s

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

5 years agoDown to 12s, targets build
David Cock [Wed, 19 Aug 2015 13:43:28 +0000]
Down to 12s, targets build

5 years agoDependency generation for Flounder bindings relies on Flounder def headers
David Cock [Wed, 19 Aug 2015 13:41:47 +0000]
Dependency generation for Flounder bindings relies on Flounder def headers

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

5 years agokernel: remove 0x prefix for unsigned format specfiers
Simon Gerber [Wed, 19 Aug 2015 11:27:03 +0000]
kernel: remove 0x prefix for unsigned format specfiers

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

5 years agogem5: make serial port configurable
Simon Gerber [Wed, 19 Aug 2015 11:26:29 +0000]
gem5: make serial port configurable

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

5 years agoxeon phi: fix vfs deps to not build megaraid
Simon Gerber [Tue, 18 Aug 2015 17:23:21 +0000]
xeon phi: fix vfs deps to not build megaraid

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

5 years agox86_64: syscall: Fix debug_notify_syscall so Xeon Phi compiles
Simon Gerber [Tue, 18 Aug 2015 16:24:44 +0000]
x86_64: syscall: Fix debug_notify_syscall so Xeon Phi compiles

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

5 years agoacpi: fix VT-d initialization.
Simon Gerber [Tue, 18 Aug 2015 11:09:33 +0000]
acpi: fix VT-d initialization.

Workaround for older machines: do not enable VT-d if the IOMMU does not
support large pages.

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

5 years agoReplaced old hake
David Cock [Tue, 18 Aug 2015 07:24:19 +0000]
Replaced old hake

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

5 years agoGenerates a Makefile
David Cock [Mon, 17 Aug 2015 19:22:53 +0000]
Generates a Makefile

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

5 years agoarrakis merge: Fix #defines in kernel/dispatch.c (again)
Simon Gerber [Mon, 17 Aug 2015 16:24:01 +0000]
arrakis merge: Fix #defines in kernel/dispatch.c (again)

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

5 years agoacpi: Abort VT-d initialization when no HW units found.
Simon Gerber [Mon, 17 Aug 2015 16:07:33 +0000]
acpi: Abort VT-d initialization when no HW units found.

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

5 years agoWIP on a faster hake
David Cock [Mon, 17 Aug 2015 14:41:00 +0000]
WIP on a faster hake

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

5 years agoharness: simplify exception handling in interactive test.
Simon Gerber [Mon, 17 Aug 2015 13:21:11 +0000]
harness: simplify exception handling in interactive test.

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

5 years agoe10k: add missing flounder binding
Simon Gerber [Mon, 17 Aug 2015 09:31:16 +0000]
e10k: add missing flounder binding

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

5 years agoharness: add TIMEOUT to expected exceptions in InteractiveTest
Simon Gerber [Mon, 17 Aug 2015 09:02:52 +0000]
harness: add TIMEOUT to expected exceptions in InteractiveTest

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

5 years agoarrakis merge: make x86_32 build
Simon Gerber [Mon, 17 Aug 2015 08:53:34 +0000]
arrakis merge: make x86_32 build

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

5 years agoT155: libbarrelfish: deregister waitset after event_queue_flush
Moritz Hoffmann [Mon, 17 Aug 2015 08:31:49 +0000]
T155: libbarrelfish: deregister waitset after event_queue_flush

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

5 years agoT155: libbarrelfish: update copyright notice for event_queue.{c,h}
Moritz Hoffmann [Mon, 17 Aug 2015 08:16:41 +0000]
T155: libbarrelfish: update copyright notice for event_queue.{c,h}

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

5 years agoT155: libbarrelfish: Implement event_queue_flush
Moritz Hoffmann [Mon, 17 Aug 2015 08:11:54 +0000]
T155: libbarrelfish: Implement event_queue_flush

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

5 years agox86: fix spawnd libdeps.
Simon Gerber [Fri, 14 Aug 2015 15:42:43 +0000]
x86: fix spawnd libdeps.

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

5 years agoarrakis merge: remove megaraid dependency for arm archs
Simon Gerber [Fri, 14 Aug 2015 15:03:16 +0000]
arrakis merge: remove megaraid dependency for arm archs

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

5 years agoarm: fix messed up ifdefs
Simon Gerber [Fri, 14 Aug 2015 15:01:15 +0000]
arm: fix messed up ifdefs

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

5 years agoT154: mask out vregion flag for arm
Simon Gerber [Fri, 14 Aug 2015 15:00:47 +0000]
T154: mask out vregion flag for arm

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

5 years agoharness: Default to an empty list, not None.
David Cock [Fri, 14 Aug 2015 11:13:33 +0000]
harness: Default to an empty list, not None.

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

5 years agokernel: Interaction of braces with #ifdefs was breaking the build.
David Cock [Fri, 14 Aug 2015 09:46:19 +0000]
kernel: Interaction of braces with #ifdefs was breaking the build.

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

5 years agoFix arrakis merge errors
Simon Gerber [Fri, 14 Aug 2015 07:16:19 +0000]
Fix arrakis merge errors

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

5 years agoMerge branch 'arrakis'
Simon Gerber [Fri, 14 Aug 2015 06:46:05 +0000]
Merge branch 'arrakis'

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

5 years agoT152: fixing memory leakage, missing of free state
Reto Achermann [Fri, 14 Aug 2015 06:42:04 +0000]
T152: fixing memory leakage, missing of free state

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

5 years agoT153: avoid code duplication when setting slot allocator
Reto Achermann [Fri, 14 Aug 2015 06:30:44 +0000]
T153: avoid code duplication when setting slot allocator

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

5 years agopci: fix missing out barnr.
Simon Gerber [Wed, 12 Aug 2015 09:19:32 +0000]
pci: fix missing out barnr.

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

5 years agopci: Expose real bar number to pci clients.
Moritz Hoffmann [Thu, 6 Aug 2015 16:14:32 +0000]
pci: Expose real bar number to pci clients.

In Barrelfish, the PCI BARs are compacted into a non-sparse array. Some devices
have bars that have gaps between them, for example 0 and 2, or 0 and 5. This
information can be inportant to drivers. In order to address this, this change
returns the bar number on the get_cap RPC call and stores it in the device_mem
struct.

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

5 years agoCloses T154: pmap, kernel: Add support for write-combining on ia32/64
Moritz Hoffmann [Thu, 13 Aug 2015 13:40:33 +0000]
Closes T154: pmap, kernel: Add support for write-combining on ia32/64

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

5 years agoSquashed a bug in paging code from the ARMv8 branch. release2015-08-13
David Cock [Wed, 12 Aug 2015 11:33:41 +0000]
Squashed a bug in paging code from the ARMv8 branch.

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