Please study the Linux and seL4 source code, to identify the code equivalent to the Minix file kernel/mpx386.s on pages 709-713 of the textbook. The code will not be exactly the same -- please note and report on the differences.
The project should be sent to the instructor by email. Please send me the following:
Please send in your project on time -- late submissions will not be accepted, and I prefer to have partially-working projects rather than no project at all.
It is fine to do this project in teams of up to three. If you do this project in a team, make sure that everyone in the team participates in crafting the report, and the report MUST be a coherent whole rather than made of different pieces pasted together.