Jean Wolter wrote:
Martin Young <my@siroyan.com> writes:
Thinking it through however it's obvious that a task A can map a page P to task B which can then map it back to task A at a different virtual address. Is this allowed in L4? (I assume it is) Is it useful? L4Linux would not work on your L4 implementation, [snip]
Thanks Jean and Espen. I've been and look at Summer School slides (of which I wasn't previously aware) and I've now implemented the scheme described there which, as predicted, resulted in rather less code with fewer special cases. Thanks again. -- Martin Young, working for: | Phone: +44(0) 1454 615151 Siroyan Limited, Bristol Design Centre, | Mobile: +44(0) 7855 758771 West Point Court, Great Park Road, | web: www.siroyan.com Bradley Stoke, Bristol BS32 4QG. UK | email: my@siroyan.com ********************************************************************** This email and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed. If you have received this email in error please notify the system manager. This footnote also confirms that this email message has been swept by MIMEsweeper for the presence of computer viruses. www.mimesweeper.com **********************************************************************