ci: add kernel deb

Signed-off-by: Han Gao <rabenda.cn@gmail.com> Signed-off-by: Han Gao <gaohan@iscas.ac.cn>
ruyisdk-debian-riscv · Jun 24, 2024 · 5122f3e · 5122f3e
1 parent e8e5fb2
commit 5122f3e
Showing 1 changed file with 22 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -114,6 +114,20 @@ jobs:
               popd
               tree ${GITHUB_WORKSPACE}/output
 
+      - name: kernel download
+        uses: dawidd6/action-download-artifact@v6
+        with:
+          name: k1-kernel-gcc-13-k1
+          path: output
+          repo: ruyisdk-debian-riscv/k1-kernel
+          branch: k1-dev
+          workflow_conclusion: success
+
+      - name: Remove unused deb
+        run: |
+              rm -rf ${GITHUB_WORKSPACE}/output/linux-image-*-dbg_*_riscv64.deb
+              rm -rf ${GITHUB_WORKSPACE}/output/linux-libc-dev_*_riscv64.deb
+
       - name: Create rootfs
         run: |
               wget https://deb.debian.org/debian/pool/main/d/debian-archive-keyring/debian-archive-keyring_2023.4_all.deb
@@ -175,6 +189,10 @@ jobs:
               echo debian-k1 | sudo tee $CHROOT_TARGET/etc/hostname
               echo "127.0.1.1 debian-k1" | sudo tee -a /etc/hosts
 
+              # Install kernel
+              cp -v ${GITHUB_WORKSPACE}/output/*.deb "$CHROOT_TARGET/tmp/"
+              sudo chroot "$CHROOT_TARGET" sh -c "dpkg -i /tmp/*.deb"
+
               # Add update-u-boot config
               sudo cp -v config/u-boot $CHROOT_TARGET/etc/default/u-boot
 
@@ -200,8 +218,10 @@ jobs:
               popd
               tree ${GITHUB_WORKSPACE}/output
 
-      - name: Clean up ext4
-        run: rm -rf ${GITHUB_WORKSPACE}/output/*.ext4
+      - name: Clean up 
+        run: |
+              rm -rf ${GITHUB_WORKSPACE}/output/*.ext4
+              rm -rf ${GITHUB_WORKSPACE}/output/*.deb
 
       - name: 'Upload Artifact'
         uses: actions/upload-artifact@v4