What file(s) need to be updated when building a new kernel?
I've done ./build.sh on RPi 3B+ and I get out:
*$ pwd*
*/usr/src/sys/arch/evbarm/compile/obj/GENERIC*
*
*
*$ ls -l netbsd.*
-rwxr-xr-x 1 root wheel 9658776 Dec 14 15:17 netbsd.bin*
-rwxr-xr-x 1 root wheel 72544792 Dec 14 15:18 netbsd.gdb*
-rw-r--r-- 1 root wheel 9658832 Dec 14 15:17 netbsd.img
-rw-r--r-- 1 root wheel 1184 Dec 14 15:13 netbsd.ldscript
-rw-r--r-- 1 root wheel 5838090 Dec 14 15:16 netbsd.map
-rw-r--r-- 1 root wheel 9658840 Dec 14 15:17 netbsd.ub
*
I know that netbsd.img gets copied to /boot/kernel7.img
But what other files need to be updated when I build a new kernel?
/netbsd seems to be used by, e.g. pstat