Commit Graph

31 Commits (fdb04d1816ca6cdfbf92350d4961d53fe8a2683f)

Author SHA1 Message Date
probonopd 46d64c7ecf
Combine config.txt for 32-bit and 64-bit models 3 years ago
probonopd 6c54aba903
Do not delete sdcard/config32.txt 3 years ago
probonopd 205df631f7
Build for Raspberry Pi 1 3 years ago
probonopd 9e51b08bfe
cp ../kernels/* . || true 3 years ago
probonopd daa0378694
cp ../kernels/* ./circle-stdlib/libs/circle/boot/ || true 3 years ago
probonopd 1fa4500e49
Copy kernels in place 3 years ago
probonopd b924df4464
set -ex 3 years ago
probonopd 49b7a33c5c
Preserve various kernels 3 years ago
probonopd 4820e51709
Preserve various kernels 3 years ago
probonopd 1afd35957b
Fix toolchain for Raspberry Pi 3 3 years ago
probonopd d2d6b6a70b
Try to build for Build for Raspberry Pi 2 3 years ago
probonopd 868496f904
Do not build for Raspberry Pi 2 3 years ago
probonopd be64fa2f74
Try to build for Raspberry Pi 2 3 years ago
probonopd 5470842c4c
MiniDexed_arm64 3 years ago
probonopd b7542ac81a
Separate run for Raspberry Pi 3 [ci skip] 3 years ago
probonopd 34779f470a
Use build.sh 3 years ago
probonopd 05c0019553
Do not put directory into zip 3 years ago
probonopd 39445db85d
MiniDexed_Raspberry_Pi_4.zip 3 years ago
probonopd 78aeb4311e
Remove unneeded files 3 years ago
probonopd 1131729bb5
make armstub64 3 years ago
probonopd 7f1066f9b7
export PATH=$(readlink -f ./gcc-*/bin/):$PATH 3 years ago
probonopd f8922061f5
Upload SD card contents 3 years ago
probonopd 7a5b7218f8
Use GITHUB_TOKEN for uploading to GitHub Releases 3 years ago
probonopd d898f3d4f1
Upload to GitHub Releases 3 years ago
probonopd 6f4935ec0d
export PATH=$(readlink -f ./gcc-*/bin/):$PATH 3 years ago
probonopd 4b70e3c550
Upload to GitHub Releases 3 years ago
probonopd 5b466067fd
Recursively pull git submodules 3 years ago
probonopd 3b09068445
export PATH 3 years ago
probonopd b1c9d73b1f
Silence wget in build log 3 years ago
probonopd ead0882364
runs-on: ubuntu-20.04 3 years ago
probonopd 327ebd93c4
Create build.yml 3 years ago