Paolo c27739943d

rockchip64: bump rockchip64-edge kernel to 6.4 (#5552) ...

undefined

2023-08-04 10:39:13 +02:00

..

drivers_network.sh

rockchip64: bump rockchip64-edge kernel to 6.4 (#5552)

2023-08-04 10:39:13 +02:00

drivers-harness.sh

kernel / drivers-harness: use the kernel git SHA1 ($KERNEL_GIT_SHA1) instead of $KERNEL_MAJOR_MINOR for drivers cache key

2023-07-27 21:32:42 +02:00

patching.sh

patching: Patching Summary and Patching Failures tables using Python's Rich

2023-06-13 12:29:52 +02:00