# Generated Cmake Pico project file

cmake_minimum_required(VERSION 3.13)

set(CMAKE_C_STANDARD 11)
set(CMAKE_CXX_STANDARD 17)
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)

# Initialise pico_sdk from installed location
# (note this can come from environment, CMake cache etc)

# == DO NOT EDIT THE FOLLOWING LINES for the Raspberry Pi Pico VS Code Extension to work ==
if(WIN32)
    set(USERHOME $ENV{USERPROFILE})
else()
    set(USERHOME $ENV{HOME})
endif()
set(sdkVersion 2.3.1)
set(toolchainVersion 15_2_Rel1)
set(picotoolVersion 2.3.1)
set(picoVscode ${USERHOME}/.pico-sdk/cmake/pico-vscode.cmake)
if (EXISTS ${picoVscode})
    include(${picoVscode})
endif()
# ====================================================================================
set(PICO_BOARD pico2 CACHE STRING "Board type")

# Pull in Raspberry Pi Pico SDK (must be before project)
include(pico_sdk_import.cmake)

project(tinykernel C CXX ASM)

# Initialise the Raspberry Pi Pico SDK
pico_sdk_init()

# Tinykernel library
add_subdirectory(tinykernel)

# Add executable demo
add_executable(tinykernel main.cpp)

pico_set_program_name(tinykernel "tinykernel")
pico_set_program_version(tinykernel "0.1")

# Modify the below lines to enable/disable output over UART/USB
pico_enable_stdio_uart(tinykernel 1)
pico_enable_stdio_usb(tinykernel 0)

# Link libraries
target_link_libraries(tinykernel
        pico_stdlib
        tinykernel_lib
)

pico_add_extra_outputs(tinykernel)