Dale Whinham
e47d202c70
Compress kernels with gzip
2023-03-05 18:44:09 +00:00
Dale Whinham
919696b41d
Makefile: Fix indentation
2023-03-03 21:13:17 +00:00
Dale Whinham
a6a03f666a
Makefile: various improvements
2023-03-03 20:37:10 +00:00
Dale Whinham
92197b6cb3
Update ARM toolchains to 11.3.rel1
2022-12-04 23:02:16 +00:00
Dale Whinham
18c9a5bc40
Update ARM toolchains to 10.3-2021.07
2021-11-07 20:47:11 +00:00
Dale Whinham
e3e46b280a
Change default board in Config.mk
2021-06-25 23:57:13 +01:00
Dale Whinham
425c0e7ffb
Remove Pi 0/1 BOARD option, ensure .hex is built
2021-03-19 23:53:26 +00:00
Dale Whinham
96dc570fd5
Update ARM toolchains to 10.2-2020.11
2021-03-19 23:53:26 +00:00
Dale Whinham
c964f23daf
Re-enable GC_SECTIONS
...
We can re-enable garbage collection for sections and slim down the
kernel size now that a fix has been merged into Circle.
2020-12-05 16:22:59 +00:00
Dale Whinham
ff8cca440d
Add FluidSynth patch and build steps to Makefile
2020-11-22 23:16:44 +00:00
Dale Whinham
8bf865008b
Enable AArch64 builds for Raspberry Pi 3 and 4
2020-11-22 23:16:44 +00:00
Dale Whinham
d05bd1f207
Temporarily disable GC_SECTIONS
...
Using GC_SECTIONS results in broken USB device numbering since Circle
Step 43.
Disable until rsta2/circle#143 is merged or an alternative fix is
implemented.
Fixes #40 .
2020-10-18 04:43:12 +01:00
Dale Whinham
97962dd09b
Add ability to switch between multiple ROM sets
...
Introduce a ROM manager that scans a 'roms' directory on startup for all
valid ROMs that mt32emu supports.
If none are found in this directory, fall back on searching for
MT32_{CONTROL|PCM}.ROM in the root of the SD card as before.
Add a custom SysEx command that allows the user to switch ROM sets on
the fly.
Add a new config file option for setting the default ROM set.
Closes #18 .
2020-10-04 23:28:40 +01:00
Dale Whinham
53d1960ced
Add configuration file system
...
Closes #8 .
2020-07-14 17:41:06 +01:00
Dale Whinham
930aff3ebf
Reintroduce HDMI_CONSOLE option
...
Fixes Pi 4 hanging on startup when display isn't attached.
Add fallback to Null logging device if no display attached and serial
port in use.
2020-07-06 13:52:44 +01:00
Dale Whinham
e0ac018611
Enable GPIO serial MIDI, remove redundant console
...
Closes #9 .
2020-07-06 03:07:29 +01:00
Dale Whinham
6a896103da
Makefile: Silence include warning
2020-06-30 22:07:45 +01:00
Dale Whinham
f83a9b5749
Replace bash build scripts with Makefiles
2020-06-30 00:28:46 +01:00
