From 7a4f98f2ed0317b75f97268694223619e7f1500b Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf Date: Wed, 17 Jul 2013 14:36:35 +0200 Subject: [PATCH] foc: SVN revision r56 Genode side of the update. Issue #819 --- base-foc/Makefile | 2 +- base-foc/config/arndale.kernel | 33 ++++++++++++++++++++++----------- base-foc/config/arndale.user | 33 +++++++++++++++++++-------------- base-foc/config/imx53.kernel | 9 +++++++-- base-foc/config/imx53.user | 31 ++++++++++++++++++------------- base-foc/config/panda.kernel | 14 +++++++++----- base-foc/config/panda.user | 31 ++++++++++++++++++------------- base-foc/config/pbxa9.kernel | 11 ++++++++--- base-foc/config/pbxa9.user | 31 ++++++++++++++++++------------- base-foc/config/vea9x4.kernel | 15 +++++++++++---- base-foc/config/vea9x4.user | 31 ++++++++++++++++++------------- base-foc/config/x86_32.kernel | 1 + base-foc/config/x86_64.kernel | 1 + 13 files changed, 151 insertions(+), 92 deletions(-) diff --git a/base-foc/Makefile b/base-foc/Makefile index a40e755c4..409fada9b 100644 --- a/base-foc/Makefile +++ b/base-foc/Makefile @@ -9,7 +9,7 @@ VERBOSE ?= @ ECHO = @echo SVN_URI = http://svn.tudos.org/repos/oc/tudos/trunk GIT_URI = http://github.com/ssumpf/foc.git -GIT_BRANCH = r47 +GIT_BRANCH = r56 CONTRIB_DIR = contrib GNU_FIND ?= find diff --git a/base-foc/config/arndale.kernel b/base-foc/config/arndale.kernel index 4bc5f08c2..d6078d24a 100644 --- a/base-foc/config/arndale.kernel +++ b/base-foc/config/arndale.kernel @@ -12,22 +12,35 @@ CONFIG_ARM=y # CONFIG_PF_IMX is not set # CONFIG_PF_REALVIEW is not set # CONFIG_PF_S3C2410 is not set -# CONFIG_PF_TEGRA2 is not set +# CONFIG_PF_TEGRA is not set # CONFIG_PF_OMAP is not set # CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +CONFIG_PF_EXYNOS=y # CONFIG_PF_KIRKWOOD is not set # CONFIG_PF_INTEGRATOR is not set +# CONFIG_PF_BCM2835 is not set +CONFIG_BSP_NAME="exynos" CONFIG_PF_EXYNOS5=y -CONFIG_BSP_NAME="exynos5" -CONFIG_PF_EXYNOS5_ARNDALE=y +CONFIG_PF_EXYNOS_PKG_IDS="" +# CONFIG_PF_EXYNOS4_4210 is not set +# CONFIG_PF_EXYNOS4_4412 is not set +CONFIG_PF_EXYNOS5_5250=y +CONFIG_PF_EXYNOS_UART_NR=2 +CONFIG_PF_EXYNOS_TIMER_MCT=y +# CONFIG_PF_EXYNOS_TIMER_PWM is not set CONFIG_ABI_VF=y CONFIG_PF_ARM_MP_CAPABLE=y CONFIG_CAN_ARM_CPU_CORTEX_A15=y CONFIG_ARM_CORTEX_A15=y # CONFIG_ARM_ALIGNMENT_CHECK is not set +CONFIG_ARM_EM_STD=y +# CONFIG_ARM_EM_NS is not set +# CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_ENABLE_SWP is not set +# CONFIG_ARM_LPAE is not set CONFIG_FPU=y -# CONFIG_ARM_CPU_ERRATA is not set +CONFIG_ARM_CPU_ERRATA=y # # Kernel options @@ -37,9 +50,7 @@ CONFIG_MP_MAX_CPUS=4 CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y -# CONFIG_SCHED_WFQ is not set -# CONFIG_SCHED_FP_WFQ is not set -# CONFIG_DISABLE_VIRT_OBJ_SPACE is not set +CONFIG_VIRT_OBJ_SPACE=y # # Debugging @@ -51,9 +62,9 @@ CONFIG_INLINE=y # CONFIG_LIST_ALLOC_SANITY is not set CONFIG_SERIAL=y CONFIG_JDB=y -CONFIG_JDB_LOGGING=y -# CONFIG_JDB_DISASM is not set -# CONFIG_JDB_GZIP is not set +# CONFIG_JDB_LOGGING is not set +CONFIG_JDB_DISASM=y +CONFIG_JDB_GZIP=y # CONFIG_VMEM_ALLOC_TEST is not set # CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set # CONFIG_WARN_NONE is not set @@ -69,7 +80,7 @@ CONFIG_HOST_CC="gcc" CONFIG_HOST_CXX="g++" # CONFIG_MAINTAINER_MODE is not set CONFIG_LABEL="" -CONFIG_EXPERIMENTAL=y +# CONFIG_EXPERIMENTAL is not set CONFIG_PERF_CNT=y CONFIG_BIT32=y CONFIG_ARM_V7=y diff --git a/base-foc/config/arndale.user b/base-foc/config/arndale.user index d8e3c2483..06f2ccd28 100644 --- a/base-foc/config/arndale.user +++ b/base-foc/config/arndale.user @@ -23,24 +23,29 @@ CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -CONFIG_PLATFORM_TYPE_arndale=y +# CONFIG_PLATFORM_TYPE_imx53 is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +CONFIG_PLATFORM_TYPE_exynos5=y +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx6 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set # CONFIG_PLATFORM_TYPE_beagleboard is not set # CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx35 is not set -# CONFIG_PLATFORM_TYPE_imx51 is not set -# CONFIG_PLATFORM_TYPE_imx53 is not set -# CONFIG_PLATFORM_TYPE_imx6 is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set +# CONFIG_PLATFORM_TYPE_integrator is not set # CONFIG_PLATFORM_TYPE_custom is not set -CONFIG_PLATFORM_TYPE="arndale" +CONFIG_PLATFORM_TYPE="exynos5" # CONFIG_USE_DROPS_STDDIR is not set # CONFIG_USE_DICE is not set CONFIG_DROPS_STDDIR="/path/to/l4re" diff --git a/base-foc/config/imx53.kernel b/base-foc/config/imx53.kernel index c856cf2a0..3d63b59c2 100644 --- a/base-foc/config/imx53.kernel +++ b/base-foc/config/imx53.kernel @@ -12,13 +12,14 @@ CONFIG_ARM=y CONFIG_PF_IMX=y # CONFIG_PF_REALVIEW is not set # CONFIG_PF_S3C2410 is not set -# CONFIG_PF_TEGRA2 is not set +# CONFIG_PF_TEGRA is not set # CONFIG_PF_OMAP is not set # CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_EXYNOS is not set # CONFIG_PF_KIRKWOOD is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_EXYNOS5 is not set +# CONFIG_PF_BCM2835 is not set CONFIG_BSP_NAME="imx" # CONFIG_PF_IMX_21 is not set # CONFIG_PF_IMX_35 is not set @@ -30,6 +31,9 @@ CONFIG_ABI_VF=y CONFIG_CAN_ARM_CPU_CORTEX_A8=y CONFIG_ARM_CORTEX_A8=y # CONFIG_ARM_ALIGNMENT_CHECK is not set +CONFIG_ARM_EM_STD=y +# CONFIG_ARM_EM_NS is not set +# CONFIG_ARM_EM_TZ is not set # CONFIG_FPU is not set # CONFIG_ARM_CPU_ERRATA is not set @@ -39,6 +43,7 @@ CONFIG_ARM_CORTEX_A8=y CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y +CONFIG_VIRT_OBJ_SPACE=y # # Debugging diff --git a/base-foc/config/imx53.user b/base-foc/config/imx53.user index 42b5d5cfc..cc43ff891 100644 --- a/base-foc/config/imx53.user +++ b/base-foc/config/imx53.user @@ -23,22 +23,27 @@ CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_arndale is not set +CONFIG_PLATFORM_TYPE_imx53=y +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx6 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set # CONFIG_PLATFORM_TYPE_beagleboard is not set # CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx35 is not set -# CONFIG_PLATFORM_TYPE_imx51 is not set -CONFIG_PLATFORM_TYPE_imx53=y -# CONFIG_PLATFORM_TYPE_imx6 is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set +# CONFIG_PLATFORM_TYPE_integrator is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="imx53" # CONFIG_USE_DROPS_STDDIR is not set diff --git a/base-foc/config/panda.kernel b/base-foc/config/panda.kernel index 81a42ed2f..e430efbfe 100644 --- a/base-foc/config/panda.kernel +++ b/base-foc/config/panda.kernel @@ -12,14 +12,15 @@ CONFIG_ARM=y # CONFIG_PF_IMX is not set # CONFIG_PF_REALVIEW is not set # CONFIG_PF_S3C2410 is not set -# CONFIG_PF_TEGRA2 is not set +# CONFIG_PF_TEGRA is not set CONFIG_PF_OMAP=y # CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_EXYNOS is not set # CONFIG_PF_KIRKWOOD is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_EXYNOS5 is not set -CONFIG_BSP_NAME="omap3" +# CONFIG_PF_BCM2835 is not set +CONFIG_BSP_NAME="omap" # CONFIG_PF_OMAP3_OMAP35XEVM is not set # CONFIG_PF_OMAP3_BEAGLEBOARD is not set # CONFIG_PF_OMAP3_AM33XX is not set @@ -30,8 +31,10 @@ CONFIG_CAN_ARM_CPU_CORTEX_A9=y CONFIG_CAN_ARM_CACHE_L2CXX0=y CONFIG_ARM_CORTEX_A9=y # CONFIG_ARM_ALIGNMENT_CHECK is not set -# CONFIG_ARM_TZ is not set -CONFIG_ARM_CA9_ENABLE_SWP=y +CONFIG_ARM_EM_STD=y +# CONFIG_ARM_EM_NS is not set +# CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_ENABLE_SWP is not set CONFIG_ARM_CACHE_L2CXX0=y CONFIG_FPU=y # CONFIG_ARM_CPU_ERRATA is not set @@ -47,6 +50,7 @@ CONFIG_SCHED_FIXED_PRIO=y # CONFIG_SCHED_WFQ is not set # CONFIG_SCHED_FP_WFQ is not set # CONFIG_DISABLE_VIRT_OBJ_SPACE is not set +CONFIG_VIRT_OBJ_SPACE=y # # Debugging diff --git a/base-foc/config/panda.user b/base-foc/config/panda.user index 79eeb1384..331fa8020 100644 --- a/base-foc/config/panda.user +++ b/base-foc/config/panda.user @@ -23,22 +23,27 @@ CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_arndale is not set +# CONFIG_PLATFORM_TYPE_imx53 is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +CONFIG_PLATFORM_TYPE_pandaboard=y +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx6 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set # CONFIG_PLATFORM_TYPE_beagleboard is not set # CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx35 is not set -# CONFIG_PLATFORM_TYPE_imx51 is not set -# CONFIG_PLATFORM_TYPE_imx53 is not set -# CONFIG_PLATFORM_TYPE_imx6 is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set -CONFIG_PLATFORM_TYPE_pandaboard=y -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set +# CONFIG_PLATFORM_TYPE_integrator is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="pandaboard" # CONFIG_USE_DROPS_STDDIR is not set diff --git a/base-foc/config/pbxa9.kernel b/base-foc/config/pbxa9.kernel index a45f081b0..398931d0b 100644 --- a/base-foc/config/pbxa9.kernel +++ b/base-foc/config/pbxa9.kernel @@ -12,13 +12,14 @@ CONFIG_ARM=y # CONFIG_PF_IMX is not set CONFIG_PF_REALVIEW=y # CONFIG_PF_S3C2410 is not set -# CONFIG_PF_TEGRA2 is not set +# CONFIG_PF_TEGRA is not set # CONFIG_PF_OMAP is not set # CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_EXYNOS is not set # CONFIG_PF_KIRKWOOD is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_EXYNOS5 is not set +# CONFIG_PF_BCM2835 is not set CONFIG_BSP_NAME="realview" # CONFIG_PF_REALVIEW_EB is not set # CONFIG_PF_REALVIEW_PB11MP is not set @@ -34,7 +35,10 @@ CONFIG_CAN_ARM_CPU_CORTEX_A9=y CONFIG_CAN_ARM_CACHE_L2CXX0=y CONFIG_ARM_CORTEX_A9=y # CONFIG_ARM_ALIGNMENT_CHECK is not set -# CONFIG_ARM_CA9_ENABLE_SWP is not set +CONFIG_ARM_EM_STD=y +# CONFIG_ARM_EM_NS is not set +# CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_ENABLE_SWP is not set # CONFIG_ARM_CACHE_L2CXX0 is not set CONFIG_FPU=y CONFIG_ARM_CPU_ERRATA=y @@ -46,6 +50,7 @@ CONFIG_ARM_CPU_ERRATA=y CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y +CONFIG_VIRT_OBJ_SPACE=y # # Debugging diff --git a/base-foc/config/pbxa9.user b/base-foc/config/pbxa9.user index 8debdd30d..f0d52d935 100644 --- a/base-foc/config/pbxa9.user +++ b/base-foc/config/pbxa9.user @@ -23,22 +23,27 @@ CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_arndale is not set +# CONFIG_PLATFORM_TYPE_imx53 is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +CONFIG_PLATFORM_TYPE_rv_pbx=y +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx6 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set # CONFIG_PLATFORM_TYPE_beagleboard is not set # CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx35 is not set -# CONFIG_PLATFORM_TYPE_imx51 is not set -# CONFIG_PLATFORM_TYPE_imx53 is not set -# CONFIG_PLATFORM_TYPE_imx6 is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_rv is not set -CONFIG_PLATFORM_TYPE_rv_pbx=y # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set +# CONFIG_PLATFORM_TYPE_integrator is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="rv_pbx" # CONFIG_USE_DROPS_STDDIR is not set diff --git a/base-foc/config/vea9x4.kernel b/base-foc/config/vea9x4.kernel index d28a33f5f..84345220f 100644 --- a/base-foc/config/vea9x4.kernel +++ b/base-foc/config/vea9x4.kernel @@ -12,28 +12,34 @@ CONFIG_ARM=y # CONFIG_PF_IMX is not set CONFIG_PF_REALVIEW=y # CONFIG_PF_S3C2410 is not set -# CONFIG_PF_TEGRA2 is not set +# CONFIG_PF_TEGRA is not set # CONFIG_PF_OMAP is not set # CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_EXYNOS is not set # CONFIG_PF_KIRKWOOD is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_EXYNOS5 is not set +# CONFIG_PF_BCM2835 is not set CONFIG_BSP_NAME="realview" # CONFIG_PF_REALVIEW_EB is not set # CONFIG_PF_REALVIEW_PB11MP is not set # CONFIG_PF_REALVIEW_PBX is not set CONFIG_PF_REALVIEW_VEXPRESS=y +CONFIG_PF_REALVIEW_VEXPRESS_A9=y # CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x0 is not set CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x6=y CONFIG_PF_REALVIEW_RAM_PHYS_BASE=0x60000000 CONFIG_ABI_VF=y CONFIG_PF_ARM_MP_CAPABLE=y CONFIG_CAN_ARM_CPU_CORTEX_A9=y +CONFIG_CAN_ARM_CPU_CORTEX_A15=y CONFIG_ARM_CORTEX_A9=y +# CONFIG_ARM_CORTEX_A15 is not set # CONFIG_ARM_ALIGNMENT_CHECK is not set -# CONFIG_ARM_TZ is not set -# CONFIG_ARM_CA9_ENABLE_SWP is not set +CONFIG_ARM_EM_STD=y +# CONFIG_ARM_EM_NS is not set +# CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_ENABLE_SWP is not set CONFIG_FPU=y CONFIG_ARM_CPU_ERRATA=y @@ -48,6 +54,7 @@ CONFIG_SCHED_FIXED_PRIO=y # CONFIG_SCHED_WFQ is not set # CONFIG_SCHED_FP_WFQ is not set # CONFIG_DISABLE_VIRT_OBJ_SPACE is not set +CONFIG_VIRT_OBJ_SPACE=y # # Debugging diff --git a/base-foc/config/vea9x4.user b/base-foc/config/vea9x4.user index 866ac1ef1..afad7bd73 100644 --- a/base-foc/config/vea9x4.user +++ b/base-foc/config/vea9x4.user @@ -23,22 +23,27 @@ CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_arndale is not set +# CONFIG_PLATFORM_TYPE_imx53 is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx6 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set # CONFIG_PLATFORM_TYPE_beagleboard is not set # CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx35 is not set -# CONFIG_PLATFORM_TYPE_imx51 is not set -# CONFIG_PLATFORM_TYPE_imx53 is not set -# CONFIG_PLATFORM_TYPE_imx6 is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set CONFIG_PLATFORM_TYPE_rv_vexpress=y -# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set +# CONFIG_PLATFORM_TYPE_integrator is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="rv_vexpress" # CONFIG_USE_DROPS_STDDIR is not set diff --git a/base-foc/config/x86_32.kernel b/base-foc/config/x86_32.kernel index 4161bf376..06e742800 100644 --- a/base-foc/config/x86_32.kernel +++ b/base-foc/config/x86_32.kernel @@ -39,6 +39,7 @@ CONFIG_CONTEXT_4K=y # CONFIG_SYNC_TSC is not set # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y +CONFIG_VIRT_OBJ_SPACE=y # # Debugging diff --git a/base-foc/config/x86_64.kernel b/base-foc/config/x86_64.kernel index b134f6cce..d85a5204c 100644 --- a/base-foc/config/x86_64.kernel +++ b/base-foc/config/x86_64.kernel @@ -30,6 +30,7 @@ CONFIG_SCHED_FIXED_PRIO=y # CONFIG_SCHED_WFQ is not set # CONFIG_SCHED_FP_WFQ is not set # CONFIG_DISABLE_VIRT_OBJ_SPACE is not set +CONFIG_VIRT_OBJ_SPACE=y # # Debugging