Namespace API

[ldierksheide]

Namespaces (Virtual Address Spaces, ASIDs, MPK) User-level API

Implementation of API for working with namespaces

• Documentation is in doc/crt_namespaces.md
• Also includes patch to compose with baseaddrs for 64 bit (from Xinyu)
• Also edits the composer so that components are created in ascending order

Intent for your PR

Choose one (Mandatory):

• [x] This PR is for a code-review and is intended to get feedback, but not to be pulled yet.
• [ ] This PR is mature, and ready to be integrated into the repo.

Reviewers (Mandatory):

@gparmer @WenyuanShao @evanstella

Code Quality

As part of this pull request, I've considered the following:

Style:

• [x] Comments adhere to the Style Guide (SG)
• [x] Spacing adhere's to the SG
• [x] Naming adhere's to the SG
• [x] All other aspects of the SG are adhered to, or exceptions are justified in this pull request
• [x] I have run the auto formatter on my code before submitting this PR (see doc/auto_formatter.md for instructions)

Code Craftsmanship:

• [x] I've made an attempt to remove all redundant code
• [x] I've considered ways in which my changes might impact existing code, and cleaned it up
• [x] I've formatted the code in an effort to make it easier to read (proper error handling, function use, etc...)
• [x] I've commented appropriately where code is tricky
• [x] I agree that there is no "throw-away" code, and that code in this PR is of high quality

Testing

I've tested the code using the following test programs (provide list here):

• [ ] micro_booter
• [x] unit_pingpong
• [ ] unit_schedtests
• [x] unit_pingshvas