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 \ |