Rev 1036 | Rev 1191 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1036 | 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 | ## Compile with support for address space identifiers. |
57 | ## Compile with support for address space identifiers. |
| 57 | # |
58 | # |
| 58 | 59 | ||
| 59 | CONFIG_ASID = y |
60 | CONFIG_ASID = y |