xen-rpi4-builder

为Raspberry Pi 4构建Xen 该脚本从Raspberry Pi树构建Xen（一个64位linux内核），并为Raspberry Pi 4打包一个最小的64位Ubuntu 18.04 rootfs。运行该构建脚本需要最新版本的Ubuntu。 需要互联网连接。 建议使用8 GB或更多的RAM，以及10GB以上的可用磁盘空间。 用法： $ ./rpixen.sh 脚本完成后，使用以下命令闪烁到SD卡： $ umount /dev/sdX1 $ umount /dev/sdX2 $ sudo dd if=rpixen.img of=/dev/sdX bs=8M $ sync Xen会将消息打印到UART。 该脚本有点像和但用于Xen + Ubuntu而不是Raspbian。 有关Ubuntu Base的更多信息，请参见 。 局限性 系统RAM限制为1024M HDMI不