Rishabh Iyer

Hi, I was just auditing the code and noticed something odd here - https://github.com/uw-unsat/hyperkernel/blob/master/hv6/mmap.c#L46. Shouldn't this be `sys_alloc_pt`?

Hi, I'm trying to run Shinjuku. Shinjuku boots OK and the networker, dispatcher and workers all start fine but the dispatcher is unable to pre-empt any of the workers. A...