7 years agomerge release2013-06-07
Kornilios Kourtis [Thu, 6 Jun 2013 06:13:14 +0000]

7 years mkdir first when generating romfs_size.h
Kornilios Kourtis [Thu, 6 Jun 2013 06:12:33 +0000] mkdir first when generating romfs_size.h

There seems to be a race in parallel builds:
echo "size_t romfs_cpio_archive_size = 0; //should not see this" > armv5/include/romfs_size.h
/bin/sh: cannot create armv5/include/romfs_size.h: Directory nonexistent

7 years agoRemoved
Simon Peter [Wed, 5 Jun 2013 02:31:54 +0000]

7 years agoNew debug scripts.
Simon Peter [Wed, 5 Jun 2013 02:31:37 +0000]
New debug scripts.

* Removed a lot of old, unused cruft
* This does not depend on a pre-processed anymore
* Added example
* Uses user-specific TCP port for GDB->QEMU connection

7 years agoe1000: add octopus flounder defs/bindings
Kornilios Kourtis [Tue, 4 Jun 2013 13:02:31 +0000]
e1000: add octopus flounder defs/bindings

7 years agomerge
Kornilios Kourtis [Mon, 3 Jun 2013 14:45:23 +0000]

7 years agoCheck if child processes exist before terminating them
Stefan Kaestle [Mon, 3 Jun 2013 10:19:55 +0000]
Check if child processes exist before terminating them

7 years agoAdded omap44xx_mmu again to fix dependency error when building arm_gem5_image.
Stefan Kaestle [Mon, 3 Jun 2013 10:18:35 +0000]
Added omap44xx_mmu again to fix dependency error when building arm_gem5_image.
Improved code formatting.

7 years agoDummy commit
Stefan Kaestle [Fri, 31 May 2013 13:46:51 +0000]
Dummy commit

7 years agoarmv7: disable vfp instructions for the cpu driver
Wang Nan [Fri, 31 May 2013 12:39:44 +0000]
armv7: disable vfp instructions for the cpu driver

Some compiler generates vfp instructions such as vpush, vldr for normal code in
cpu driver, which introduces complexity (related to fpu state).  I propose a
patch which disables vfp instructions in cpu driver code.

7 years agoarmv7: align exception stack with 8 bytes
Wang Nan [Fri, 31 May 2013 12:11:44 +0000]
armv7: align exception stack with 8 bytes

Here I propose a small patch which adjust arm exception stacks.

You can try 'printf("0x%016llx", 0x12345678ULL)' in undef handler. ARM abi
require stack be 8 bytes aligned, but original code setups 4   bytes gaps
between 2 stacks, makes irq_stack and undef_stack misaligned.


7 years agoAuto append the current year to the results path for a test.
Gerd Zellweger [Thu, 30 May 2013 09:35:03 +0000]
Auto append the current year to the results path for a test.

This should avoid the "OSError: [Errno 31] Too many links" error in future tests.
We ran into this because we hit the ext3 limit in maximum subdirectories (32000)
in our test result directory. For now, lets hope we don't have more than 32000
test runs per year.

7 years agoPEP-8 Autoformatting.
Gerd Zellweger [Thu, 30 May 2013 09:34:39 +0000]
PEP-8 Autoformatting.

7 years agomerge
Kornilios Kourtis [Wed, 29 May 2013 08:25:52 +0000]

7 years agoUsing platform independent size specifier 'z' in printf() for size_t.
Gerd Zellweger [Wed, 29 May 2013 07:48:22 +0000]
Using platform independent size specifier 'z' in printf() for size_t.

Makes sure we can compile for 32bit.

7 years agoDon't write txce register in PHY mode.
Gerd Zellweger [Fri, 24 May 2013 13:38:54 +0000]
Don't write txce register in PHY mode.
Don't write asde register for 8257X variants.

