|
|
@ -46,18 +46,6 @@ jobs: |
|
|
|
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 |
|
|
|
|
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
|
|
|
|
export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH |
|
|
|
|
|
|
|
RPI=2 bash -ex build.sh |
|
|
|
|
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
|
|
|
|
- name: Build for Raspberry Pi 1 |
|
|
|
|
|
|
|
run: | |
|
|
|
|
|
|
|
set -ex |
|
|
|
|
|
|
|
export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH |
|
|
|
|
|
|
|
RPI=1 bash -ex build.sh |
|
|
|
|
|
|
|
cp ./src/kernel*.img ./kernels/ |
|
|
|
|
|
|
|
- name: Get Raspberry Pi boot files |
|
|
|
- name: Get Raspberry Pi boot files |
|
|
|
run: | |
|
|
|
run: | |
|
|
|
set -ex |
|
|
|
set -ex |
|
|
|