genode/repos/base-hw/mk/spec-hw_x86_64_muen.mk

#
# \brief  Build configs that are specific to base-hw/x86_64 on the Muen SK
# \author Martin Stein
# \date   2011-12-20
#

# denote wich specs are also fullfilled by this spec
SPECS += hw x86_64_muen
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)
hw: skeleton for building x86_64_muen The hw_x86_64_muen platform is a x86/64 base-hw kernel which runs as isolated subject (guest) on the Muen Separation Kernel (SK) [1]. The platform is implemented as an extension to hw_x86_64 replacing the PIC and timer drivers with paravirtualized variants. The skeleton contains a dummy PIC and timer implementation for now. [1] - http://muen.sk 2015-04-14 10:12:15 +00:00			`#`
			`# \brief Build configs that are specific to base-hw/x86_64 on the Muen SK`
			`# \author Martin Stein`
			`# \date 2011-12-20`
			`#`

			`# denote wich specs are also fullfilled by this spec`
			`SPECS += hw x86_64_muen`
			`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)`