| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
We're not testing these anyways; building new firmware for them is not helpful.
Signed-off-by: Keith Packard <keithp@keithp.com>
|
| |
|
|
|
|
|
| |
core remains a bad name to use -- dirvish skips files (and
directories, it seems) with that name.
Signed-off-by: Keith Packard <keithp@keithp.com>
|
| |
|
|
|
|
| |
Set the driver source path for the debugger
Signed-off-by: Keith Packard <keithp@keithp.com>
|
|
|
TeleMini production boards are firmware compatible with the v0.1
design, so instead of creating another product, just rename the
existing one.
Signed-off-by: Keith Packard <keithp@keithp.com>
|