7 years agoUse 82575 auto-negotiation for 82576 cards as well -- even though it already worked...
Gerd Zellweger [Fri, 24 May 2013 08:51:20 +0000]
Use 82575 auto-negotiation for 82576 cards as well -- even though it already worked for these cards with the old code.

7 years agoLink-up routine for 82575 cards.
Gerd Zellweger [Fri, 24 May 2013 08:32:57 +0000]
Link-up routine for 82575 cards.

7 years agoSet bsize to 0 for 82575 cards (i.e., use 2048 bytes receive buffers).
Gerd Zellweger [Fri, 24 May 2013 06:51:35 +0000]
Set bsize to 0 for 82575 cards (i.e., use 2048 bytes receive buffers).

This avoids splitted packets in the receive handler.

7 years agoWrite Interrupt interval in extended register for 82575 cards.
Gerd Zellweger [Wed, 22 May 2013 14:44:21 +0000]
Write Interrupt interval in extended register for 82575 cards.

7 years agobsex bit does no longer exist in 82575 cards.
Gerd Zellweger [Fri, 24 May 2013 06:49:21 +0000]
bsex bit does no longer exist in 82575 cards.

7 years agoUse different rxdctl register for 82575 cards.
Gerd Zellweger [Fri, 24 May 2013 06:44:29 +0000]
Use different rxdctl register for 82575 cards.

7 years agoSet e1000_glci as default case for all cards that are not special cases.
Gerd Zellweger [Fri, 24 May 2013 07:17:32 +0000]
Set e1000_glci as default case for all cards that are not special cases.

7 years agoDon't write int_tca register for 82575 variants.
Gerd Zellweger [Fri, 24 May 2013 06:39:06 +0000]
Don't write int_tca register for 82575 variants.

7 years agoSet IPG Register for 82575 card variants.
Gerd Zellweger [Fri, 24 May 2013 06:37:25 +0000]
Set IPG Register for 82575 card variants.

7 years agoAdded another version for the txdctl register for the 82575 cards.
Gerd Zellweger [Thu, 23 May 2013 16:09:45 +0000]
Added another version for the txdctl register for the 82575 cards.

This is especially important because the new cards have the enable bit inside this register to enable/disable queues.
The code for the older cards set this bit to 0, therefore disabling the transmit queue.

7 years agoFixed false register name in e1000 mackerel file (was bst, now cold) and adjusted...
Gerd Zellweger [Wed, 22 May 2013 11:03:36 +0000]
Fixed false register name in e1000 mackerel file (was bst, now cold) and adjusted the function call in the C code.

7 years agoFix Flounder messaging (TX_BUSY) for iref allocation inside the monitor.
Simon Peter [Thu, 16 May 2013 06:51:12 +0000]
Fix Flounder messaging (TX_BUSY) for iref allocation inside the monitor.

7 years agoMoved mmap region resizing to general mmap formatting code.
Simon Gerber [Tue, 21 May 2013 14:11:10 +0000]
Moved mmap region resizing to general mmap formatting code.

7 years agoMake IO APIC work on machines where its memory map entry is smaller than a page.
Stefan Kaestle [Thu, 16 May 2013 13:51:50 +0000]
Make IO APIC work on machines where its memory map entry is smaller than a page.

On some machines (brie1) the IOAPIC region is only 1kB. Currently we are not able to map regions that are less than the page size so we increase the size of the region for such cases to one page.

7 years agoAdded licensing and formatted according to Barrelfish coding guidelines.
Gerd Zellweger [Tue, 14 May 2013 15:48:18 +0000]
Added licensing and formatted according to Barrelfish coding guidelines.

7 years agoAdded e1000 support for the follwing e1000 cards:
Gerd Zellweger [Tue, 14 May 2013 14:11:39 +0000]
Added e1000 support for the follwing e1000 cards:
 - 82574L
 - 82575EB
 - 82576EG
