extensions framework + UEFI x86 + rpi4b + core changes/fixes + doc generator

compile.sh

@@ -269,6 +269,11 @@ fi
 
 CONFIG_PATH=$(dirname "${CONFIG_FILE}")
 
+# Source the extensions manager library at this point, before sourcing the config.
+# This allows early calls to enable_extension(), but initialization proper is done later.
+# shellcheck source=lib/extensions.sh
+source "${SRC}"/lib/extensions.sh
+
 display_alert "Using config file" "${CONFIG_FILE}" "info"
 pushd "${CONFIG_PATH}" > /dev/null || exit
 # shellcheck source=/dev/null

config/boards/rpi4b.wip

@@ -0,0 +1,38 @@
+# Broadcom BCM2711 quad core 1-8Gb RAM SoC USB3 GBE USB-C WiFi/BT
+export BOARD_NAME="Raspberry Pi 4"
+export BOARDFAMILY="bcm2711"
+export KERNEL_TARGET="current,edge"
+export FK__MACHINE_MODEL="Raspberry Pi 4 Model B" # flash kernel (FK) configuration
+
+# configure stuff at the appropriate time in flash-kernel
+pre_initramfs_flash_kernel__write_raspi_config() {
+	# for serial console, there is also 'BOOT_UART=1' in 'rpi-eeprom-config' but that is for an earlier stage.
+	# look at with it rpi-eeprom-config, change with 'EDITOR=nano rpi-eeprom-config --edit'
+	cat <<-EOD >"${FIRMWARE_DIR}/config.txt"
+		[pi4]
+		max_framebuffers=2
+
+		[all]
+		kernel=vmlinuz
+		cmdline=cmdline.txt
+		initramfs initrd.img followkernel
+		disable_overscan=1
+		hdmi_drive=2
+		arm_64bit=1
+
+		# bootloader logs to serial, second stage
+		# enable_uart=1
+
+		# overclock. requires decent thermals. COMMENT OUT IF DON'T USE A GREAT COOLER OR HEATSINK.
+		over_voltage=6
+		arm_freq=2000
+
+		# uncomment to disable wifi or bt.
+		#dtoverlay=disable-wifi
+		#dtoverlay=disable-bt
+
+		# gpu and 3d stuff.
+		gpu_mem=256
+		dtoverlay=vc4-fkms-v3d
+	EOD
+}

config/boards/uefi-arm64.wip

@@ -0,0 +1,4 @@
+# aarch64 via UEFI for all UEFI-enabled boards
+export BOARD_NAME="uefi-arm64"
+export BOARDFAMILY="uefi-arm64"
+export KERNEL_TARGET="current,edge"

config/boards/uefi-x86.wip

@@ -0,0 +1,4 @@
+# x86_64 via UEFI/BIOS for all boards
+export BOARD_NAME="uefi-x86"
+export BOARDFAMILY="uefi-x86"
+export KERNEL_TARGET="current,edge"