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

5 years agoMerge branch 'armv8'
David Cock [Wed, 12 Aug 2015 08:54:17 +0000]
Merge branch 'armv8'

Merged WIP so that it can be made public.

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

5 years agokernel: do not drop RAM caps
Simon Gerber [Thu, 6 Aug 2015 14:02:42 +0000]
kernel: do not drop RAM caps

When deleting last copy of a RAM-derived cap without going through the monitor
it is possible that the monitor endpoint is already occupied.  If that's the
case we used to just leak the reclaimed RAM cap.  This patch changes the
behaviour in that case to return SYS_ERR_RETRY_THROUGH_MONITOR which then
provides a free slot to put the freshly created RAM cap.

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

5 years agomorecore: fixing leaking slot allocator.(closes T153
Reto Achermann [Thu, 6 Aug 2015 11:44:11 +0000]
morecore: fixing leaking slot allocator.(closes T153

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

5 years agoMade errval_t a flounder builtin.
David Cock [Thu, 6 Aug 2015 11:16:38 +0000]
Made errval_t a flounder builtin.

The errval type is used internally by flounder, but has since been duplicated
to be passed around through interfaces by user code.  This led to a
proliferation of ifname_errval_t types, which were used interchangably in
user-level code.  This breaks once strict typedef checking is enforced, as in
recent GCC versions.  This is a bandaid fix, and there's a larger underlying
issue still to be resolved around how to deal with globally-defined types in
flounder.

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

5 years agomonitor: bugfixes in the revocation protocol
Reto Achermann [Wed, 5 Aug 2015 15:18:40 +0000]
monitor: bugfixes in the revocation protocol

revoke_local was called twice resulting in state corruption

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

5 years agomonitor: distops: add missing free + assert in retrieve.
Simon Gerber [Wed, 5 Aug 2015 13:50:56 +0000]
monitor: distops: add missing free + assert in retrieve.

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

5 years agomonitor: remove old capability code
Simon Gerber [Wed, 5 Aug 2015 13:50:36 +0000]
monitor: remove old capability code

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

5 years agomonitor: handover of correct state for cap revocations
Reto Achermann [Wed, 5 Aug 2015 11:34:56 +0000]
monitor: handover of correct state for cap revocations

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

5 years agoarm: fix caps_map_l1 for armv5 and remove panic()s in armv7
Simon Gerber [Tue, 4 Aug 2015 12:29:00 +0000]
arm: fix caps_map_l1 for armv5 and remove panic()s in armv7

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

5 years agoarmv5: add missing cp15_invalidate_i_and_d_caches_fast()
Simon Gerber [Tue, 4 Aug 2015 11:58:40 +0000]
armv5: add missing cp15_invalidate_i_and_d_caches_fast()

We just add a dummy cp15_invalidate_i_and_d_caches_fast() which calls
cp15_invalidate_i_and_d_caches().

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

5 years agolarge page morecore: add command line options to test
Simon Gerber [Mon, 3 Aug 2015 13:42:20 +0000]
large page morecore: add command line options to test

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

5 years ago32bit arm: fix large page support. Close T148.
Simon Gerber [Wed, 22 Jul 2015 13:06:31 +0000]
32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

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

5 years agoarm: implement flush cache debug syscall
Simon Gerber [Thu, 30 Jul 2015 14:08:27 +0000]
arm: implement flush cache debug syscall

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

5 years agoMarked problematic code in ARM subtree.
David Cock [Wed, 8 Jul 2015 11:51:09 +0000]
Marked problematic code in ARM subtree.

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

5 years agoRemove serial port hardcoding.
David Cock [Wed, 8 Jul 2015 11:49:54 +0000]
Remove serial port hardcoding.

The data section is now usable, so it's unnecessary.

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

5 years agoSeperated the tool prefix from the tool name for ARMv8.
David Cock [Wed, 8 Jul 2015 11:10:52 +0000]
Seperated the tool prefix from the tool name for ARMv8.

This makes it easier to select a different cross compiler.

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

5 years agoXeon Phi: fixing race condition when booting two cards simultaneously. release2015-07-14
Reto Achermann [Tue, 30 Jun 2015 16:48:39 +0000]
Xeon Phi: fixing race condition when booting two cards simultaneously.

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

5 years agoharness: adding k1om to build archs for babybel adapting phi boot test
Reto Achermann [Fri, 26 Jun 2015 07:10:38 +0000]
harness: adding k1om to build archs for babybel adapting phi boot test

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

5 years agokernel: adding padding for multi boot information to match size on all archs.
Reto Achermann [Thu, 25 Jun 2015 20:03:43 +0000]
kernel: adding padding for multi boot information to match size on all archs.

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

5 years agofixing debug printf in xeon phi boot
Reto Achermann [Thu, 25 Jun 2015 20:02:13 +0000]
fixing debug printf in xeon phi boot

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

5 years agoXeon Phi test: updating test suite to match the new boot loader interfacewq
Reto Achermann [Thu, 25 Jun 2015 19:55:37 +0000]
Xeon Phi test: updating test suite to match the new boot loader interfacewq

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

5 years agoXeon Phi boot: getting rid of the single boot image and dependencies
Reto Achermann [Thu, 25 Jun 2015 14:52:54 +0000]
Xeon Phi boot: getting rid of the single boot image and dependencies

Adapting the boot protocol of the Xeon Phi cards to dynamically
load the individual modules at run time rather than compile time.

The following sources can be used to load the modules
- in ramfs of host machine
- from a TFTP server (using the --tftp flag)
- from NFS (using the --nfs flag)

The modules to be loaded are specified in a supplied menu.lst file.
The parameter  --modlist can be used to specify that file.

The boot driver will handle the generation of the needed data structures
and headers when the card boots.

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

5 years agolibtftp: initial commit of a simple tftp client library
Reto Achermann [Thu, 25 Jun 2015 14:07:59 +0000]
libtftp: initial commit of a simple tftp client library

generic usage:
  tftp_client_connect();
  tftp_client_read_file();
  tftp_client_disconnect();

Currently, timeouts are not handled.

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

5 years agoKaluga: fix ARM build
Reto Achermann [Mon, 22 Jun 2015 10:08:19 +0000]
Kaluga: fix ARM build

adding include for pci.h also for the ARM build to get the
definition of struct pci_address

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

5 years agoDeviceDB: setting coreoffset to 10 in Xeon Phi driver.
Reto Achermann [Mon, 22 Jun 2015 09:28:32 +0000]
DeviceDB: setting coreoffset to 10 in Xeon Phi driver.

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

5 years agoharness: adding test for xeon phi boot
Reto Achermann [Mon, 22 Jun 2015 09:28:08 +0000]
harness: adding test for xeon phi boot

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

5 years agoXeon Phi: adding functionality to suppress dma initialization
Reto Achermann [Mon, 22 Jun 2015 07:39:48 +0000]
Xeon Phi: adding functionality to suppress dma initialization

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

5 years agoXeon Phi boot: moving control from monitor to xeon phi driver
Reto Achermann [Mon, 22 Jun 2015 07:38:42 +0000]
Xeon Phi boot: moving control from monitor to xeon phi driver

removing spawning of corectrl to the xeon phi driver domain.

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

5 years agoarmv8: cleanup.
Simon Gerber [Fri, 19 Jun 2015 17:07:46 +0000]
armv8: cleanup.

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

5 years agoarmv8: remove old GOT stuff.
Simon Gerber [Fri, 19 Jun 2015 16:54:52 +0000]
armv8: remove old GOT stuff.

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

5 years agoarmv8: add definitions for VMSAv8-64 translation table entries.
Simon Gerber [Fri, 19 Jun 2015 15:44:27 +0000]
armv8: add definitions for VMSAv8-64 translation table entries.

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

5 years agoarmv8: cpu driver improvements.
Simon Gerber [Fri, 19 Jun 2015 13:36:48 +0000]
armv8: cpu driver improvements.

* Set exception vector base register
* Use provided kernel stack
* implement some system register inline assembly
* Clean up arch_init()
* Add prototypes for paging_init() and paging_dump().

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

5 years agok1om-release: fixing missing headers
Reto Achermann [Fri, 19 Jun 2015 10:07:15 +0000]
k1om-release: fixing missing headers

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

5 years agokernel: zeroing out new memory allocated by phys_alloc
Reto Achermann [Fri, 19 Jun 2015 10:04:18 +0000]
kernel: zeroing out new memory allocated by phys_alloc

on the Xeon Phi this memory was sometimes not zeroed out causing
problems with non-empty slots in the CNODES.

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

5 years agocoreboot: adding missing if/ dependencies to Hakefile (octopus, acpi)
Reto Achermann [Fri, 19 Jun 2015 09:09:48 +0000]
coreboot: adding missing if/ dependencies to Hakefile (octopus, acpi)

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

5 years agoT125: network starup workaroud
Reto Achermann [Fri, 19 Jun 2015 07:33:42 +0000]
T125: network starup workaroud

Machines having more than one e1000 network card in it sometimes
use the wrong card to initialize the network infrastructure.

Adding an argument to kaluga eth0={PCIADDRESS} to tell Kaluga
which device to take to initialize the network.
the address has format: PCIADDRESS=bus:dev:fun

closes T125

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

5 years agocoreboot: adding monitor rpc client to the hake file
Reto Achermann [Fri, 19 Jun 2015 06:33:39 +0000]
coreboot: adding monitor rpc client to the hake file

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

5 years agok1om kernel: adapting the changes of the x86_64 in init and startup arch
Reto Achermann [Thu, 18 Jun 2015 16:56:32 +0000]
k1om kernel: adapting the changes of the x86_64 in init and startup arch

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

5 years agolibbarrelfish: merging arch specific hearders for k1om and x86_64
Reto Achermann [Thu, 18 Jun 2015 16:50:29 +0000]
libbarrelfish: merging arch specific hearders for k1om and x86_64

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

5 years agohake: adding missing include path to the k1om kernel
Reto Achermann [Thu, 18 Jun 2015 16:38:20 +0000]
hake: adding missing include path to the k1om kernel

The include path 'include/arch/x86_64' was missing in the
kernel optIncludes for K1om.

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

5 years agokernel: removing duplicated headers for k1om
Reto Achermann [Thu, 18 Jun 2015 16:37:20 +0000]
kernel: removing duplicated headers for k1om

merging the k1om and x86_64 headers in the kernel.

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

5 years agok1om: aliasing rdtscp with rdtsc
Reto Achermann [Thu, 18 Jun 2015 16:00:04 +0000]
k1om: aliasing rdtscp with rdtsc

on the Xeon Phi rdtscp instructions are not available. using rdtsc instead.

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

5 years agolibconcurrent: add include file to stddbool into header.
Reto Achermann [Thu, 18 Jun 2015 15:59:13 +0000]
libconcurrent: add include file to stddbool into header.

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

5 years agoasmoffests: merging x86_64 and k1om preprocessor directives
Reto Achermann [Thu, 18 Jun 2015 15:57:40 +0000]
asmoffests: merging x86_64 and k1om preprocessor directives

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

5 years agoweever: adding x86_64 includes to the hake file
Reto Achermann [Thu, 18 Jun 2015 15:57:14 +0000]
weever: adding x86_64 includes to the hake file

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

5 years agotestconcurrent: reordering includes
Reto Achermann [Thu, 18 Jun 2015 15:55:44 +0000]
testconcurrent: reordering includes

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

5 years agok1om: re-adding architecture dependent asm_inlines file for delay()
Reto Achermann [Thu, 18 Jun 2015 15:40:31 +0000]
k1om: re-adding architecture dependent asm_inlines file for delay()

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

5 years agohake: switching include paths and adding additional includes to K1om
Reto Achermann [Thu, 18 Jun 2015 15:36:07 +0000]
hake: switching include paths and adding additional includes to K1om

Moving application specific includes before the standard ones

Adding the x86_64 includes after the k1om to support both headers

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

5 years agoXeon Phi: Removing duplicated headers
Reto Achermann [Thu, 18 Jun 2015 15:28:27 +0000]
Xeon Phi: Removing duplicated headers

Most of the headers of the Xeon Phi architecture were copies
or used the X86_64 architecture. We reuse the x86_64 headers
directly now.

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

5 years agoarmv8: non-functioning exception vectors.
Simon Gerber [Thu, 18 Jun 2015 16:01:13 +0000]
armv8: non-functioning exception vectors.

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

5 years agoarmv8: try to print things.
Simon Gerber [Thu, 18 Jun 2015 08:56:23 +0000]
armv8: try to print things.

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

5 years agoT123: kernel: remove scc-specific code from x86_32 init.c release2015-06-18
Moritz Hoffmann [Wed, 17 Jun 2015 14:07:34 +0000]
T123: kernel: remove scc-specific code from x86_32 init.c

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

5 years agoT121: kernel: fix BSP KCB creation on x86_32 and armv5
Moritz Hoffmann [Wed, 17 Jun 2015 14:06:37 +0000]
T121: kernel: fix BSP KCB creation on x86_32 and armv5

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

5 years agoT121: kernel: Make BSP KCB a proper capability on ARM
Moritz Hoffmann [Wed, 17 Jun 2015 13:20:21 +0000]
T121: kernel: Make BSP KCB a proper capability on ARM

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

5 years agoT121: kernel: Add missing include
Moritz Hoffmann [Tue, 16 Jun 2015 16:13:08 +0000]
T121: kernel: Add missing include

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

5 years agokernel: Remove references arch_init to bspkcb which does not exist anymore
Moritz Hoffmann [Tue, 16 Jun 2015 15:24:07 +0000]
kernel: Remove references arch_init to bspkcb which does not exist anymore

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

5 years agoT119: kernel: Implement cap invocation for arm, x86_32
Moritz Hoffmann [Tue, 16 Jun 2015 11:35:47 +0000]
T119: kernel: Implement cap invocation for arm, x86_32

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

5 years agotrace: Consistent includes across all platforms
Moritz Hoffmann [Tue, 16 Jun 2015 11:34:23 +0000]
trace: Consistent includes across all platforms

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

5 years agokernel: fix object creation for KCB on arm, x86_32
Moritz Hoffmann [Tue, 16 Jun 2015 11:33:28 +0000]
kernel: fix object creation for KCB on arm, x86_32

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

5 years agoT119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall...
Moritz Hoffmann [Mon, 15 Jun 2015 15:06:29 +0000]
T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall. Use capinvoke from fish instead. Improve output formatting.

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

5 years agoT119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information
Moritz Hoffmann [Mon, 15 Jun 2015 14:40:27 +0000]
T119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information

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

5 years agoT119: kernel: Unify debug_print_capabilities in sys_debug.c
Moritz Hoffmann [Mon, 15 Jun 2015 11:27:30 +0000]
T119: kernel: Unify debug_print_capabilities in sys_debug.c

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

5 years agoT118: libbarrelfish: Refactor architecture specific debug syscalls. Move common debug...
Moritz Hoffmann [Mon, 15 Jun 2015 11:24:57 +0000]
T118: libbarrelfish: Refactor architecture specific debug syscalls. Move common debug syscalls to top level sys_debug.c

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

5 years agoT119: add case when we find init rootcn in KCB.
Simon Gerber [Mon, 15 Jun 2015 09:17:53 +0000]
T119: add case when we find init rootcn in KCB.

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

5 years agokernel: fix object creation for KCB.
Simon Gerber [Mon, 15 Jun 2015 09:17:00 +0000]
kernel: fix object creation for KCB.

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

5 years agoT121: Create "real" BSP KCB cap for x86.
Simon Gerber [Mon, 15 Jun 2015 09:16:25 +0000]
T121: Create "real" BSP KCB cap for x86.

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

5 years agoT119: work in progress, use mdb tree call-back function to gather data
Moritz Hoffmann [Mon, 15 Jun 2015 07:52:12 +0000]
T119: work in progress, use mdb tree call-back function to gather data

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

5 years agoT119: implement syscall and monitor interface to debug_print_capabilities
Moritz Hoffmann [Thu, 11 Jun 2015 15:27:26 +0000]
T119: implement syscall and monitor interface to debug_print_capabilities

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

5 years agoCloses T118: libbarrelfish: Extract common syscalls into architecture-independant...
Moritz Hoffmann [Thu, 11 Jun 2015 14:50:28 +0000]
Closes T118: libbarrelfish: Extract common syscalls into architecture-independant syscalls.h

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

5 years agolibnuma: implementing missing allocation functions + large page support
Reto Achermann [Tue, 16 Jun 2015 09:32:12 +0000]
libnuma: implementing missing allocation functions + large page support

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

5 years agolibbomp: match the new bitmap interface for prev/next calls.
Reto Achermann [Tue, 16 Jun 2015 09:30:17 +0000]
libbomp: match the new bitmap interface for prev/next calls.

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

5 years agolibbitmap: changing semantics of bitmap_bit_{prev|next}
Reto Achermann [Tue, 16 Jun 2015 09:26:51 +0000]
libbitmap: changing semantics of bitmap_bit_{prev|next}

adapting the semantics of those functions to match the function
description.
changing type of bitmap_bit_t to signed integer to be able
to check for negativity.

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

5 years agomemobj: adding missing implementation of unfill for memobj_numa
Reto Achermann [Tue, 16 Jun 2015 09:18:18 +0000]
memobj: adding missing implementation of unfill for memobj_numa

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

5 years agoFixes T120: mdb: Add mdb tree traversal functions.
Moritz Hoffmann [Fri, 12 Jun 2015 14:09:54 +0000]
Fixes T120: mdb: Add mdb tree traversal functions.

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

5 years agoAdding missing THC dependencies in Hakefile of Xeon Phi driver.
Reto Achermann [Mon, 15 Jun 2015 06:16:18 +0000]
Adding missing THC dependencies in Hakefile of Xeon Phi driver.

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