hyperkernel icon indicating copy to clipboard operation
hyperkernel copied to clipboard

Results 1 hyperkernel issues
Sort by recently updated
recently updated
newest added

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`?