Counterexamples: Optimization: https://github.com/mit-pdos/xv6-public/pull/24/files https://github.com/mit-pdos/xv6-public/pull/24/files Improvement in build

Counterexamples: Optimization: https://github.com/mit-pdos/xv6-public/pull/24/files https://github.com/mit-pdos/xv6-public/pull/24/files Improvement in build system: https://github.com/mit-pdos/xv6-public/pull/33 https://github.com/mit-pdos/xv6-public/pull/33 Bugfix in build system: https://github.com/mit-pdos/xv6-public/pull/34/files https://github.com/mit-pdos/xv6-public/pull/34/files Making code more standard compliant (assigning a function pointer to a void pointer is undefined behavior): https://github.com/mit-pdos/xv6-public/pull/43 https://github.com/mit-pdos/xv6-public/pull/43 Enable building on FreeBSD: https://github.com/mit-pdos/xv6-public/pull/50 https://github.com/mit-pdos/xv6-public/pull/50 Bugfix: https://github.com/mit-pdos/xv6-public/pull/51/files https://github.com/mit-pdos/xv6-public/pull/51/files Improvement in console system: https://github.com/mit-pdos/xv6-public/pull/62/files https://github.com/mit-pdos/xv6-public/pull/62/files --- Also concerning your "homework solutions" argument: The fact that these PRs are not closed is also a strong point for my argument.