我使用这个git-hub repo https://github.com/jameswalmsley/RaspberryPi-FreeRTOS构建它 然后粘贴通过构建freeRTOS生成的kernel.img到之前包含raspbian的sd卡，替换其现有的kernel.img文件。 但这似乎不起作用。我将覆盆子pi连接到显示器上，它显示一个彩色屏幕。
有没有解决这个问题？请帮忙
答案 0 :(得分：0)
复制和粘贴.img文件将无法启动操作系统。
您首先需要使用RUFUS https://rufus.akeo.ie/等工具在SD卡上创建MBR（主引导记录）
然后，您需要使用win32磁盘映像工具将文件写入SD卡。 https://sourceforge.net/projects/win32diskimager/files/latest/download
然后你可以启动SD卡。
声明:: 虽然我已尽最大努力确保所提供的链接适用于我所描述的程序，但请理解我对这些网站上托管的内容不负责任。通过延伸，我不对网站或程序本身造成的任何损害负责。