Rev 778 | Rev 1074 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 778 | Rev 894 | ||
---|---|---|---|
Line 80... | Line 80... | ||
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 | 84 | ||
- | 85 | ## Compile with i8042 controller support |
|
- | 86 | # |
|
- | 87 | ||
- | 88 | CONFIG_I8042 = y |
|
- | 89 | ||
- | 90 | ||
85 | ## Accepted configuration directives |
91 | ## Accepted configuration directives |
86 | # |
92 | # |
87 | 93 | ||
88 | ifeq ($(CONFIG_SMP),y) |
94 | ifeq ($(CONFIG_SMP),y) |
89 | DEFS += -DCONFIG_SMP |
95 | DEFS += -DCONFIG_SMP |
Line 116... | Line 122... | ||
116 | arch/$(ARCH)/src/mm/as.c \ |
122 | arch/$(ARCH)/src/mm/as.c \ |
117 | arch/$(ARCH)/src/mm/frame.c \ |
123 | arch/$(ARCH)/src/mm/frame.c \ |
118 | arch/$(ARCH)/src/mm/memory_init.c \ |
124 | arch/$(ARCH)/src/mm/memory_init.c \ |
119 | arch/$(ARCH)/src/mm/page.c \ |
125 | arch/$(ARCH)/src/mm/page.c \ |
120 | arch/$(ARCH)/src/mm/tlb.c \ |
126 | arch/$(ARCH)/src/mm/tlb.c \ |
121 | arch/$(ARCH)/src/drivers/i8042.c \ |
- | |
122 | arch/$(ARCH)/src/drivers/i8254.c \ |
127 | arch/$(ARCH)/src/drivers/i8254.c \ |
123 | arch/$(ARCH)/src/drivers/i8259.c \ |
128 | arch/$(ARCH)/src/drivers/i8259.c \ |
124 | arch/$(ARCH)/src/drivers/ega.c \ |
129 | arch/$(ARCH)/src/drivers/ega.c \ |
125 | arch/$(ARCH)/src/boot/boot.S \ |
130 | arch/$(ARCH)/src/boot/boot.S \ |
126 | arch/$(ARCH)/src/fpu_context.c |
131 | arch/$(ARCH)/src/fpu_context.c |