The 82575EB, 82576EG are somewhat different and do not transmit
anything at the moment. However since they are in our rack we
might want to work on those at some point.

Fixed some issues encountered on our test machines:
- In case auto-negotiation fails (in our machines with 82572 cards),
  unset bit for auto-negotiation and force the link manually.
- 82574L does not seem to have ee_pres bit set
  However, if we don't read from the EEPROM we cannot
  get a mac address for our card, therefore we force the
  read for this device right now.

7 years agoUse Octopus trigger to watch for e1000 cards that might appear after e1000 has started.
Gerd Zellweger [Tue, 14 May 2013 12:53:44 +0000]
Use Octopus trigger to watch for e1000 cards that might appear after e1000 has started.

This makes sure e1000 works without using Kaluga. With the old code a race between PCI
and e1000 was possible (ie. e1000 looks for device records before PCI has added them).

7 years agoI've finished the work on the e1000 driver. All previous out standing issues have...
Mateusz Olczak [Tue, 14 May 2013 15:46:06 +0000]
I've finished the work on the e1000 driver. All previous out standing issues have now been resolved.

* e1000 driver now works under Qemu, Simics and VirtualBox.
* Extended the number of supported NICs.
* Moved the e1000 driver to Mackerel 2 interface.
* e1000n_hwinit.c:
   * e1000 driver now takes in consideration what card you have. Handles different cards more correctly.
   * EEPROM: Extended the set of cards where eeprom reads are handled correctly for that card.
     * Extended this set of supported cards.
     * Checking that EEPROM read is done.
     * Bailout and inform if EEPROM is not present.
     * New read MAC address code.
   * New card reset code.
   * MAC address: Was not programmed correctly.
   * Setting serial interface correctly for more cards. (previously same setting was made for all cards.)
   * Link auto-negotiation. (previously link type and speed was forced disregarding if it was supported by media)
   * Correctly setting hardware supported receive buffer size.
   * Setting Transmit Inter Packet Gap (TIPG) correctly for more cards.
   * Setting Interrupt Throttling to recommended values.
* added register and updated various registers.
* e1000n.c: Removed uncommented code.
  * Renamed some variables and function to make clear what they do.
  * Added #ifdefine for parts that wore commented out but marked as "useful" for some purpose, such as CONFIG_MICROBENCHMARKS.
  * Added probing for card type.
  * Added help option.
  * Added comments/documentation.
  * Print of detected link speed and type.
  * Updated printing of debug messages and ordinary messages.
  * Fixed wrong max packet receive length for ethernet. (previous value was the max transmit size - They differ due to CRC)
* Other bug fixes minor.

7 years agoMake lhs2tex work again. It got confused with some commented code.
Gerd Zellweger [Wed, 24 Apr 2013 14:05:19 +0000]
Make lhs2tex work again. It got confused with some commented code.

7 years agoAdded quick-fix for ticket #253: Depending on total multiboot module size we run...
Simon Gerber [Mon, 13 May 2013 12:09:19 +0000]
Added quick-fix for ticket #253: Depending on total multiboot module size we run out of slots in the root cnode

Right now we just waste a couple kB of RAM to align the first RAM cap we
create to 1MB. A proper fix would involve increasing the size of the root

7 years agoCleanup trace.h.
Simon Gerber [Mon, 13 May 2013 09:25:54 +0000]
Cleanup trace.h.

7 years agoarm_gem5: cleaned up formatting in arm_gem5/init.c.
Simon Gerber [Wed, 27 Mar 2013 14:20:09 +0000]
arm_gem5: cleaned up formatting in arm_gem5/init.c.

7 years agoHarness test creates a file called bootlog.txt containing only Barrelfish console...
Gerd Zellweger [Tue, 7 May 2013 11:54:35 +0000]
Harness test creates a file called bootlog.txt containing only Barrelfish console output.

Useful because the BIOS output usually comes with some weird
characters that can mess up your editor.

