bu-icsg/dana

Enable use of X-FILES/DANA and DebugUnit from the Kernel

seldridge opened this issue · 0 comments

Remove the restriction that supervisor requests are interpreted differently from user requests. The kernel should be able to access X-FILES/DANA like a normal user, but can also do special operations like set_asid.