hyperkernel
hyperkernel copied to clipboard
Typo/Bug?
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
?