[Barrelfish-users] spawn_program freezes when executing on different core then 0.

Mateusz Olczak mateusz at olczak.se
Mon Mar 18 21:49:56 CET 2013


When I attempt to spawn a process on any other core then 0 spawn_program freezes and does not return.
Even pike has this issue. What might be going on?

The program I'm executing is very simple:

#include <stdio.h>

int main(int argc, char *argv[])
	printf("%s with arguments: ", argv[0]);

	for (int i = 0; i < argc; i++)
		printf("%s ", argv[i]);


	return 0;

// Mateusz 

More information about the Barrelfish-users mailing list