|
|
@ -18,9 +18,11 @@ jobs: |
|
|
|
- uses: actions/checkout@v2 |
|
|
|
- uses: actions/checkout@v2 |
|
|
|
- name: Recursively pull git submodules |
|
|
|
- name: Recursively pull git submodules |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
git submodule update --init --recursive |
|
|
|
git submodule update --init --recursive |
|
|
|
- name: Install toolchains |
|
|
|
- name: Install toolchains |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-aarch64-none-elf.tar.xz |
|
|
|
wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-aarch64-none-elf.tar.xz |
|
|
|
tar xf *-aarch64-none-elf.tar.xz |
|
|
|
tar xf *-aarch64-none-elf.tar.xz |
|
|
|
wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-arm-none-eabi.tar.xz |
|
|
|
wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-arm-none-eabi.tar.xz |
|
|
@ -28,21 +30,25 @@ jobs: |
|
|
|
mkdir -p kernels |
|
|
|
mkdir -p kernels |
|
|
|
- name: Build for Raspberry Pi 4 |
|
|
|
- name: Build for Raspberry Pi 4 |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH |
|
|
|
export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH |
|
|
|
RPI=4 bash -ex build.sh |
|
|
|
RPI=4 bash -ex build.sh |
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
- name: Build for Raspberry Pi 3 |
|
|
|
- name: Build for Raspberry Pi 3 |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH |
|
|
|
export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH |
|
|
|
RPI=3 bash -ex build.sh |
|
|
|
RPI=3 bash -ex build.sh |
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
- name: Build for Raspberry Pi 2 |
|
|
|
- name: Build for Raspberry Pi 2 |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH |
|
|
|
export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH |
|
|
|
RPI=2 bash -ex build.sh |
|
|
|
RPI=2 bash -ex build.sh |
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
- name: Get Raspberry Pi boot files |
|
|
|
- name: Get Raspberry Pi boot files |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH |
|
|
|
export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH |
|
|
|
cp ./kernels/* ./circle-stdlib/libs/circle/boot/ || true |
|
|
|
cp ./kernels/* ./circle-stdlib/libs/circle/boot/ || true |
|
|
|
cd ./circle-stdlib/libs/circle/boot |
|
|
|
cd ./circle-stdlib/libs/circle/boot |
|
|
@ -59,5 +65,6 @@ jobs: |
|
|
|
- name: Upload to GitHub Releases (only when building from main branch) |
|
|
|
- name: Upload to GitHub Releases (only when building from main branch) |
|
|
|
if: ${{ github.ref == 'refs/heads/main' }} |
|
|
|
if: ${{ github.ref == 'refs/heads/main' }} |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
wget -c https://github.com/probonopd/uploadtool/raw/master/upload.sh |
|
|
|
wget -c https://github.com/probonopd/uploadtool/raw/master/upload.sh |
|
|
|
bash ./upload.sh ./MiniDexed*.zip |
|
|
|
bash ./upload.sh ./MiniDexed*.zip |
|
|
|