This forum is meant to discuss the design and development of the vmlarix kernel. vmlarix is an educational kernel geared towards teaching the Advances Operating Systems Class (
CS5352) at the computer science department in Texas Tech University.
***** If a solution suggested on the forum works, please post back affirming it.*****
***** If you discovered an alternate solution not suggested on the forum, please post that too *****