Rev 1480 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1480 | Rev 1730 | ||
|---|---|---|---|
| Line 53... | Line 53... | ||
| 53 | # |
53 | # |
| 54 | 54 | ||
| 55 | CONFIG_PAGE_PT = y |
55 | CONFIG_PAGE_PT = y |
| 56 | DEFS += -DCONFIG_PAGE_PT |
56 | DEFS += -DCONFIG_PAGE_PT |
| 57 | 57 | ||
| - | 58 | ## Compile with support for address space identifiers. |
|
| - | 59 | # |
|
| - | 60 | ||
| - | 61 | CONFIG_ASID = y |
|
| - | 62 | CONFIG_ASID_FIFO = y |
|
| - | 63 | ||
| 58 | ## Compile with support for software integer division. |
64 | ## Compile with support for software integer division. |
| 59 | # |
65 | # |
| 60 | 66 | ||
| 61 | CONFIG_SOFTINT = y |
67 | CONFIG_SOFTINT = y |
| 62 | 68 | ||