Serge Vakulenko
7f5ad5d3f8
Using Max32 board with Arduino SD card shield as a default configuration.
2015-02-04 14:28:03 -08:00
Serge Vakulenko
1916f8c9da
New kernel configuration: chipKIT WF32 board with microSD card on 2.4" LCD TFT display shield.
...
WF32 board by itself already has a microSD socket.
It's useless for RetroBSD though, as it is not connected to any
of available SPI ports (must use GPIO instead).
Fortunately, a cheap shield is widely available, which adds a microSD slot
connected to SPI2 pins.
2015-01-28 19:14:41 -08:00
Sergey
64430a0f91
Added comfiguration for Majenko SDXL board.
...
DIP and Pinguino-micro boards removed - nobody uses these.
Deleted unused linker scripts.
2014-10-04 13:57:03 -07:00
Serge Vakulenko
1c4e562363
Added kernel configuration for PICadillo-35T board.
2014-06-23 22:15:51 -07:00
Brian Callahan
bbba8d6f95
Remove all hardcoded make commands, changing them to ${MAKE}.
...
This is a first step towards being able to build RetroBSD on *BSD.
2014-05-25 16:25:15 -04:00
Serge Vakulenko
66ffc30ccd
Kernel makefiles updated.
2014-05-23 11:33:58 -07:00
igor-m
b2455a78f1
Added 32MX board
2014-04-10 23:48:40 +02:00
Matt Jenkins
895f96d2f7
Initial Import from SVN
2014-04-09 14:27:18 +01:00
