tokio-techbook: new device (!579)

[ci:skip-build]: already built successfully in CI

device/testing/device-tokio-techbook/APKBUILD

@@ -0,0 +1,34 @@
+# Reference: <https://postmarketos.org/devicepkg>
+pkgname=device-tokio-techbook
+pkgdesc="Tokio Techbook"
+pkgver=0.1
+pkgrel=0
+url="https://postmarketos.org"
+license="MIT"
+arch="armv7"
+options="!check !archcheck"
+depends="postmarketos-base linux-tokio-techbook mesa-dri-swrast mkbootimg uboot-tools"
+makedepends="devicepkg-dev"
+
+source="
+	deviceinfo
+	uboot-script.cmd
+"
+
+build() {
+	devicepkg_build $startdir $pkgname
+	# Creating uboot script
+	mkimage -A arm -O linux -T script -C none -a 0 -e 0 -n postmarketos -d "$srcdir/uboot-script.cmd" "$srcdir/boot.scr"
+}
+
+package() {
+	devicepkg_package $startdir $pkgname
+
+	# Copy newly generated file to correct path
+	mkdir -p "$pkgdir/boot/FirmwareInstall"
+	install -D -m644 "$srcdir"/boot.scr \
+		"$pkgdir"/boot/FirmwareInstall/autorun.1.wmt
+}
+
+sha512sums="d69929807e5c9f7d88a9c5c0657f3e5a5c07d80709dce1cd4ccb80c55058e5d98c8dd1ea596a261b286bfa1b7874bfceb2f6a3af198b215c7a60dab20d2d5c38  deviceinfo
+e3b1a60107e0aa31c409d1f8d54eb10c67fd50135fb0b3091192f13089603631bce6889c2081089e206549f914bcf329a0441a605a8fb1713f9b54f1003554d9  uboot-script.cmd"

device/testing/device-tokio-techbook/deviceinfo

@@ -0,0 +1,26 @@
+# Reference: <https://postmarketos.org/deviceinfo>
+# Please use double quotes only. You can source this file in shell scripts.
+
+deviceinfo_format_version="0"
+deviceinfo_name="Tokio Techbook"
+deviceinfo_manufacturer="Tokio"
+deviceinfo_codename="tokio-techbook"
+deviceinfo_year="2012"
+deviceinfo_dtb="wm8850-w70v2"
+deviceinfo_modules_initfs=""
+deviceinfo_arch="armv7"
+deviceinfo_boot_filesystem="fat16"
+
+deviceinfo_append_dtb="true"
+deviceinfo_disable_dhcpd="true"
+deviceinfo_generate_legacy_uboot_initfs="true"
+deviceinfo_legacy_uboot_load_address="0x8000"
+
+# Device related
+deviceinfo_keyboard="true"
+deviceinfo_external_storage="true"
+deviceinfo_screen_width="800"
+deviceinfo_screen_height="480"
+
+# Bootloader related
+deviceinfo_flash_method="none"

device/testing/device-tokio-techbook/uboot-script.cmd

@@ -0,0 +1,8 @@
+textout 0 -1 \"Preparing to boot from SD card...\" FFF000
+setenv memtotal 447M
+setenv mbsize 56M
+setenv mmcid 0
+setenv bootargs mem=${memtotal} root=/dev/mmcblk0p2 rootwait console=tty1 init=/sbin/init rootfstype=ext4 PMOS_NO_OUTPUT_REDIRECT
+fatload mmc 0 0 uImage-tokio-techbook
+textout -1 -1 \"BOOTING!!\" 00FF00
+bootm 0

device/testing/linux-tokio-techbook/APKBUILD

@@ -0,0 +1,54 @@
+# Reference: <https://postmarketos.org/vendorkernel>
+# Kernel config based on: arch/arm/configs/vt8500_v6_v7_defconfig
+
+pkgname=linux-tokio-techbook
+pkgver=4.3.0
+pkgrel=0
+pkgdesc="Tokio Techbook kernel fork (mainline 4.3.0)"
+arch="armv7"
+_carch="arm"
+_flavor="tokio-techbook"
+url="https://kernel.org"
+license="GPL-2.0-only"
+options="!strip !check !tracedeps"
+makedepends="perl sed installkernel bash gmp-dev bc linux-headers elfutils-dev devicepkg-dev"
+
+
+# Source
+# Mainline 4.3.0
+# https://github.com/torvalds/linux/commit/6a13feb9c82803e2b815eca72fa7a9f5561d7861
+_repository="linux"
+_commit="6a13feb9c82803e2b815eca72fa7a9f5561d7861"
+_config="config-$_flavor.$arch"
+source="
+	$pkgname-$_commit.tar.gz::https://github.com/torvalds/$_repository/archive/$_commit.tar.gz
+	$_config
+	gcc8-fix-put-user.patch
+"
+
+builddir="$srcdir/$_repository-$_commit"
+
+prepare() {
+	default_prepare
+	downstreamkernel_prepare "$srcdir" "$builddir" "$_config" "$_carch"
+}
+
+build() {
+	unset LDFLAGS
+	make ARCH="$_carch" CC="${CC:-gcc}" \
+		KBUILD_BUILD_VERSION="$((pkgrel + 1 ))-postmarketOS"
+}
+
+package() {
+	downstreamkernel_package "$builddir" "$pkgdir" "$_carch" "$_flavor"
+
+	make modules_install dtbs_install \
+		ARCH="$_carch" \
+		INSTALL_MOD_PATH="$pkgdir" \
+		INSTALL_DTBS_PATH="$pkgdir/usr/share/dtb"
+
+}
+
+sha512sums="0fde6b90d9ec94eca00f419e51f112f258e9cb9795375379e4078dc800784dad882935db39e74fb748727a82c91046e23dd39c76ae14bca9afe6f6b19d1ea452  linux-tokio-techbook-6a13feb9c82803e2b815eca72fa7a9f5561d7861.tar.gz
+e6767f859734475eb01ab5763fcad58014a30a4db9c61eca74533f113da945d44fb6d3f83d5dff750fe0fe676f65d7f90fc18a2457751e5a136ab82d55c38e57  config-tokio-techbook.armv7
+197d40a214ada87fcb2dfc0ae4911704b9a93354b75179cd6b4aadbb627a37ec262cf516921c84a8b1806809b70a7b440cdc8310a4a55fca5d2c0baa988e3967  gcc8-fix-put-user.patch"

device/testing/linux-tokio-techbook/gcc8-fix-put-user.patch

@@ -0,0 +1 @@
+../../.shared-patches/linux/gcc8-fix-put-user.patch