1# Copyright (c) 2020 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4menu "Demand Paging modules"
5	depends on DEMAND_PAGING
6
7source "subsys/demand_paging/eviction/Kconfig"
8
9source "subsys/demand_paging/backing_store/Kconfig"
10
11endmenu
12