diff options
Diffstat (limited to 'nuttx/mm/Makefile')
| -rw-r--r-- | nuttx/mm/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nuttx/mm/Makefile b/nuttx/mm/Makefile index 56b1157d2..f605fc5d4 100644 --- a/nuttx/mm/Makefile +++ b/nuttx/mm/Makefile @@ -69,6 +69,12 @@ endif ifeq ($(CONFIG_GRAN),y) CSRCS += mm_graninit.c mm_granreserve.c mm_granalloc.c mm_granmark.c CSRCS += mm_granfree.c mm_grancritical.c + +# A page allocator based on the granule allocator + +ifeq ($(CONFIG_MM_PGALLOC),y) +CSRCS += mm_pgalloc.c +endif endif BINDIR ?= bin |