configs/rock4se: new defconfig

Signed-off-by: Patrik Olsson <johan.patrik.olsson@gmail.com>
[Julien:
 - add Patrik Signed-off-by
 - regenerate defconfig with "make savedefconfig"
]
Signed-off-by: Julien Olivain <ju.o@free.fr>

board/radxa/rock4se/extlinux.conf

@@ -0,0 +1,4 @@
+label Radxa ROCK 4SE Linux
+  kernel /boot/Image
+  devicetree /boot/rk3399-rock-4se.dtb
+  append root=/dev/mmcblk1p1 rw rootfstype=ext4 earlycon rootwait

board/radxa/rock4se/genimage.cfg

@@ -0,0 +1,22 @@
+image sdcard.img {
+	hdimage {
+	}
+
+	partition u-boot-tpl-spl-dtb {
+		in-partition-table = "no"
+		image = "idbloader.img"
+		offset = 32K
+	}
+
+	partition u-boot-dtb {
+		in-partition-table = "no"
+		image = "u-boot.itb"
+		offset = 8M
+		size = 30M
+	}
+
+	partition rootfs {
+		partition-type = 0x83
+		image = "rootfs.ext4"
+	}
+}

board/radxa/rock4se/patches/linux-headers/linux-headers.hash

@@ -0,0 +1 @@
+../linux/linux.hash

board/radxa/rock4se/patches/linux/linux.hash

@@ -0,0 +1,2 @@
+# From https://www.kernel.org/pub/linux/kernel/v6.x/sha256sums.asc
+sha256  4a516e5ed748537a73cb42ec47fbbeb6df8b1298e8892c29c0e91de79095b297  linux-6.12.10.tar.xz

board/radxa/rock4se/patches/uboot/uboot.hash

@@ -0,0 +1,2 @@
+# Locally calculated
+sha256  b28daf4ac17e43156363078bf510297584137f6df50fced9b12df34f61a92fb0  u-boot-2024.10.tar.bz2

board/radxa/rock4se/post-build.sh

@@ -0,0 +1,5 @@
+#!/bin/sh
+
+BOARD_DIR="$(dirname "$0")"
+
+install -m 0644 -D "$BOARD_DIR"/extlinux.conf "$TARGET_DIR"/boot/extlinux/extlinux.conf

board/radxa/rock4se/readme.txt

@@ -0,0 +1,37 @@
+Intro
+=====
+
+This default configuration will allow you to start experimenting with the
+buildroot environment for the Radxa ROCK 4SE. With the current configuration
+it will bring-up the board, and allow access through the serial console.
+
+Radxa ROCK 4SE link:
+https://radxa.com/products/rock4/4se/
+
+Wiki link:
+https://forum.radxa.com/c/rockpi4
+
+GPIO connector pinout link:
+https://wiki.radxa.com/Rockpi4/hardware/gpio
+
+This configuration uses mainline ATF, U-Boot and kernel.
+
+How to build
+============
+
+    $ make rock4se_defconfig
+    $ make
+
+How to write the SD card
+========================
+
+Once the build process is finished you will have an image called "sdcard.img"
+in the output/images/ directory.
+
+Copy the bootable "sdcard.img" onto an SD card with "dd":
+
+  $ sudo dd if=output/images/sdcard.img of=/dev/sdX
+  $ sudo sync
+
+Insert the micro SDcard in your Radxa ROCK 4SE and power it up. The console
+is available on UART2 on the GPIO connector, 1500000bps 8N1.