I booted a 64 bit raspberry pi micro-sdcard image, to use it like a livecd.
Then plugged in an external micro-sdcard-reader, into which I inserted a 32GB micro-sdcard.
I then followed almost the identical procedure for amd64 from the handbook:
I partitioned the micro-sdcard into three partitions:
Disklabel type: dos
Device Boot Start End Sectors Size Id Type
/dev/sdc1 * 2048 264191 262144 128M c W95 FAT32 (LBA)
/dev/sdc2 264192 4458495 4194304 2G 82 Linux swap / Solaris
/dev/sdc3 4458496 61069311 56610816 27G 83 Linux
After extracting the stage3 and entering the chroot, I did this:
emerge-webrsync
emerge -vDa raspberrypi-firmware
emerge -vDa raspberrypi-image
emerge -vDa raspberrypi-sources
cd /usr/src/linux
make bcmrpi3_defconfig
make && make modules_install && mount /boot && make install
emerge @module-rebuild
This wound up succeeding,
I shutdown, then disconnected the micro-sdcard reader, took the newly-minted micro-sdcard and put it in place of the raspberry-pi's original micro-sdcard.
The system does boot, and brings up the Gentoo userspace,
EXCEPT the kernel booting when I restart is NOT the kernel I compiled.
In the /boot folder, there are a few files of interest:
config.txt
https://pastebin.com/bqgTGagK
cmdline.txt:
console=serial0,115200 console=tty1 root=/dev/mmcblk0p3 rootfstype=ext4 fsck.repair=yes rootwait
kernel.img: Linux kernel ARM boot executable zImage (little-endian)
kernel7.img: Linux kernel ARM boot executable zImage (little-endian)
kernel7l.img: Linux kernel ARM boot executable zImage (little-endian)
kernel8.img: gzip compressed data, was "Image", last modified: Wed Oct 6 15:42:56 2021, from Unix, original size modulo 2^32 21391872
vmlinuz-5.10.63-v8: Linux kernel ARM64 boot executable Image, little-endian, 4K pages
The last file is the one that was produced by the steps outlined above.
My question is - How do I get the kernel I compiled to boot? Do I rename it kernel.img?
What is the correct way of doing this?