genode/repos/base/mk/spec-x86_64.mk

#
# Specifics for 64-bit x86
#
SPECS += x86 64bit

#
# x86-specific Genode headers
#
REP_INC_DIR += include/x86
REP_INC_DIR += include/x86_64
REP_INC_DIR += include/platform/x86

CC_MARCH ?= -m64

#
# Avoid wasting almost 4 MiB by telling the linker that the max page size is
# 4K. Otherwise, the linker would align the text segment to a 4M boundary,
# effectively adding 4M of zeros to each binary.
#
# See http://sourceware.org/ml/binutils/2009-04/msg00099.html
#
LD_MARCH ?= -melf_x86_64 -z max-page-size=0x1000


include $(call select_from_repositories,mk/spec-64bit.mk)
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`#`
			`# Specifics for 64-bit x86`
			`#`
			`SPECS += x86 64bit`

			`#`
			`# x86-specific Genode headers`
			`#`
			`REP_INC_DIR += include/x86`
			`REP_INC_DIR += include/x86_64`
pci: convert to platform_drv Fixes #1542 2015-06-08 07:05:32 +00:00			`REP_INC_DIR += include/platform/x86`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00
Use NOVA microkernel from github, add 64bit Use git to get recent kernels from github. Adjust NOVA patch to compile with recent github version. Patch and use makefile of NOVA microkernel to avoid duplicated (and outdated) makefile in Genode Furthermore, this patch adds support for using NOVA on x86_64. The generic part of the syscall bindings has been moved to 'base-nova/include/nova/syscall-generic.h'. The 32/64-bit specific parts are located at 'base-nova/include/32bit/nova/syscalls.h' and 'base-nova/include/64bit/nova/syscalls.h' respectively. On x86_64, the run environment boots qemu using the Pulsar boot loader because GRUB legacy does not support booting 64bit ELF executables. In addition to the NOVA-specific changes in base-nova, this patch rectifies compile-time warnings or build errors in the 'ports' and 'libports' repositories that are related to NOVA x86_64 (i.e., Vancouver builds for 32bit only and needed an adaptation to NOVAs changed bindings) Fixes #233, fixes #234 2012-06-06 08:19:48 +00:00			`CC_MARCH ?= -m64`

Fix binary size for 64bit Every 64-bit binary is effectively 4M too big currently [0]. The GNU linker ld aligns the text section of the binary to the maximum page size. On i386 the default section alignment is fixed typically to 4K. Avoid wasting mainly 4M on x86_64 by telling the linker the max page size to be 4K. [0] http://sourceware.org/ml/binutils/2009-04/msg00099.html 2012-09-05 12:51:31 +00:00			`#`
			`# Avoid wasting almost 4 MiB by telling the linker that the max page size is`
			`# 4K. Otherwise, the linker would align the text segment to a 4M boundary,`
			`# effectively adding 4M of zeros to each binary.`
			`#`
			`# See http://sourceware.org/ml/binutils/2009-04/msg00099.html`
			`#`
			`LD_MARCH ?= -melf_x86_64 -z max-page-size=0x1000`


Imported Genode release 11.11 2011-12-22 15:19:25 +00:00			`include $(call select_from_repositories,mk/spec-64bit.mk)`