You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

18 lines
633 B

How to use u-boot to boot rCore in Raspberry Pi
===============
Tested under QEMU.
Instructions:
1. Build u-boot
1. Download aarch64 toolchain and u-boot source
2. `make rpi_3_defconfig ARCH=arm CROSS_COMPILE=aarch64-elf-`
3. `make all ARCH=arm CROSS_COMILE=aarch64-elf-`
4. A file named `u-boot.bin` should be generated
2. Use u-boot to run rCore
1. `make run arch=aarch64 u_boot=/path/to/u-boot.bin`
2. In u-boot, enter following commands:
1. `mmc read 0x1000000 0 ${nblocks}`, where ${nblocks} can be probed if you enter a large enought number
2. `bootelf -p 0x1000000`
3. rCore should boot now