Rev 1004 | Rev 1162 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1004 | Rev 1106 | ||
---|---|---|---|
Line 50... | Line 50... | ||
50 | 50 | ||
51 | ## Compile with hierarchical page tables support. |
51 | ## Compile with hierarchical page tables support. |
52 | # |
52 | # |
53 | 53 | ||
54 | CONFIG_PAGE_PT = y |
54 | CONFIG_PAGE_PT = y |
- | 55 | DEFS += -DCONFIG_PAGE_PT |
|
55 | 56 | ||
56 | ARCH_SOURCES = \ |
57 | ARCH_SOURCES = \ |
57 | arch/$(ARCH)/src/console.c \ |
58 | arch/$(ARCH)/src/console.c \ |
58 | arch/$(ARCH)/src/context.S \ |
59 | arch/$(ARCH)/src/context.S \ |
59 | arch/$(ARCH)/src/debug/panic.s \ |
60 | arch/$(ARCH)/src/debug/panic.s \ |