48b59e46ad
Move the code that I have not yet finished documenting into the `IMPLEMENTATION NOTES' section. Sponsored by: DARPA, NAI Labs Obtained from: TrustedBSD Project