mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
8b8e8c8270
Include PCI, PS2, VESA and Framebuffer drivers on x86_64 platform.
20 lines
489 B
Makefile
20 lines
489 B
Makefile
#
|
|
# \brief Offer build configurations that are specific to base-hw and x86_64
|
|
# \author Martin Stein
|
|
# \date 2011-12-20
|
|
#
|
|
|
|
# denote wich specs are also fullfilled by this spec
|
|
SPECS += hw x86_64
|
|
SPECS += pci ps2 vesa framebuffer
|
|
|
|
# configure multiprocessor mode
|
|
NR_OF_CPUS = 1
|
|
|
|
# set address where to link text segment at
|
|
LD_TEXT_ADDR ?= 0x200000
|
|
|
|
# include implied specs
|
|
include $(call select_from_repositories,mk/spec-hw.mk)
|
|
include $(call select_from_repositories,mk/spec-x86_64.mk)
|