我从vilros买了一个Raspberry Pi 3。按照本教程：https://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/downloads.html后，我发现即使从下载页面下载的课程也不起作用。在尝试了许多卡并购买预制卡并替换kernel.img之后，它们都无法工作。我发现那是因为RPI3使用了kernel7.img，但是，使用Alex给我们的makefile，我无法构建一个可用的操作系统。谁能告诉我如何使用arm-none-eabi构建kernel7.img？ 谢谢，
ndrewffght
我在Windows 10上使用mingw。