Merge branch 'rcore-os:main' into main

arceos-org · Aug 28, 2023 · f84b0b1 · f84b0b1
2 parents 3ad6147 + 94eeaa3
commit f84b0b1
Show file tree

Hide file tree

Showing 57 changed files with 1,090 additions and 195 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -132,6 +132,9 @@ jobs:
     - name: Build fs/shell for aarch64-raspi4
       run: make PLATFORM=aarch64-raspi4 A=apps/fs/shell FEATURES=driver-bcm2835-sdhci
 
+    - name: Build helloworld for aarch64-bsta1000b
+      run: make PLATFORM=aarch64-bsta1000b A=apps/helloworld
+
   build-apps-for-std:
     runs-on: ${{ matrix.os }}
     strategy:

diff --git a/.gitignore b/.gitignore
@@ -5,3 +5,4 @@
 *.img
 actual.out
 qemu.log
+rusty-tags.vi