A repository for Simons Observatory UK FPGA firmware and control software.
git submodule update --init --recursive
firmware/startsg.local
.firmware/
, run startsg
(if your environment file is called startsg.local
) or startsg <my_local_environment_file.local>
.firmware/
-- Firmware source files and librariessoftware/
-- Libraries providing communication to FPGA hardware and firmwaredocs/
-- Documentationdd if=<casper_image_file.img> of=/dev/<your-SD-card-device>
for example: dd if=casper.img of=/dev/sdb
picocom /dev/ttyUSB1 -b 115200
# List boot modes:
krm4:b
returns
boot mode invalid option
possible selections are:
0 - JTAG
1 - QSPI24
2 - QSPI32
5 - SD1
6 - eMMC18
7 - USB0
8 - PJTAG0
e - SD1-LS
# Boot from SD card
krm4:b5
returns
boot mode SD1
krm4:f
At this point, the board should boot to Linux from the SD card. You can watch the boot process via the "other" (/dev /ttyUSB0
, for example) serial interface at 115200 baud.
By default, the provided image will configure the KRM board's Ethernet interface to have two IP addresses. One is obtained automatically via DHCP. The other is statically defined, and is 10.11.11.11/24
. Note that, at present, the provided OS image does not include a statically defined MAC address for the interface, so after a power cycles the board is likely to be allocated a new IP address.
ssh casper@10.11.11.11 # password is casper