7 years agoPEP-8 Autoformat for
Gerd Zellweger [Tue, 7 May 2013 11:39:02 +0000]
PEP-8 Autoformat for

7 years agoResolve namespace conflict in
Gerd Zellweger [Sat, 13 Apr 2013 13:41:36 +0000]
Resolve namespace conflict in

ic solver and eclipse both provide a min/2 function which leads to
conflict when loading bridge_programming and compute_required_resource.

7 years agoelver: disable SIMD instructions when building elver for x86_64
Wang Nan [Tue, 30 Apr 2013 12:14:30 +0000]
elver: disable SIMD instructions when building elver for x86_64

I discoverd that some gcc generages SIMD instructions for elver, which causes
problems, because when elver processing the kernel, SIMD feature is disabled.

7 years agofixed single_slot_alloc_init_raw not compiling for arm
Claudio Föllmi [Mon, 29 Apr 2013 11:30:58 +0000]
fixed single_slot_alloc_init_raw not compiling for arm
put in a check if we are compiling for arm, since __builtin_return_address does not support arguments !=0

7 years agoadding a tag for release 2013-04-26
Stefan Kaestle [Fri, 26 Apr 2013 12:46:00 +0000]
adding a tag for release 2013-04-26

7 years agoFixed calculation of time offset between cores for Tracing Framework release2013-04-26
Stefan Kaestle [Fri, 26 Apr 2013 12:43:39 +0000]
Fixed calculation of time offset between cores for Tracing Framework

7 years agoFixed typesetting of an include command in the Tracing TechNote
Stefan Kaestle [Tue, 23 Apr 2013 09:09:11 +0000]
Fixed typesetting of an include command in the Tracing TechNote

7 years agofix buflen when calling single_slot_alloc_raw()
Kornilios Kourtis [Tue, 2 Apr 2013 12:40:51 +0000]
fix buflen when calling single_slot_alloc_raw()

Here's my understanding (this is from reading the code):
 - single_slot_alloc manages slots for a single cnode  using a list of
   free nodes. The list is maintained starting with ->head, and each node
   represents a range of slots (slot, space).  The list is initialized
   with a single node with {slot=0, space=nslots}

 - The worst case scenario for the size of the list is when only the odd
   (or even) slots are free. This is the worst case because for all nodes
   in the list space=1. Adding nodes should result in smaller number of
   nodes but with higher ->space values.

 - The list nodes are allocated/freed using a (simple) slab allocator.
   Hence, the slab allocator should be initialized so that it contains
   nslots/2 objects to accommodate for the worst case.

The problem is that this does not happen: the slab allocator requires some
additional memory for adding headers to objects which is not accounted for.
This is why in your case the allocator does not have additional objects to
provide in slab_alloc().

This commit allocates appropriately sized buffers for the slab allocator and
hopefully fixes your problem.

Many thanks to Georgios Varisteas <> for reporting the bug and
help us debug the problem.

7 years agoslab: do not use extra space for block header
Kornilios Kourtis [Wed, 10 Apr 2013 11:27:41 +0000]
slab: do not use extra space for block header

7 years agoDo proper filtering of unneeded files in Hake. This avoids running into stack overflo...
Gerd Zellweger [Mon, 8 Apr 2013 14:34:21 +0000]
Do proper filtering of unneeded files in Hake. This avoids running into stack overflow: use +RTS -K<size> to increase it when having a build directory inside your tree.

7 years agoDisable kvm using the -no-kvm option of QEMU. Avoids having to unload / blacklist...
Gerd Zellweger [Mon, 8 Apr 2013 11:42:44 +0000]
Disable kvm using the -no-kvm option of QEMU. Avoids having to unload / blacklist the module all the time in your Linux distribution.

7 years agohake: make hake work with ghc 7.4.2
Wang Nan [Tue, 2 Apr 2013 13:02:30 +0000]
hake: make hake work with ghc 7.4.2

