Rev 1074 | Rev 1185 | Go to most recent revision | Show entire file | Regard 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 |