LOCAL_DIR := $(GET_LOCAL_DIR)

MODULE := $(LOCAL_DIR)

CPU := generic

SMP_MAX_CPUS ?= 1

MODULE_DEPS += \
 lib/cbuf

MEMBASE := 0x00200000
MEMSIZE := 0x0fe00000

GLOBAL_DEFINES += \
 MEMBASE=$(MEMBASE) \
 MEMSIZE=$(MEMSIZE) \

# Increase stack size of init hook thread since using the ACPI
# crate to parse the PCI routing table can otherwise exhaust the stack.
PRIMARY_BOOTSTRAP2_STACK_SIZE ?= 16384

MODULE_DEFINES += \
 TARGET_SERIAL_IO_BASE=0x3f8 \

GLOBAL_INCLUDES += \
 $(LOCAL_DIR)/include

MODULE_SRCS += \
 $(LOCAL_DIR)/debug.c \
 $(LOCAL_DIR)/platform.c \

MODULE_DEPS += \
 $(LOCAL_DIR)/rust \
 dev/interrupt/x86_lapic \
 dev/timer/x86_generic \
 trusty/kernel/lib/dtb_service \
 trusty/kernel/lib/x86_64_rdseed_rng \

include make/module.mk