3 In the future, we will expand Pintos's analysis capabilities to
4 provide quantitative information and include realistic device models.
5 We are also considering extending Pintos to multiple
6 CPUs and assignments that involve
7 networking and interprocess communication (IPC).
8 Although we have received highly favorable feedback from our
9 industrial affiliates, who compare students having used Pintos
10 to students having taken courses that use less concrete or external approaches,
11 we need to perform a formal evaluation to compare learning
12 outcomes using Pintos to other alternatives.