Patmos simulator hangs when attempting to start a core thread

[michael-platzer]

The Patmos simulator pasim hangs when attempting to start a core thread via corethread_create().

Steps to reproduce:

$ cat test.c
#include "libcorethread/corethread.h"
void work(void* arg) {
}
int main() {
    corethread_create(1, &work, NULL);
    return 0;
}
$ patmos-clang test.c libcorethread/corethread.c 
$ pasim -N 2 a.out
^C

Note: the last command does not terminate and needs to be aborted.

[Emoun]

Since this is an issue with pasim, I'm moving it to the simulator's repo.