7 years agotracing: fix trace_defs.h dependency
Wang Nan [Tue, 2 Apr 2013 12:43:05 +0000]
tracing: fix trace_defs.h dependency

7 years agokaluga/octopus: make it compile for arm
Kornilios Kourtis [Tue, 26 Mar 2013 19:11:56 +0000]
kaluga/octopus: make it compile for arm

7 years agothc: port eager THC to ARMv7
Kornilios Kourtis [Tue, 26 Mar 2013 16:37:44 +0000]
thc: port eager THC to ARMv7

- I assume ARMv7, haven't look at possible differences with ARMv5
- thctest, thcminitest, thcidctest seem to work on pandaboard
- lazy THC is more tricky, I've added some notes for now
- should be possible to improve/optimize the functions

7 years agothc/x86: comments/cleanups to help ARM porting
Kornilios Kourtis [Tue, 26 Mar 2013 16:23:50 +0000]
thc/x86: comments/cleanups to help ARM porting

7 years agoadd a spawn_wait_coreid() function
Kornilios Kourtis [Tue, 26 Mar 2013 16:54:13 +0000]
add a spawn_wait_coreid() function

Patch by Mateusz Olczak <>

7 years agolshw: minor fix
Kornilios Kourtis [Tue, 26 Mar 2013 16:47:48 +0000]
lshw: minor fix

Patch by Mateusz Olczak <>

7 years agoFixed syntax error in omap44xx file.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Fixed syntax error in omap44xx file.
 devices/omap/ |   14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

7 years agoFix indenting.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Fix indenting.
 devices/omap/ |  356 ++++++++++++++++++++---------------------
 1 file changed, 178 insertions(+), 178 deletions(-)

7 years agoRegister names conform with manual, completed bit description for all registers.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Register names conform with manual, completed bit description for all registers.
 devices/omap/ |   36 +++++++++++++++++++++++-------------
 1 file changed, 23 insertions(+), 13 deletions(-)

7 years agoMore work on MMU mackerel file.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
More work on MMU mackerel file.
 devices/omap/ |   81 ++++++++++++++++++++++++++++++++++-------
 1 file changed, 68 insertions(+), 13 deletions(-)

7 years agoMore complete MMU file.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
More complete MMU file.
 devices/omap/ |   78 +++++++++++++++++++++++++++++++++++------
 1 file changed, 67 insertions(+), 11 deletions(-)

7 years agoFixed syntax error in mackerel file.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Fixed syntax error in mackerel file.
 devices/omap/ |   25 +++++++++++++------------
 1 file changed, 13 insertions(+), 12 deletions(-)

7 years agoSome more changes to omap44xx MMU mackerel files.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Some more changes to omap44xx MMU mackerel files.
 devices/omap/ |   24 +++++++++++++++++++-----
 1 file changed, 19 insertions(+), 5 deletions(-)

7 years agoAdd pandammu file to kernel Hakefile.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Add pandammu file to kernel Hakefile.
 kernel/Hakefile |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

7 years agoAdd pandammu.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Add pandammu.
 devices/Hakefile |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

7 years agoFix whitespace in devices Hakefile.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Fix whitespace in devices Hakefile.
 devices/Hakefile |   10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

7 years agoInitial Mackerel File for the Pandaboard MMU.
Gerd Zellweger [Thu, 4 Apr 2013 12:27:12 +0000]
Initial Mackerel File for the Pandaboard MMU.
Contains a complete list of all the registers, however it is not complete in terms
of the individual register mappins.
 devices/omap/ |   81 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 81 insertions(+)
 create mode 100644 devices/omap/

7 years agoTN-008 not building with blessed toolchain when bitwidth argument given to bytefield...
Stefan Kaestle [Fri, 22 Mar 2013 18:53:00 +0000]
TN-008 not building with blessed toolchain when bitwidth argument given to bytefield environment

