# See the end of this file for copyright and license terms.

add_library(gay_kernel STATIC)
target_include_directories(gay_kernel PRIVATE ${GAY_INCLUDE_DIRS})
target_compile_definitions(gay_kernel INTERFACE ${GAY_KERNEL_DEFINITIONS})

target_link_libraries(gay_kernel PRIVATE c gay_arch)

target_sources(gay_kernel PRIVATE
    bits.c
    clist.c
    irq.c
    kprintf.c
    main.c
    mutex.c
    sched.c
    util.c
)

add_subdirectory(mm)

# This file is part of GayBSD.
# Copyright (c) 2021 fef <owo@fef.moe>.
#
# GayBSD is nonviolent software: you may only use, redistribute, and/or
# modify it under the terms of the Cooperative Nonviolent Public License
# (CNPL) as found in the LICENSE file in the source code root directory
# or at <https://git.pixie.town/thufie/npl-builder>; either version 7
# of the license, or (at your option) any later version.
#
# GayBSD comes with ABSOLUTELY NO WARRANTY, to the extent
# permitted by applicable law.  See the CNPL for details.