#define LED_RED 19
#define LED_YEL 18
#define LED_GRN 17

void taskBlinkRed(void *arg);
void taskBlinkGreen(void *arg);

void setup() {
  // put your setup code here, to run once:
  Serial.begin(115200);
  delay(100);

  pinMode(LED_RED, OUTPUT);
  pinMode(LED_YEL, OUTPUT);
  pinMode(LED_GRN, OUTPUT);

  xTaskCreatePinnedToCore(taskBlinkRed, "Blink Led Red", 2048, NULL, 2, NULL, 0);
  xTaskCreatePinnedToCore(taskBlinkGreen, "Blink Led Green", 2048, NULL, 1, NULL, 1);

  Serial.println("Completed");
}

void loop() {
  Serial.printf("loop() run on Core: %d\r\n", xPortGetCoreID());
  digitalWrite(LED_YEL, HIGH);
  delay(100);
  digitalWrite(LED_YEL, LOW);
  delay(1000);
}

void taskBlinkRed(void *arg) {
  for(;;) {
    digitalWrite(LED_RED, HIGH);
    delay(250);
    digitalWrite(LED_RED, LOW);
    delay(250);
  }
}

void taskBlinkGreen(void *arg) {
  for(;;) {
    digitalWrite(LED_GRN, HIGH);
    delay(1000/portTICK_PERIOD_MS);
    digitalWrite(LED_GRN, LOW);
    delay(1000/portTICK_PERIOD_MS);
  }
}