7 years agoadding a tag for release 2013-03-22
Stefan Kaestle [Fri, 22 Mar 2013 12:15:31 +0000]
adding a tag for release 2013-03-22

7 years agolshw/Hakefile: add flounderTHCStubs release2013-03-22
Kornilios Kourtis [Wed, 20 Mar 2013 17:29:06 +0000]
lshw/Hakefile: add flounderTHCStubs

7 years agotrace: make it compile for x86_32
Kornilios Kourtis [Wed, 20 Mar 2013 16:08:07 +0000]
trace: make it compile for x86_32

7 years agotrace: make it compile for arm
Kornilios Kourtis [Wed, 20 Mar 2013 10:28:32 +0000]
trace: make it compile for arm

Due to a string.h include, had to rename some index variables to idx, because
they shadow index(3).

7 years agolshw: compile it only for archs with THC support
Kornilios Kourtis [Wed, 20 Mar 2013 09:55:35 +0000]
lshw: compile it only for archs with THC support

7 years agorevert some definitions from 1282:0462cc0046e3
Kornilios Kourtis [Wed, 20 Mar 2013 09:53:32 +0000]
revert some definitions from 1282:0462cc0046e3

Compiling for ARM resulted in:
In file included from ../src/kernel/arch/omap44xx/omap_uart.c:21:0:
./armv7/include/dev/omap/omap_uart_dev.h: In function 'omap_uart_THR__anon8_rdf':
./armv7/include/dev/omap/omap_uart_dev.h:3331:5: error: implicit declaration of function 'omap_uart_THR__anon8_extract' [-Werror=implicit-function-declaration]
./armv7/include/dev/omap/omap_uart_dev.h: In function 'omap_uart_RHR__anon8_rdf':
./armv7/include/dev/omap/omap_uart_dev.h:3414:5: error: implicit declaration of function 'omap_uart_RHR__anon8_extract' [-Werror=implicit-function-declaration]
[ ... and many more ...]

This change seems to fix this problem.

7 years agoNew tracing infrastructure documentation
Kornilios Kourtis [Tue, 19 Mar 2013 09:14:27 +0000]
New tracing infrastructure documentation

This is a Distributed Systems Lab project by
Alexander Grest <> and  David Stolz <>

7 years agoNew tracing infrastructure
Kornilios Kourtis [Fri, 8 Mar 2013 15:20:04 +0000]
New tracing infrastructure

This is a Distributed Systems Lab project by
Alexander Grest <> and  David Stolz <>

7 years agox86: fixed paging_dump_tables potentially falsely sign extending paddrs.
Simon Gerber [Wed, 27 Feb 2013 13:16:31 +0000]
x86: fixed paging_dump_tables potentially falsely sign extending paddrs.

7 years agousr/lshw: utility to list hardware devices
Kornilios Kourtis [Wed, 13 Mar 2013 14:45:23 +0000]
usr/lshw: utility to list hardware devices

patch provided by Mateusz Olczak <>

7 years agoipi_notify: allocate sufficient space in notify page
Lukas Humbel [Wed, 13 Mar 2013 15:04:52 +0000]
ipi_notify: allocate sufficient space in notify page

7 years agox86_64/irq.c: print SP on page fault error message
Kornilios Kourtis [Wed, 27 Feb 2013 10:34:51 +0000]
x86_64/irq.c: print SP on page fault error message

7 years agonet_queue_manager: fix issue in de-fragmentation
Mateusz Olczak [Wed, 13 Mar 2013 14:19:57 +0000]
net_queue_manager: fix issue in de-fragmentation

Some de-fragmented packets may cause the ethernet server will crash.
I suggest attached patch as fix.

to recreate segfault:
ping -s 1473

7 years agoMackerel quick reference page.
Mothy [Mon, 11 Mar 2013 08:48:28 +0000]
Mackerel quick reference page.
Fixed some bugs in the Mackerel documentation.
Changed more of the copyright addresses while I'm at it.

