[loader]
jlink-device = "S32K144"