OSKit (1999 - 2002) https://www-old.cs.utah.edu/flux/oskit/
Pintos (up to 2018, used in computer science courses) https://web.stanford.edu/class/cs140/projects/pintos/