7 years agoTulip now builds again (but doesn't work)
Mothy [Sun, 10 Mar 2013 16:11:14 +0000]
Tulip now builds again (but doesn't work)

7 years agoWork around octopus dependency bug by disabling implicit lex and yacc rules explicitly
Mothy [Sun, 10 Mar 2013 11:03:42 +0000]
Work around octopus dependency bug by disabling implicit lex and yacc rules explicitly

7 years agoCompleteness of definitions
Mothy [Sun, 10 Mar 2013 11:02:58 +0000]
Completeness of definitions

7 years agoFixed copyright address
Mothy [Sun, 10 Mar 2013 11:00:33 +0000]
Fixed copyright address

7 years agoDisable error message on ram_alloc failure. The x86 monitor bootup code
Simon Peter [Sat, 2 Mar 2013 21:33:54 +0000]
Disable error message on ram_alloc failure. The x86 monitor bootup code
probes for available memory regions using ram_alloc and in certain cases triggers this message,
confusing the users.

7 years agoadding a tag for release 2013-03-01
Stefan Kaestle [Fri, 1 Mar 2013 12:32:42 +0000]
adding a tag for release 2013-03-01

7 years agoAdded a harness test for spanning programs. release2013-03-01
Stefan Kaestle [Thu, 28 Feb 2013 12:52:23 +0000]
Added a harness test for spanning programs.

7 years agochangeset: 1270:aa365ea1f4c0
Stefan Kaestle [Thu, 28 Feb 2013 09:46:46 +0000]
changeset: 1270:aa365ea1f4c0
user: Stefan Kaestle <>
date: Thu Feb 28 10:37:59 2013 +0100
summary: Added a harness test for spawning programs.

7 years agolibbarrelfish: Simplified logic and fixed infinite loop on cap_destroy error in span_...
Zaheer Chothia [Tue, 26 Feb 2013 09:17:21 +0000]
libbarrelfish: Simplified logic and fixed infinite loop on cap_destroy error in span_domain_reply().

7 years agoarmv5: fixed calculation of src_lpaddr in caps_map_l2().
Simon Gerber [Mon, 25 Feb 2013 17:15:05 +0000]
armv5: fixed calculation of src_lpaddr in caps_map_l2().

7 years agolibbarrelfish: Moved cap_destroy() into error case in span_domain_reply.
Simon Gerber [Mon, 25 Feb 2013 16:55:52 +0000]
libbarrelfish: Moved cap_destroy() into error case in span_domain_reply.

7 years agohake: Removed unused config option from Config.hs.template.
Simon Gerber [Mon, 25 Feb 2013 12:46:43 +0000]
hake: Removed unused config option from Config.hs.template.

7 years agoarm: fixed wrong is_root_pt predicate.
Simon Gerber [Thu, 21 Feb 2013 11:02:17 +0000]
arm: fixed wrong is_root_pt predicate.

7 years agoUse get_address(cap) and get_size(cap) in various places in the kernel.
Simon Gerber [Thu, 21 Feb 2013 11:00:01 +0000]
Use get_address(cap) and get_size(cap) in various places in the kernel.

7 years agoxscale: Added code for new memory kernel interface.
Simon Gerber [Thu, 21 Feb 2013 10:58:52 +0000]
xscale: Added code for new memory kernel interface.

7 years agovmkitmon: added creating separate copy of caps that are mapped in host and guest.
Simon Gerber [Wed, 20 Feb 2013 14:24:22 +0000]
vmkitmon: added creating separate copy of caps that are mapped in host and guest.

7 years agox86: Fixed detection of whether a address region spans multiple leaf page tables.
Simon Gerber [Wed, 20 Feb 2013 13:17:48 +0000]
x86: Fixed detection of whether a address region spans multiple leaf page tables.