ce0ee6c054
* adds patch to remove unused kernel components * new boards, rebase patches to match * rename boards for deployment
32 lines
1.0 KiB
Makefile
32 lines
1.0 KiB
Makefile
# Makefile for building the tock kernel for the nRF development kit
|
|
|
|
TARGET=thumbv7em-none-eabi
|
|
PLATFORM=nrf52840dk_opensk
|
|
|
|
include ../../Makefile.common
|
|
|
|
TOCKLOADER=tockloader
|
|
|
|
# Where in the SAM4L flash to load the kernel with `tockloader`
|
|
KERNEL_ADDRESS=0x00000
|
|
|
|
# Upload programs over uart with tockloader
|
|
ifdef PORT
|
|
TOCKLOADER_GENERAL_FLAGS += --port $(PORT)
|
|
endif
|
|
|
|
# Upload the kernel over JTAG
|
|
.PHONY: flash
|
|
flash: $(TOCK_ROOT_DIRECTORY)target/$(TARGET)/release/$(PLATFORM).bin
|
|
$(TOCKLOADER) $(TOCKLOADER_GENERAL_FLAGS) flash --address $(KERNEL_ADDRESS) --board nrf52dk --jlink $<
|
|
|
|
# Upload the kernel over JTAG using OpenOCD
|
|
.PHONY: flash-openocd
|
|
flash-openocd: $(TOCK_ROOT_DIRECTORY)target/$(TARGET)/release/$(PLATFORM).bin
|
|
$(TOCKLOADER) $(TOCKLOADER_GENERAL_FLAGS) flash --address $(KERNEL_ADDRESS) --board nrf52dk --openocd $<
|
|
|
|
# Upload the kernel over serial/bootloader
|
|
.PHONY: program
|
|
program: $(TOCK_ROOT_DIRECTORY)target/$(TARGET)/release/$(PLATFORM).hex
|
|
$(error Cannot program nRF52840DK over USB. Use \`make flash\` and JTAG)
|