#include "rts/PosixSource.h"
#include "ghcconfig.h"
#include "Rts.h"

uint32_t
getNumberOfProcessors (void)
{
    return 1;
}