Rev 2171 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2171 | Rev 2175 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | CONFIG_PAGE_PT = y |
51 | CONFIG_PAGE_PT = y |
52 | DEFS += -DCONFIG_PAGE_PT |
52 | DEFS += -DCONFIG_PAGE_PT |
53 | 53 | ||
54 | ## Compile with support for address space identifiers. |
54 | ## Compile with support for address space identifiers. |
55 | # |
55 | # |
56 | - | ||
- | 56 | # no HW support for ASIDs |
|
57 | CONFIG_ASID = y |
57 | #CONFIG_ASID = y |
58 | CONFIG_ASID_FIFO = y |
58 | #CONFIG_ASID_FIFO = y |
59 | 59 | ||
60 | ## Compile with support with software division and multiplication. |
60 | ## Compile with support with software division and multiplication. |
61 | # |
61 | # |
62 | 62 | ||
63 | CONFIG_SOFTINT = y |
63 | CONFIG_SOFTINT = y |