set(CHINO_ARCH win32)
set(CHINO_CHIP win32)
set(CHINO_BOARD_ID "26B54718-A4C6-4D9A-AE35-8F3C8BF8E7AE")

set(CHINO_KERNEL_STACK_SIZE "40960")

# Drivers
## serial
set(CHINO_DRV_WIN32_CONSOLE ON)

## fs
set(CHINO_DRV_WIN32_FS ON)

## netif
set(CHINO_DRV_WIN32_NETIF ON)