#include <iostream>

#include "pins.h"
#include "hardware/gpio.h"
#include "pico/platform.h"
#include "pico/time.h"

[[noreturn]] void core1_launch_with_reset_self() {
    assert(get_core_num());// assert if called with core0
    gpio_put(INTERUPT_PIN, true);
    while (true) {
        sleep_ms(UINT32_MAX);
    }
}

void core0_launch_interupt_handler() {}