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

[Mateusz Olczak]

Hi,

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]);

	printf("\n");

	return 0;
}

Regards,
// Mateusz