CI: build and release kernel on push

.config

@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 7.0.10 Kernel Configuration
+# Linux/x86 7.0.5 Kernel Configuration
 #
 CONFIG_CC_VERSION_TEXT="gcc (Ubuntu 15.2.0-16ubuntu1) 15.2.0"
 CONFIG_CC_IS_GCC=y
@@ -2402,7 +2402,6 @@ CONFIG_SMSC_PHY=m
 # CONFIG_DP83TG720_PHY is not set
 # CONFIG_VITESSE_PHY is not set
 # CONFIG_XILINX_GMII2RGMII is not set
-CONFIG_MTS=m
 CONFIG_FWNODE_MDIO=y
 CONFIG_ACPI_MDIO=y
 # CONFIG_MDIO_BITBANG is not set

README.md

@@ -6,7 +6,7 @@
 git clone https://github.com/ps5-linux/ps5-linux-patches
 git clone https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
 cd linux
-git checkout "tags/v$(grep -m1 "^# Linux/" ../ps5-linux-patches/.config | awk '{print $3}')"
+git checkout tags/v7.0.5
 git apply ../ps5-linux-patches/linux.patch
 cp ../ps5-linux-patches/.config .config
 make -j$(nproc)
@@ -21,10 +21,30 @@ sudo make modules_install
 sudo make install
 ```
 
+If you use Arch Linux, then additionally do:
+
+```bash
+sudo mkinitcpio -k "$(make kernelrelease)" -g /boot/initrd.img-$(make kernelrelease) || true
+```
+
+If you are updating Linux on your external USB SSD or if you are directly booting into M.2 SSD, i.e. if you use `-m2` in `cmdline.txt`, then you have to update the files on the FAT32 partition of your USB drive:
+
+```bash
+sudo mv /boot/efi/bzImage /boot/efi/bzImage.old
+sudo mv /boot/efi/initrd.img /boot/efi/initrd.img.old
+sudo cp /boot/vmlinuz /boot/efi/bzImage
+sudo cp /boot/initrd.img /boot/efi/initrd.img
+```
+
+If you are updating Linux on your M.2 SSD, but you do not directly boot into it, i.e. if you use `m2_exec.sh`, then you do need to do this step.
+
+
 ## TODO
 
 - amdgpu smu driver to show correct gpu frequency and temperature
+- ethernet driver for (mediatek?) 0x104d:0x9104
 - xhci driver adjustment for 0x104d:0x9108 to enable bluetooth
+- wlan driver marvell 1b4b:2b56 (https://github.com/nxp-imx/mwifiex)
 - hdmi converter improvments: hdr, rgb range, 120hz
 
 ## Bugs