#
# Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#

cmake_minimum_required(VERSION 3.8.2)

project(PicoServer C)

DeclareCAmkESComponent(
    PicoServer
    SOURCES
    src/eth_interface.c
    INCLUDES
    include
    LIBS
    sel4utils
    picotcp
    ethdrivers
)