# Copyright (c) 2020 Intel Corporation
# SPDX-License-Identifier: Apache-2.0

menu "Demand Paging modules"
	depends on DEMAND_PAGING

rsource "eviction/Kconfig"

rsource "backing_store/Kconfig"

endmenu
