F7disco ethernet driver for MicroPython

「楽しくやろう。」の
「NUCLEO-F767ZI ethernet driver for MicroPython」
http://blog.boochow.com/article/455508112.html
を参考にF7-discoのMicroPythonをオンボードethernetに対応させる挑戦です。
 gitの使い方をもう忘れてしまい戸惑いましたが、今日は何とかビルド完了まで辿り着きました。