ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/repos/base-hw/mk/spec-hw_x86_64.mk

20 lines
489 B
Makefile
Raw Normal View History

hw: skeleton for building on x86_64 This patch contains the initial code needed to build and bootstrap the base-hw kernel on x86 64-bit platforms. It gets stuck earlier because the binary contains 64-bit instructions, but it is started in 32-bit mode. The initial setup of page tables and switch to long mode is still missing from the crt0 code.
2015-02-06 17:29:30 +01:00
#
# \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
hw_x86_64: Add various drivers to x86 Include PCI, PS2, VESA and Framebuffer drivers on x86_64 platform.
2015-03-19 01:15:36 +01:00
SPECS += pci ps2 vesa framebuffer
hw: skeleton for building on x86_64 This patch contains the initial code needed to build and bootstrap the base-hw kernel on x86 64-bit platforms. It gets stuck earlier because the binary contains 64-bit instructions, but it is started in 32-bit mode. The initial setup of page tables and switch to long mode is still missing from the crt0 code.
2015-02-06 17:29:30 +01:00
# 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)