Add arm32 architecture. The 32 suffix is used to specify that 16-bit Thumb
[helenos.git] / kernel / genarch / Makefile.inc
blobc525c2b3674c1c0fc5f8ed55f20da1ac6d89506f
1 # Copyright (c) 2005 Martin Decky
2 # All rights reserved.
4 # Redistribution and use in source and binary forms, with or without
5 # modification, are permitted provided that the following conditions
6 # are met:
8 # - Redistributions of source code must retain the above copyright
9 #   notice, this list of conditions and the following disclaimer.
10 # - Redistributions in binary form must reproduce the above copyright
11 #   notice, this list of conditions and the following disclaimer in the
12 #   documentation and/or other materials provided with the distribution.
13 # - The name of the author may not be used to endorse or promote products
14 #   derived from this software without specific prior written permission.
16 # THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17 # IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 # OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19 # IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20 # INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21 # NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22 # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23 # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25 # THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 ## Accepted configuration directives
31 ifeq ($(CONFIG_ACPI),y)
32         GENARCH_SOURCES += \
33                 genarch/src/acpi/acpi.c \
34                 genarch/src/acpi/madt.c
35 endif
36 ifeq ($(CONFIG_PAGE_PT),y)
37         GENARCH_SOURCES += \
38                 genarch/src/mm/page_pt.c \
39                 genarch/src/mm/as_pt.c
40 endif
41 ifeq ($(CONFIG_PAGE_HT),y)
42         GENARCH_SOURCES += \
43                 genarch/src/mm/page_ht.c \
44                 genarch/src/mm/as_ht.c
45 endif
46 ifeq ($(CONFIG_ASID),y)
47         GENARCH_SOURCES += \
48                 genarch/src/mm/asid.c
49 endif
50 ifeq ($(CONFIG_ASID_FIFO),y)
51         GENARCH_SOURCES += \
52                 genarch/src/mm/asid_fifo.c
53 endif
54 ifeq ($(CONFIG_SOFTINT),y)
55         GENARCH_SOURCES += \
56                 genarch/src/softint/division.c
57 endif
59 ## Framebuffer
60 ifeq ($(CONFIG_FB),y)
61         GENARCH_SOURCES += \
62                 genarch/src/fb/font-8x16.c \
63                 genarch/src/fb/fb.c
64         DEFS += -DCONFIG_FB
65 endif
67 ## i8042 controller
68 ifeq ($(CONFIG_I8042),y)
69         GENARCH_SOURCES += \
70                 genarch/src/kbd/i8042.c \
71                 genarch/src/kbd/key.c \
72                 genarch/src/kbd/scanc_pc.c
73 endif
75 ## Sun keyboard
76 ifeq ($(CONFIG_SUN_KBD),y)
77         GENARCH_SOURCES += \
78                 genarch/src/kbd/key.c \
79                 genarch/src/kbd/scanc_sun.c
80 endif
82 ## z8530 controller
83 ifeq ($(CONFIG_Z8530),y)
84         GENARCH_SOURCES += \
85                 genarch/src/kbd/z8530.c
86 endif
88 ## ns16550 controller
89 ifeq ($(CONFIG_NS16550),y)
90         GENARCH_SOURCES += \
91                 genarch/src/kbd/ns16550.c
92 endif
95 ## OpenFirmware Device Tree
96 ifeq ($(CONFIG_OFW_TREE), y)
97         GENARCH_SOURCES += \
98                 genarch/src/ofw/ofw_tree.c \
99                 genarch/src/ofw/ebus.c \
100                 genarch/src/ofw/fhc.c \
101                 genarch/src/ofw/pci.c  \
102                 genarch/src/ofw/upa.c 
103 endif