Rev 1074 | Rev 1171 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1074 | Rev 1106 | ||
|---|---|---|---|
| Line 79... | Line 79... | ||
| 79 | 79 | ||
| 80 | ## Compile with hierarchical page tables support. |
80 | ## Compile with hierarchical page tables support. |
| 81 | # |
81 | # |
| 82 | 82 | ||
| 83 | CONFIG_PAGE_PT = y |
83 | CONFIG_PAGE_PT = y |
| - | 84 | DEFS += -DCONFIG_PAGE_PT |
|
| 84 | 85 | ||
| 85 | ## Compile with i8042 controller support |
86 | ## Compile with i8042 controller support |
| 86 | # |
87 | # |
| 87 | 88 | ||
| 88 | CONFIG_I8042 = y |
89 | CONFIG_I8042 = y |