diff --git a/repos/base/mk/spec/arm_v6.mk b/repos/base/mk/spec/arm_v6.mk index 8dc12a7a1a..53e7df76e2 100644 --- a/repos/base/mk/spec/arm_v6.mk +++ b/repos/base/mk/spec/arm_v6.mk @@ -1,18 +1,8 @@ -# -# \brief Build-system configurations for ARMv6 -# \author Martin Stein -# \date 2012-09-26 -# - -# denote wich specs are also fullfilled by this spec SPECS += arm -# configure compiler CC_MARCH += -march=armv6 -# add repository relative include paths REP_INC_DIR += include/spec/arm_v6 -# include implied specs include $(BASE_DIR)/mk/spec/arm.mk diff --git a/repos/base/mk/spec/arm_v7.mk b/repos/base/mk/spec/arm_v7.mk index fe4697c501..315f0e4a04 100644 --- a/repos/base/mk/spec/arm_v7.mk +++ b/repos/base/mk/spec/arm_v7.mk @@ -1,15 +1,6 @@ -# -# \brief Build-system configurations for ARMv7 -# \author Martin Stein -# \date 2012-09-26 -# - -# denote wich specs are also fullfilled by this spec SPECS += arm -# add repository relative include paths REP_INC_DIR += include/spec/arm_v7 -# include implied specs include $(BASE_DIR)/mk/spec/arm.mk diff --git a/repos/base/mk/spec/arm_v7a.mk b/repos/base/mk/spec/arm_v7a.mk index 8e79bc8030..f113d3966d 100644 --- a/repos/base/mk/spec/arm_v7a.mk +++ b/repos/base/mk/spec/arm_v7a.mk @@ -1,15 +1,8 @@ -# -# \brief Build-system configurations for ARMv7a -# \author Martin Stein -# \date 2012-09-26 -# - -# denote wich specs are also fullfilled by this spec SPECS += arm_v7 -# add repository relative include paths REP_INC_DIR += include/spec/arm_v7a -# include implied specs +CC_MARCH += -march=armv7-a + include $(BASE_DIR)/mk/spec/arm_v7.mk diff --git a/repos/base/mk/spec/arndale.mk b/repos/base/mk/spec/arndale.mk index 8feb309ab0..d7dc7d28b1 100644 --- a/repos/base/mk/spec/arndale.mk +++ b/repos/base/mk/spec/arndale.mk @@ -1,15 +1,6 @@ -# -# \brief Build-system configurations for InSign Arndale 5 -# \author Martin Stein -# \date 2013-01-09 -# - -# denote specs that are fullfilled by this spec SPECS += exynos5 -# add repository relative paths REP_INC_DIR += include/spec/arndale -# include implied specs include $(BASE_DIR)/mk/spec/exynos5.mk diff --git a/repos/base/mk/spec/cortex_a15.mk b/repos/base/mk/spec/cortex_a15.mk index ba59f03ad5..9fa217b1b1 100644 --- a/repos/base/mk/spec/cortex_a15.mk +++ b/repos/base/mk/spec/cortex_a15.mk @@ -1,26 +1,17 @@ -# -# \brief Build-system configurations for ARM Cortex A15 -# \author Martin Stein -# \date 2013-01-09 -# - -# denote wich specs are also fullfilled by this spec SPECS += arm_v7a -# add repository relative include paths REP_INC_DIR += include/spec/cortex_a15 +include $(BASE_DIR)/mk/spec/arm_v7a.mk + # configure compiler # # GCC versions up to 4.7.3 complain about conflicting command-line switches: # # warning: switch -mcpu=cortex-a15 conflicts with -march=armv7-a switch [enabled by default] # -# Therefore, do not specify the actual CPU and the architecture together. +# Therefore, we override the 'CC_MARCH' of the included 'arm_v7a.mk'. # # Reference: https://github.com/genodelabs/genode/issues/810 # -CC_MARCH += -mcpu=cortex-a15 - -# include implied specs -include $(BASE_DIR)/mk/spec/arm_v7a.mk +CC_MARCH := -march=armv7ve -mcpu=cortex-a15 diff --git a/repos/base/mk/spec/cortex_a8.mk b/repos/base/mk/spec/cortex_a8.mk index 05293b6659..cc42f950a8 100644 --- a/repos/base/mk/spec/cortex_a8.mk +++ b/repos/base/mk/spec/cortex_a8.mk @@ -1,17 +1,7 @@ -# -# \brief Build-system configurations specifically for the ARM Cortex A8 -# \author Stefan Kalkowski -# \date 2012-10-15 -# - -# denote wich specs are also fullfilled by this spec SPECS += arm_v7a -# add repository relative include paths REP_INC_DIR += include/spec/cortex_a8 -# configure compiler CC_MARCH += -march=armv7-a -mcpu=cortex-a8 -# include implied specs include $(BASE_DIR)/mk/spec/arm_v7a.mk diff --git a/repos/base/mk/spec/cortex_a9.mk b/repos/base/mk/spec/cortex_a9.mk index 199c6af21d..3cd5446631 100644 --- a/repos/base/mk/spec/cortex_a9.mk +++ b/repos/base/mk/spec/cortex_a9.mk @@ -1,18 +1,8 @@ -# -# \brief Build-system configurations specifically for the ARM Cortex A9 -# \author Martin Stein -# \date 2011-12-20 -# - -# denote wich specs are also fullfilled by this spec SPECS += arm_v7a -# add repository relative include paths REP_INC_DIR += include/spec/cortex_a9 -# configure compiler -CC_MARCH += -march=armv7-a -mcpu=cortex-a9 +CC_MARCH += -mcpu=cortex-a9 -# include implied specs include $(BASE_DIR)/mk/spec/arm_v7a.mk diff --git a/repos/base/mk/spec/exynos5.mk b/repos/base/mk/spec/exynos5.mk index 694d34bb23..a1c15a92f6 100644 --- a/repos/base/mk/spec/exynos5.mk +++ b/repos/base/mk/spec/exynos5.mk @@ -1,14 +1,5 @@ -# -# \brief Build-system configurations for Exynos5 SoCs -# \author Stefan Kalkowski -# \date 2015-09-04 -# - -# denote specs that are fullfilled by this spec SPECS += cortex_a15 framebuffer usb -# add repository relative paths REP_INC_DIR += include/spec/exynos5 -# include implied specs include $(BASE_DIR)/mk/spec/cortex_a15.mk diff --git a/repos/base/mk/spec/fpu_vfpv3.mk b/repos/base/mk/spec/fpu_vfpv3.mk index 8d67f50deb..718f8dda8e 100644 --- a/repos/base/mk/spec/fpu_vfpv3.mk +++ b/repos/base/mk/spec/fpu_vfpv3.mk @@ -1,13 +1,7 @@ -# -# \brief Enable VFPV3-FPU on ARM -# \author Sebastian Sumpf -# \date 2013-06-16 -# - # # Enable floating point support in compiler # -CC_MARCH += -mfpu=vfpv3 -mfloat-abi=softfp +CC_MARCH += -mfpu=vfpv3 -mfloat-abi=softfp # # Include floating-point unit code diff --git a/repos/base/mk/spec/imx53.mk b/repos/base/mk/spec/imx53.mk index c0d647a9ba..5d768be186 100644 --- a/repos/base/mk/spec/imx53.mk +++ b/repos/base/mk/spec/imx53.mk @@ -1,15 +1,6 @@ -# -# \brief Build-system configurations specific to i.MX53 -# \author Stefan Kalkowski -# \date 2012-10-15 -# - -# denote wich specs are also fullfilled by this spec SPECS += cortex_a8 gpio framebuffer -# add repository relative include paths REP_INC_DIR += include/spec/imx53 -# include implied specs include $(BASE_DIR)/mk/spec/cortex_a8.mk diff --git a/repos/base/mk/spec/imx53_qsb.mk b/repos/base/mk/spec/imx53_qsb.mk index 78d6588540..ceda40ebcf 100644 --- a/repos/base/mk/spec/imx53_qsb.mk +++ b/repos/base/mk/spec/imx53_qsb.mk @@ -1,14 +1,5 @@ -# -# \brief Build-system configurations specific to i.MX53 Quickstart Board -# \author Stefan Kalkowski -# \date 2017-01-02 -# - -# denote wich specs are also fullfilled by this spec SPECS += imx53 -# add repository relative include paths REP_INC_DIR += include/spec/imx53_qsb -# include implied specs include $(BASE_DIR)/mk/spec/imx53.mk diff --git a/repos/base/mk/spec/imx6.mk b/repos/base/mk/spec/imx6.mk index cff68f5238..289335d740 100644 --- a/repos/base/mk/spec/imx6.mk +++ b/repos/base/mk/spec/imx6.mk @@ -1,17 +1,6 @@ -# -# \brief Build-system configurations for Freescale i.MX6 -# \author Nikolay Golikov -# \author Josef Soentgen -# \author Martin Stein -# \date 2014-02-25 -# - -# denote wich specs are also fullfilled by this spec SPECS += cortex_a9 -# add repository relative include paths REP_INC_DIR += include/spec/imx6 -# include implied specs include $(BASE_DIR)/mk/spec/cortex_a9.mk diff --git a/repos/base/mk/spec/odroid_x2.mk b/repos/base/mk/spec/odroid_x2.mk index 3edd01cf2f..b9288e4b0f 100644 --- a/repos/base/mk/spec/odroid_x2.mk +++ b/repos/base/mk/spec/odroid_x2.mk @@ -1,17 +1,6 @@ -# -# \brief Build-system configurations for Odrod-x2 -# \author Alexy Gallardo Segura -# \author Humberto López León -# \author Reinier Millo Sánchez -# \date 2015-07-08 -# - -# denote specs that are fullfilled by this spec SPECS += exynos4 cortex_a9 usb framebuffer gpio -# add repository relative paths REP_INC_DIR += include/spec/odroid_x2 REP_INC_DIR += include/spec/exynos4 -# include implied specs include $(BASE_DIR)/mk/spec/cortex_a9.mk diff --git a/repos/base/mk/spec/odroid_xu.mk b/repos/base/mk/spec/odroid_xu.mk index 9243bf6456..b2bb267882 100644 --- a/repos/base/mk/spec/odroid_xu.mk +++ b/repos/base/mk/spec/odroid_xu.mk @@ -1,15 +1,6 @@ -# -# \brief Build-system configurations for Odroid XU -# \author Stefan Kalkowski -# \date 2013-11-25 -# - -# denote specs that are fullfilled by this spec SPECS += exynos5 -# add repository relative paths REP_INC_DIR += include/spec/odroid_xu -# include implied specs include $(BASE_DIR)/mk/spec/exynos5.mk diff --git a/repos/base/mk/spec/rpi.mk b/repos/base/mk/spec/rpi.mk index b9dc94055b..aec33a3403 100644 --- a/repos/base/mk/spec/rpi.mk +++ b/repos/base/mk/spec/rpi.mk @@ -1,14 +1,5 @@ -# -# \brief Build-system configurations for Raspberry Pi -# \author Norman Feske -# \date 2013-04-05 -# - -# denote wich specs are also fullfilled by this spec SPECS += arm_v6 usb framebuffer gpio -# add repository relative include paths REP_INC_DIR += include/spec/rpi -# include implied specs include $(BASE_DIR)/mk/spec/arm_v6.mk diff --git a/repos/base/mk/spec/usb_armory.mk b/repos/base/mk/spec/usb_armory.mk index e2d3457413..9f1dd8835c 100644 --- a/repos/base/mk/spec/usb_armory.mk +++ b/repos/base/mk/spec/usb_armory.mk @@ -1,14 +1,5 @@ -# -# \brief Build-system configurations specific to the USB armory -# \author Stefan Kalkowski -# \date 2017-01-02 -# - -# denote wich specs are also fullfilled by this spec SPECS += imx53 -# add repository relative include paths REP_INC_DIR += include/spec/usb_armory -# include implied specs include $(BASE_DIR)/mk/spec/imx53.mk diff --git a/repos/base/mk/spec/wand_quad.mk b/repos/base/mk/spec/wand_quad.mk index 4ef64a2d01..531b62d86f 100644 --- a/repos/base/mk/spec/wand_quad.mk +++ b/repos/base/mk/spec/wand_quad.mk @@ -1,14 +1,5 @@ -# -# \brief Build-system configurations for Wandboard Quad -# \author Stefan Kalkowski -# \date 2017-01-02 -# - -# denote wich specs are also fullfilled by this spec SPECS += imx6 -# add repository relative include paths REP_INC_DIR += include/spec/wand_quad -# include implied specs include $(BASE_DIR)/mk/spec/imx6.mk