diff --git a/repos/base-foc/config/arndale.kernel b/repos/base-foc/config/arndale.kernel index acd99f05a..204b2e95c 100644 --- a/repos/base-foc/config/arndale.kernel +++ b/repos/base-foc/config/arndale.kernel @@ -5,6 +5,7 @@ CONFIG_HAS_FPU_OPTION=y CONFIG_HAS_VIRT_OBJ_SPACE_OPTION=y CONFIG_HAS_SERIAL_OPTION=y +CONFIG_HAS_JDB_GZIP_OPTION=y CONFIG_HAS_MP_OPTION=y CONFIG_HAS_CPU_VIRT=y @@ -15,25 +16,29 @@ CONFIG_HAS_CPU_VIRT=y # CONFIG_AMD64 is not set CONFIG_ARM=y # CONFIG_MIPS is not set -# CONFIG_PF_ARMADA38X is not set -# CONFIG_PF_BCM2835 is not set -CONFIG_PF_EXYNOS=y -# CONFIG_PF_IMX is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_KIRKWOOD is not set -# CONFIG_PF_LS1021A is not set -# CONFIG_PF_OMAP is not set # CONFIG_PF_REALVIEW is not set -# CONFIG_PF_S3C2410 is not set -# CONFIG_PF_SA1100 is not set # CONFIG_PF_SUNXI is not set -# CONFIG_PF_TEGRA is not set +# CONFIG_PF_BCM283X is not set +# CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_ARMADA38X is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_LAYERSCAPE is not set +# CONFIG_PF_IMX is not set +# CONFIG_PF_ARM_VIRT is not set +# CONFIG_PF_RCAR3 is not set +CONFIG_PF_EXYNOS=y +# CONFIG_PF_S3C2410 is not set +# CONFIG_PF_OMAP is not set # CONFIG_PF_ZYNQ is not set +# CONFIG_PF_ZYNQMP is not set CONFIG_BSP_NAME="exynos" CONFIG_CAN_ARM_CPU_CORTEX_A15=y CONFIG_ARM_V7=y CONFIG_ARM_V6PLUS=y +CONFIG_ARM_V7PLUS=y CONFIG_PF_EXYNOS5=y CONFIG_CPU_SUSPEND=y CONFIG_PF_EXYNOS_PKG_IDS="" @@ -56,6 +61,7 @@ CONFIG_HAVE_ARM_SECMONIF_MC=y CONFIG_ARM_EM_STD=y # CONFIG_ARM_EM_NS is not set # CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_SMC_USER is not set # CONFIG_ARM_ENABLE_SWP is not set # CONFIG_ARM_LPAE is not set CONFIG_ARM_CPU_ERRATA=y @@ -65,7 +71,6 @@ CONFIG_ARM_CPU_ERRATA=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 -# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y @@ -82,6 +87,7 @@ CONFIG_INLINE=y CONFIG_SERIAL=y CONFIG_JDB=y # CONFIG_JDB_LOGGING is not set +CONFIG_JDB_GZIP=y # CONFIG_JDB_ACCOUNTING is not set # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y diff --git a/repos/base-foc/config/arndale.user b/repos/base-foc/config/arndale.user index 731480c5e..435e4905f 100644 --- a/repos/base-foc/config/arndale.user +++ b/repos/base-foc/config/arndale.user @@ -5,6 +5,7 @@ CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y # CONFIG_BUILD_ARCH_amd64 is not set CONFIG_BUILD_ARCH_arm=y +# CONFIG_BUILD_ARCH_arm64 is not set # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set @@ -24,34 +25,39 @@ CONFIG_CPU_ARM_ARMV7A=y CONFIG_CPU="armv7a" CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_armada38x is not set -# CONFIG_PLATFORM_TYPE_beagleboard is not set -# CONFIG_PLATFORM_TYPE_cubieboard2 is not set # CONFIG_PLATFORM_TYPE_exynos4 is not set -CONFIG_PLATFORM_TYPE_exynos5=y -# CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx28 is not set # CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +CONFIG_PLATFORM_TYPE_exynos5=y +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_ls1012afrdm is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_arm_virt is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_parallella is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_ls1021atwr is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_imx7 is not set +# CONFIG_PLATFORM_TYPE_imx28 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set +# CONFIG_PLATFORM_TYPE_zynqmp is not set # CONFIG_PLATFORM_TYPE_imx6 is not set # CONFIG_PLATFORM_TYPE_imx6ul is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_ls1021atwr is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_armada38x is not set # CONFIG_PLATFORM_TYPE_omap5 is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_parallella is not set -# CONFIG_PLATFORM_TYPE_rpi_a is not set -# CONFIG_PLATFORM_TYPE_rpi_b is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set -# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set -# CONFIG_PLATFORM_TYPE_tegra3 is not set -# CONFIG_PLATFORM_TYPE_zedboard 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="exynos5" # CONFIG_USE_DROPS_STDDIR is not set diff --git a/repos/base-foc/config/odroid_x2.kernel b/repos/base-foc/config/odroid_x2.kernel index 08532500d..bd9f876d1 100644 --- a/repos/base-foc/config/odroid_x2.kernel +++ b/repos/base-foc/config/odroid_x2.kernel @@ -5,6 +5,7 @@ CONFIG_HAS_FPU_OPTION=y CONFIG_HAS_VIRT_OBJ_SPACE_OPTION=y CONFIG_HAS_SERIAL_OPTION=y +CONFIG_HAS_JDB_GZIP_OPTION=y CONFIG_HAS_MP_OPTION=y # @@ -14,28 +15,31 @@ CONFIG_HAS_MP_OPTION=y # CONFIG_AMD64 is not set CONFIG_ARM=y # CONFIG_MIPS is not set -# CONFIG_PF_ARMADA38X is not set -# CONFIG_PF_BCM2835 is not set -CONFIG_PF_EXYNOS=y -# CONFIG_PF_IMX is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_KIRKWOOD is not set -# CONFIG_PF_LS1021A is not set -# CONFIG_PF_OMAP is not set # CONFIG_PF_REALVIEW is not set -# CONFIG_PF_S3C2410 is not set -# CONFIG_PF_SA1100 is not set # CONFIG_PF_SUNXI is not set -# CONFIG_PF_TEGRA is not set +# CONFIG_PF_BCM283X is not set +# CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_ARMADA38X is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_LAYERSCAPE is not set +# CONFIG_PF_IMX is not set +# CONFIG_PF_ARM_VIRT is not set +# CONFIG_PF_RCAR3 is not set +CONFIG_PF_EXYNOS=y +# CONFIG_PF_S3C2410 is not set +# CONFIG_PF_OMAP is not set # CONFIG_PF_ZYNQ is not set +# CONFIG_PF_ZYNQMP is not set CONFIG_BSP_NAME="exynos" CONFIG_CAN_ARM_CPU_CORTEX_A9=y CONFIG_CAN_ARM_CACHE_L2CXX0=y CONFIG_ARM_V7=y CONFIG_ARM_V6PLUS=y +CONFIG_ARM_V7PLUS=y CONFIG_PF_EXYNOS4=y -CONFIG_CPU_SUSPEND=y CONFIG_PF_EXYNOS_PKG_IDS="" # CONFIG_PF_EXYNOS4_4210 is not set CONFIG_PF_EXYNOS4_4412=y @@ -46,7 +50,7 @@ CONFIG_PF_EXYNOS_UART_NR=1 CONFIG_PF_EXYNOS_TIMER_MCT=y # CONFIG_PF_EXYNOS_TIMER_MP is not set # CONFIG_PF_EXYNOS_TIMER_PWM is not set -CONFIG_PF_EXYNOS_EXTGIC=y +# CONFIG_PF_EXYNOS_EXTGIC is not set CONFIG_ABI_VF=y CONFIG_ARM_CORTEX_A9=y CONFIG_FPU=y @@ -58,6 +62,7 @@ CONFIG_ARM_EM_NS=y # CONFIG_ARM_EM_TZ is not set # CONFIG_ARM_SECMONIF_NONE is not set CONFIG_ARM_SECMONIF_MC=y +# CONFIG_ARM_SMC_USER is not set CONFIG_ARM_CACHE_L2CXX0=y # CONFIG_ARM_ENABLE_SWP is not set # CONFIG_ARM_CPU_ERRATA is not set @@ -67,7 +72,6 @@ CONFIG_ARM_CACHE_L2CXX0=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 -# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y @@ -84,6 +88,7 @@ CONFIG_NO_FRAME_PTR=y CONFIG_SERIAL=y CONFIG_JDB=y # CONFIG_JDB_LOGGING is not set +CONFIG_JDB_GZIP=y # CONFIG_JDB_ACCOUNTING is not set # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y diff --git a/repos/base-foc/config/odroid_x2.user b/repos/base-foc/config/odroid_x2.user index 0c9efd801..e159ed1e9 100644 --- a/repos/base-foc/config/odroid_x2.user +++ b/repos/base-foc/config/odroid_x2.user @@ -5,6 +5,7 @@ CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y # CONFIG_BUILD_ARCH_amd64 is not set CONFIG_BUILD_ARCH_arm=y +# CONFIG_BUILD_ARCH_arm64 is not set # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set @@ -24,34 +25,39 @@ CONFIG_CPU_ARM_ARMV7A=y CONFIG_CPU="armv7a" CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_armada38x is not set -# CONFIG_PLATFORM_TYPE_beagleboard is not set -# CONFIG_PLATFORM_TYPE_cubieboard2 is not set CONFIG_PLATFORM_TYPE_exynos4=y -# CONFIG_PLATFORM_TYPE_exynos5 is not set -# CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx28 is not set # CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_ls1012afrdm is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_arm_virt is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_parallella is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_ls1021atwr is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_imx7 is not set +# CONFIG_PLATFORM_TYPE_imx28 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set +# CONFIG_PLATFORM_TYPE_zynqmp is not set # CONFIG_PLATFORM_TYPE_imx6 is not set # CONFIG_PLATFORM_TYPE_imx6ul is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_ls1021atwr is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_armada38x is not set # CONFIG_PLATFORM_TYPE_omap5 is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_parallella is not set -# CONFIG_PLATFORM_TYPE_rpi_a is not set -# CONFIG_PLATFORM_TYPE_rpi_b is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set -# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set -# CONFIG_PLATFORM_TYPE_tegra3 is not set -# CONFIG_PLATFORM_TYPE_zedboard 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="exynos4" # CONFIG_USE_DROPS_STDDIR is not set diff --git a/repos/base-foc/config/panda.kernel b/repos/base-foc/config/panda.kernel index d60f567af..b4dc689d3 100644 --- a/repos/base-foc/config/panda.kernel +++ b/repos/base-foc/config/panda.kernel @@ -5,6 +5,7 @@ CONFIG_HAS_FPU_OPTION=y CONFIG_HAS_VIRT_OBJ_SPACE_OPTION=y CONFIG_HAS_SERIAL_OPTION=y +CONFIG_HAS_JDB_GZIP_OPTION=y CONFIG_HAS_MP_OPTION=y # @@ -14,26 +15,30 @@ CONFIG_HAS_MP_OPTION=y # CONFIG_AMD64 is not set CONFIG_ARM=y # CONFIG_MIPS is not set -# CONFIG_PF_ARMADA38X is not set -# CONFIG_PF_BCM2835 is not set -# CONFIG_PF_EXYNOS is not set -# CONFIG_PF_IMX is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_KIRKWOOD is not set -# CONFIG_PF_LS1021A is not set -CONFIG_PF_OMAP=y # CONFIG_PF_REALVIEW is not set -# CONFIG_PF_S3C2410 is not set -# CONFIG_PF_SA1100 is not set # CONFIG_PF_SUNXI is not set -# CONFIG_PF_TEGRA is not set +# CONFIG_PF_BCM283X is not set +# CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_ARMADA38X is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_LAYERSCAPE is not set +# CONFIG_PF_IMX is not set +# CONFIG_PF_ARM_VIRT is not set +# CONFIG_PF_RCAR3 is not set +# CONFIG_PF_EXYNOS is not set +# CONFIG_PF_S3C2410 is not set +CONFIG_PF_OMAP=y # CONFIG_PF_ZYNQ is not set +# CONFIG_PF_ZYNQMP is not set CONFIG_BSP_NAME="omap" CONFIG_CAN_ARM_CPU_CORTEX_A9=y CONFIG_CAN_ARM_CACHE_L2CXX0=y CONFIG_ARM_V7=y CONFIG_ARM_V6PLUS=y +CONFIG_ARM_V7PLUS=y # CONFIG_PF_OMAP3_OMAP35XEVM is not set # CONFIG_PF_OMAP3_BEAGLEBOARD is not set # CONFIG_PF_OMAP3_AM33XX is not set @@ -46,6 +51,7 @@ CONFIG_FPU=y CONFIG_ARM_EM_STD=y # CONFIG_ARM_EM_NS is not set # CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_SMC_USER is not set CONFIG_ARM_CACHE_L2CXX0=y # CONFIG_ARM_ENABLE_SWP is not set # CONFIG_ARM_CPU_ERRATA is not set @@ -55,13 +61,9 @@ CONFIG_ARM_CACHE_L2CXX0=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 -# CONFIG_CONTEXT_8K is not set 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 # @@ -75,6 +77,7 @@ CONFIG_INLINE=y CONFIG_SERIAL=y CONFIG_JDB=y CONFIG_JDB_LOGGING=y +CONFIG_JDB_GZIP=y # CONFIG_JDB_ACCOUNTING is not set # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y @@ -95,7 +98,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_WARN_LEVEL=1 diff --git a/repos/base-foc/config/panda.user b/repos/base-foc/config/panda.user index be26fdf1d..09f18ff66 100644 --- a/repos/base-foc/config/panda.user +++ b/repos/base-foc/config/panda.user @@ -5,6 +5,7 @@ CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y # CONFIG_BUILD_ARCH_amd64 is not set CONFIG_BUILD_ARCH_arm=y +# CONFIG_BUILD_ARCH_arm64 is not set # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set @@ -24,34 +25,39 @@ CONFIG_CPU_ARM_ARMV7A=y CONFIG_CPU="armv7a" CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_armada38x is not set -# CONFIG_PLATFORM_TYPE_beagleboard is not set -# CONFIG_PLATFORM_TYPE_cubieboard2 is not set # CONFIG_PLATFORM_TYPE_exynos4 is not set -# CONFIG_PLATFORM_TYPE_exynos5 is not set -# CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx28 is not set # CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_ls1012afrdm is not set +CONFIG_PLATFORM_TYPE_pandaboard=y +# CONFIG_PLATFORM_TYPE_arm_virt is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_parallella is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_ls1021atwr is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_imx7 is not set +# CONFIG_PLATFORM_TYPE_imx28 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set +# CONFIG_PLATFORM_TYPE_zynqmp is not set # CONFIG_PLATFORM_TYPE_imx6 is not set # CONFIG_PLATFORM_TYPE_imx6ul is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_ls1021atwr is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_armada38x is not set # CONFIG_PLATFORM_TYPE_omap5 is not set -CONFIG_PLATFORM_TYPE_pandaboard=y -# CONFIG_PLATFORM_TYPE_parallella is not set -# CONFIG_PLATFORM_TYPE_rpi_a is not set -# CONFIG_PLATFORM_TYPE_rpi_b is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set -# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set -# CONFIG_PLATFORM_TYPE_tegra3 is not set -# CONFIG_PLATFORM_TYPE_zedboard 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/repos/base-foc/config/pbxa9.kernel b/repos/base-foc/config/pbxa9.kernel index 63a9f3fdd..b3fb89771 100644 --- a/repos/base-foc/config/pbxa9.kernel +++ b/repos/base-foc/config/pbxa9.kernel @@ -5,6 +5,7 @@ CONFIG_HAS_FPU_OPTION=y CONFIG_HAS_VIRT_OBJ_SPACE_OPTION=y CONFIG_HAS_SERIAL_OPTION=y +CONFIG_HAS_JDB_GZIP_OPTION=y CONFIG_HAS_MP_OPTION=y # @@ -14,26 +15,30 @@ CONFIG_HAS_MP_OPTION=y # CONFIG_AMD64 is not set CONFIG_ARM=y # CONFIG_MIPS is not set -# CONFIG_PF_ARMADA38X is not set -# CONFIG_PF_BCM2835 is not set -# CONFIG_PF_EXYNOS is not set -# CONFIG_PF_IMX is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_KIRKWOOD is not set -# CONFIG_PF_LS1021A is not set -# CONFIG_PF_OMAP is not set CONFIG_PF_REALVIEW=y -# CONFIG_PF_S3C2410 is not set -# CONFIG_PF_SA1100 is not set # CONFIG_PF_SUNXI is not set -# CONFIG_PF_TEGRA is not set +# CONFIG_PF_BCM283X is not set +# CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_ARMADA38X is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_LAYERSCAPE is not set +# CONFIG_PF_IMX is not set +# CONFIG_PF_ARM_VIRT is not set +# CONFIG_PF_RCAR3 is not set +# CONFIG_PF_EXYNOS is not set +# CONFIG_PF_S3C2410 is not set +# CONFIG_PF_OMAP is not set # CONFIG_PF_ZYNQ is not set +# CONFIG_PF_ZYNQMP is not set CONFIG_BSP_NAME="realview" CONFIG_CAN_ARM_CPU_CORTEX_A9=y CONFIG_CAN_ARM_CACHE_L2CXX0=y CONFIG_ARM_V7=y CONFIG_ARM_V6PLUS=y +CONFIG_ARM_V7PLUS=y # CONFIG_PF_REALVIEW_EB is not set # CONFIG_PF_REALVIEW_PB11MP is not set CONFIG_PF_REALVIEW_PBX=y @@ -49,6 +54,7 @@ CONFIG_FPU=y CONFIG_ARM_EM_STD=y # CONFIG_ARM_EM_NS is not set # CONFIG_ARM_EM_TZ is not set +# CONFIG_ARM_SMC_USER is not set CONFIG_ARM_CACHE_L2CXX0=y # CONFIG_ARM_ENABLE_SWP is not set CONFIG_ARM_CPU_ERRATA=y @@ -57,7 +63,6 @@ CONFIG_ARM_CPU_ERRATA=y # Kernel options # # CONFIG_MP is not set -# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y @@ -74,6 +79,7 @@ CONFIG_NO_FRAME_PTR=y CONFIG_SERIAL=y CONFIG_JDB=y CONFIG_JDB_LOGGING=y +CONFIG_JDB_GZIP=y # CONFIG_JDB_ACCOUNTING is not set # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y diff --git a/repos/base-foc/config/pbxa9.user b/repos/base-foc/config/pbxa9.user index 0b0f686c2..8b24d41ff 100644 --- a/repos/base-foc/config/pbxa9.user +++ b/repos/base-foc/config/pbxa9.user @@ -5,6 +5,7 @@ CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y # CONFIG_BUILD_ARCH_amd64 is not set CONFIG_BUILD_ARCH_arm=y +# CONFIG_BUILD_ARCH_arm64 is not set # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set @@ -24,34 +25,39 @@ CONFIG_CPU_ARM_ARMV7A=y CONFIG_CPU="armv7a" CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_armada38x is not set -# CONFIG_PLATFORM_TYPE_beagleboard is not set -# CONFIG_PLATFORM_TYPE_cubieboard2 is not set # CONFIG_PLATFORM_TYPE_exynos4 is not set -# CONFIG_PLATFORM_TYPE_exynos5 is not set -# CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx28 is not set # CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +CONFIG_PLATFORM_TYPE_rv_pbx=y +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_ls1012afrdm is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_arm_virt is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_parallella is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_ls1021atwr is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_imx7 is not set +# CONFIG_PLATFORM_TYPE_imx28 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set +# CONFIG_PLATFORM_TYPE_zynqmp is not set # CONFIG_PLATFORM_TYPE_imx6 is not set # CONFIG_PLATFORM_TYPE_imx6ul is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_ls1021atwr is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_armada38x is not set # CONFIG_PLATFORM_TYPE_omap5 is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_parallella is not set -# CONFIG_PLATFORM_TYPE_rpi_a is not set -# CONFIG_PLATFORM_TYPE_rpi_b is not set -# CONFIG_PLATFORM_TYPE_rv is not set -CONFIG_PLATFORM_TYPE_rv_pbx=y -# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set -# CONFIG_PLATFORM_TYPE_tegra3 is not set -# CONFIG_PLATFORM_TYPE_zedboard 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/repos/base-foc/config/rpi.kernel b/repos/base-foc/config/rpi.kernel index 57c9e8935..abd9a08ff 100644 --- a/repos/base-foc/config/rpi.kernel +++ b/repos/base-foc/config/rpi.kernel @@ -3,8 +3,8 @@ # Fiasco configuration # CONFIG_HAS_FPU_OPTION=y -CONFIG_HAS_VIRT_OBJ_SPACE_OPTION=y CONFIG_HAS_SERIAL_OPTION=y +CONFIG_HAS_JDB_GZIP_OPTION=y # # Target configuration @@ -13,43 +13,50 @@ CONFIG_HAS_SERIAL_OPTION=y # CONFIG_AMD64 is not set CONFIG_ARM=y # CONFIG_MIPS is not set -# CONFIG_PF_ARMADA38X is not set -CONFIG_PF_BCM2835=y -# CONFIG_PF_EXYNOS is not set -# CONFIG_PF_IMX is not set # CONFIG_PF_INTEGRATOR is not set -# CONFIG_PF_KIRKWOOD is not set -# CONFIG_PF_LS1021A is not set -# CONFIG_PF_OMAP is not set # CONFIG_PF_REALVIEW is not set -# CONFIG_PF_S3C2410 is not set -# CONFIG_PF_SA1100 is not set # CONFIG_PF_SUNXI is not set -# CONFIG_PF_TEGRA is not set +CONFIG_PF_BCM283X=y +# CONFIG_PF_SA1100 is not set # CONFIG_PF_XSCALE is not set +# CONFIG_PF_ARMADA38X is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_LAYERSCAPE is not set +# CONFIG_PF_IMX is not set +# CONFIG_PF_ARM_VIRT is not set +# CONFIG_PF_RCAR3 is not set +# CONFIG_PF_EXYNOS is not set +# CONFIG_PF_S3C2410 is not set +# CONFIG_PF_OMAP is not set # CONFIG_PF_ZYNQ is not set -CONFIG_BSP_NAME="bcm2835" +# CONFIG_PF_ZYNQMP is not set +CONFIG_BSP_NAME="bcm283x" CONFIG_CAN_ARM_CPU_1176=y CONFIG_ARM_V6=y CONFIG_ARM_V6PLUS=y +CONFIG_PF_BCM283X_RPI1=y +# CONFIG_PF_BCM283X_RPI2 is not set +# CONFIG_PF_BCM283X_RPI3 is not set CONFIG_ABI_VF=y CONFIG_ARM_1176=y -# CONFIG_FPU is not set +CONFIG_FPU=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_1176_CACHE_ALIAS_FIX is not set -# CONFIG_ARM_CPU_ERRATA is not set +# CONFIG_ARM_SMC_USER is not set +CONFIG_ARM_1176_CACHE_ALIAS_FIX=y +CONFIG_ARM_CPU_ERRATA=y # # Kernel options # -# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y -CONFIG_VIRT_OBJ_SPACE=y +# CONFIG_SCHED_WFQ is not set +# CONFIG_SCHED_FP_WFQ is not set # # Debugging @@ -62,6 +69,7 @@ CONFIG_NO_FRAME_PTR=y CONFIG_SERIAL=y CONFIG_JDB=y # CONFIG_JDB_LOGGING is not set +CONFIG_JDB_GZIP=y # CONFIG_JDB_ACCOUNTING is not set # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y @@ -82,7 +90,7 @@ CONFIG_HOST_CC="gcc" CONFIG_HOST_CXX="g++" # CONFIG_MAINTAINER_MODE is not set CONFIG_LABEL="" -# CONFIG_EXPERIMENTAL is not set +CONFIG_EXPERIMENTAL=y CONFIG_PERF_CNT=y CONFIG_BIT32=y CONFIG_WARN_LEVEL=1 diff --git a/repos/base-foc/config/rpi.user b/repos/base-foc/config/rpi.user index b7d321172..a45ef7b44 100644 --- a/repos/base-foc/config/rpi.user +++ b/repos/base-foc/config/rpi.user @@ -5,6 +5,7 @@ CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y # CONFIG_BUILD_ARCH_amd64 is not set CONFIG_BUILD_ARCH_arm=y +# CONFIG_BUILD_ARCH_arm64 is not set # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set @@ -23,34 +24,39 @@ CONFIG_CPU_ARM_ARMV6=y # CONFIG_CPU_ARM_ARMV7A is not set CONFIG_CPU="armv6" CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_armada38x is not set -# CONFIG_PLATFORM_TYPE_beagleboard is not set -# CONFIG_PLATFORM_TYPE_cubieboard2 is not set # CONFIG_PLATFORM_TYPE_exynos4 is not set -# CONFIG_PLATFORM_TYPE_exynos5 is not set -# CONFIG_PLATFORM_TYPE_imx21 is not set -# CONFIG_PLATFORM_TYPE_imx28 is not set # CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_ls1012afrdm is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_arm_virt is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_parallella is not set +CONFIG_PLATFORM_TYPE_rpi_b=y +# CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_ls1021atwr is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_imx7 is not set +# CONFIG_PLATFORM_TYPE_imx28 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set +# CONFIG_PLATFORM_TYPE_zynqmp is not set # CONFIG_PLATFORM_TYPE_imx6 is not set # CONFIG_PLATFORM_TYPE_imx6ul is not set -# CONFIG_PLATFORM_TYPE_integrator is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -# CONFIG_PLATFORM_TYPE_ls1021atwr is not set -# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_armada38x is not set # CONFIG_PLATFORM_TYPE_omap5 is not set -# CONFIG_PLATFORM_TYPE_pandaboard is not set -# CONFIG_PLATFORM_TYPE_parallella is not set -# CONFIG_PLATFORM_TYPE_rpi_a is not set -CONFIG_PLATFORM_TYPE_rpi_b=y -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set -# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set -# CONFIG_PLATFORM_TYPE_tegra3 is not set -# CONFIG_PLATFORM_TYPE_zedboard 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="rpi_b" # CONFIG_USE_DROPS_STDDIR is not set diff --git a/repos/base-foc/config/x86_32.kernel b/repos/base-foc/config/x86_32.kernel index 3a40e76e9..07fc0a1e7 100644 --- a/repos/base-foc/config/x86_32.kernel +++ b/repos/base-foc/config/x86_32.kernel @@ -21,20 +21,6 @@ CONFIG_IA32=y CONFIG_PF_PC=y # CONFIG_PF_UX is not set CONFIG_ABI_VF=y -# CONFIG_IA32_486 is not set -CONFIG_IA32_586=y -# CONFIG_IA32_686 is not set -# CONFIG_IA32_P2 is not set -# CONFIG_IA32_P3 is not set -# CONFIG_IA32_P4 is not set -# CONFIG_IA32_PM is not set -# CONFIG_IA32_CORE2 is not set -# CONFIG_IA32_CORE_I is not set -# CONFIG_IA32_ATOM is not set -# CONFIG_IA32_K6 is not set -# CONFIG_IA32_K7 is not set -# CONFIG_IA32_K8 is not set -# CONFIG_IA32_K10 is not set # CONFIG_CPU_VIRT is not set CONFIG_SCHED_APIC=y # CONFIG_WORKAROUND_AMD_FPU_LEAK is not set @@ -45,13 +31,17 @@ CONFIG_REGPARM3=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 -# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_SYNC_TSC is not set # 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_IOMMU is not set +# CONFIG_DISABLE_VIRT_OBJ_SPACE is not set CONFIG_VIRT_OBJ_SPACE=y +CONFIG_NO_IO_PAGEFAULT=y +CONFIG_NO_LDT=y # # Debugging @@ -85,10 +75,9 @@ CONFIG_HOST_CC="gcc" CONFIG_HOST_CXX="g++" # CONFIG_MAINTAINER_MODE is not set CONFIG_LABEL="" -# CONFIG_EXPERIMENTAL is not set +CONFIG_EXPERIMENTAL=y CONFIG_PERF_CNT=y CONFIG_BIT32=y CONFIG_WARN_LEVEL=1 CONFIG_XARCH="ia32" -CONFIG_IA32_TARGET="Intel Pentium" CONFIG_ABI="vf" diff --git a/repos/base-foc/config/x86_32.user b/repos/base-foc/config/x86_32.user index 39d762565..816a7f390 100644 --- a/repos/base-foc/config/x86_32.user +++ b/repos/base-foc/config/x86_32.user @@ -5,6 +5,7 @@ CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y # CONFIG_BUILD_ARCH_amd64 is not set # CONFIG_BUILD_ARCH_arm is not set +# CONFIG_BUILD_ARCH_arm64 is not set # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set @@ -13,24 +14,6 @@ CONFIG_BUILD_ARCH="x86" CONFIG_BUILD_ABI_l4f=y CONFIG_BUILD_ABI="l4f" CONFIG_CPU="586" -CONFIG_CPU_X86_586=y -# CONFIG_CPU_X86_PENTIUM is not set -# CONFIG_CPU_X86_PENTIUMMMX is not set -# CONFIG_CPU_X86_PENTIUMPRO is not set -# CONFIG_CPU_X86_686 is not set -# CONFIG_CPU_X86_PENTIUM2 is not set -# CONFIG_CPU_X86_PENTIUM3 is not set -# CONFIG_CPU_X86_PENTIUMM is not set -# CONFIG_CPU_X86_PENTIUM4 is not set -# CONFIG_CPU_X86_PRESCOTT is not set -# CONFIG_CPU_X86_NOCONA is not set -# CONFIG_CPU_X86_CORE2 is not set -# CONFIG_CPU_X86_K6 is not set -# CONFIG_CPU_X86_K7 is not set -# CONFIG_CPU_X86_ATHLON4 is not set -# CONFIG_CPU_X86_K8 is not set -# CONFIG_CPU_X86_K10 is not set -# CONFIG_CPU_X86_OPTERON is not set CONFIG_PLATFORM_TYPE_pc=y # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="pc" diff --git a/repos/base-foc/config/x86_64.kernel b/repos/base-foc/config/x86_64.kernel index 07159da20..a5fe9f85c 100644 --- a/repos/base-foc/config/x86_64.kernel +++ b/repos/base-foc/config/x86_64.kernel @@ -20,11 +20,6 @@ CONFIG_AMD64=y # CONFIG_MIPS is not set CONFIG_PF_PC=y CONFIG_ABI_VF=y -# CONFIG_AMD64_K8 is not set -# CONFIG_AMD64_CORE2 is not set -CONFIG_AMD64_CORE_I=y -# CONFIG_AMD64_ATOM is not set -# CONFIG_AMD64_K10 is not set # CONFIG_CPU_VIRT is not set CONFIG_SCHED_APIC=y # CONFIG_WORKAROUND_AMD_FPU_LEAK is not set @@ -43,6 +38,10 @@ CONFIG_SCHED_FIXED_PRIO=y # CONFIG_IOMMU is not set # CONFIG_DISABLE_VIRT_OBJ_SPACE is not set CONFIG_VIRT_OBJ_SPACE=y +# CONFIG_KERNEL_ISOLATION is not set +# CONFIG_CPU_LOCAL_MAP is not set +CONFIG_NO_IO_PAGEFAULT=y +CONFIG_NO_LDT=y # # Debugging @@ -81,5 +80,4 @@ CONFIG_PERF_CNT=y CONFIG_BIT64=y CONFIG_WARN_LEVEL=1 CONFIG_XARCH="amd64" -CONFIG_IA32_TARGET="Intel Core-i" CONFIG_ABI="vf" diff --git a/repos/base-foc/config/x86_64.user b/repos/base-foc/config/x86_64.user index 62d149d80..5c9b226d7 100644 --- a/repos/base-foc/config/x86_64.user +++ b/repos/base-foc/config/x86_64.user @@ -5,6 +5,7 @@ CONFIG_ARCH_ENABLE_STACK_PROTECTOR=y CONFIG_BUILD_ARCH_amd64=y # CONFIG_BUILD_ARCH_arm is not set +# CONFIG_BUILD_ARCH_arm64 is not set # CONFIG_BUILD_ARCH_mips is not set # CONFIG_BUILD_ARCH_ppc32 is not set # CONFIG_BUILD_ARCH_sparc is not set @@ -13,9 +14,6 @@ CONFIG_BUILD_ARCH="amd64" CONFIG_BUILD_ABI_l4f=y CONFIG_BUILD_ABI="l4f" CONFIG_CPU="K8" -CONFIG_CPU_X86_K8=y -# CONFIG_CPU_X86_K10 is not set -# CONFIG_CPU_X86_OPTERON is not set CONFIG_PLATFORM_TYPE_pc=y # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="pc" diff --git a/repos/base-foc/doc/foc.txt b/repos/base-foc/doc/foc.txt index 56b6f1880..b55c60a70 100644 --- a/repos/base-foc/doc/foc.txt +++ b/repos/base-foc/doc/foc.txt @@ -7,8 +7,10 @@ Stefan Kalkowski -Fiasco.OC is a microkernel developed by the OS group of the TU-Dresden. It's -an object-oriented capability-based system for x86, ARM and PowerPC platforms. +Fiasco.OC is a microkernel originally developed by the OS group of the +TU-Dresden. Nowadays, it is primarily maintained and developed by +the company Kernkonzept. It's an object-oriented capability-based system +for x86, ARM, PowerPC and MIPS platforms. This document provides brief instructions about downloading, building and booting the Fiasco.OC version of Genode. @@ -20,7 +22,7 @@ Prerequisites You need certain tools to use the Fiasco.OC build system. On Debian/Ubuntu systems you have to install the following packages: -! apt-get install make gawk pkg-config subversion patch +! apt-get install make gawk g++ binutils pkg-config g++-multilib subversion Moreover, you need to download and install the tool-chain used by Genode. Have a look at this page: @@ -28,22 +30,16 @@ a look at this page: :[http://genode.org/download/tool-chain]: Genode tool-chain -If you want to use the so called run-scripts in Genode, a mechanism that -automates building, integration and testing of components, you have to install -the following, additional package: - -! apt-get install expect - Building the Fiasco.OC version of Genode ######################################## -The current version of Genode is available at the public subversion repository: +The current version of Genode is available at the public Github repository: -:http://genode.org/download/subversion-repository: - Information about accessing the Genode public subversion repository +:http://github.com/genodelabs/genode: + Github repository of Genode -After you've fetched the Genode source tree from the subversion repository, or +After you've fetched the Genode source tree from the git repository, or downloaded the latest release tar archive, you need the Fiasco.OC source code, its kernel-bindings, additional bootstrap tools etc. To simplify that step, you can use the 'prepare_port' tool: @@ -52,26 +48,19 @@ you can use the 'prepare_port' tool: This will install all necessary third-party source code in the 'contrib' folder. -For the vesa driver on x86 the x86emu library is required and can be downloaded -and prepared by invoking the following command: - -! ./tool/ports/prepare_port x86emu - Now, go to a directory where you want the Genode/Fiasco.OC build directory to remain. Use the helper script in the 'tool' directory of the Genode source tree to create the initial build environment. You need to state the build directory you want to create, and the hardware architecture to run -Fiasco.OC/Genode on. Choose 'foc_x86_32', 'foc_x86_64', or 'foc_pbxa9' -depending on whether you want to build for the 32-bit or 64-bit X86 -architecture, or for ARMs Cortex-A9. +Fiasco.OC/Genode on. Choose 'x86_32', 'x86_64', or one of the available ARM +boards. -! /tool/create_builddir foc_x86_32 \ -! BUILD_DIR= +! /tool/create_builddir x86_64 Now, go to the newly created build directory and type make: -! cd -! make +! cd build/x86_64 +! make KERNEL=foc This will build the Fiasco.OC kernel, its bootstrap code, and every Genode component, that runs on top of Fiasco.OC. @@ -79,12 +68,11 @@ that runs on top of Fiasco.OC. If you just want to give Genode/Fiasco.OC a try, you can call e.g.: the demo run-script instead of building everything: -! cd -! make run/demo +! make run/demo KERNEL=foc Further Information ################### -:[http://os.inf.tu-dresden.de/fiasco]: +:[https://l4re.org/fiasco/]: Official website for the Fiasco.OC microkernel. diff --git a/repos/base-foc/lib/mk/syscall-foc.inc b/repos/base-foc/lib/mk/syscall-foc.inc index ead497fdd..c7c3a0e0f 100644 --- a/repos/base-foc/lib/mk/syscall-foc.inc +++ b/repos/base-foc/lib/mk/syscall-foc.inc @@ -15,7 +15,7 @@ L4_BUILD_DIR := $(shell pwd)/build L4_INC_TARGETS += l4/sys \ l4f/l4/sys \ l4/sigma0 \ - l4/vcpu + l4/cxx CC_OPT += -Iinclude @@ -27,7 +27,7 @@ include/%: # Use 'regparm=0' call instead of an inline function, when accessing # the utcb. This is needed to stay compatible with L4linux # -CC_OPT += -DL4SYS_USE_UTCB_WRAP=1 +CC_OPT += -DL4SYS_USE_UTCB_WRAP=1 -Wno-unused-function # # Create L4 build directory @@ -46,7 +46,11 @@ PKGS := l4re-core/ldscripts \ l4re-core/libgcc-pure \ l4re-core/l4sys \ l4re-core/libgcc \ - l4re-core/libsigma0 + l4re-core/libsigma0 \ + l4re-core/crtn \ + l4re-core/uclibc-headers \ + l4re-core/l4util \ + l4re-core/cxx include $(REP_DIR)/lib/mk/l4_pkg.inc diff --git a/repos/base-foc/ports/foc.hash b/repos/base-foc/ports/foc.hash index b8d8c91b3..5be9e0399 100644 --- a/repos/base-foc/ports/foc.hash +++ b/repos/base-foc/ports/foc.hash @@ -1 +1 @@ -3cc6e1d308c54bbf7b7c6f0098674ba6e516644e +1e94ed61b142cffbfa5e67ec973ebed9945deeeb diff --git a/repos/base-foc/ports/foc.port b/repos/base-foc/ports/foc.port index 90d7822d7..750bf6900 100644 --- a/repos/base-foc/ports/foc.port +++ b/repos/base-foc/ports/foc.port @@ -2,5 +2,5 @@ LICENSE := GPLv2 VERSION := git DOWNLOADS := foc.git URL(foc) := https://github.com/skalk/foc.git -REV(foc) := b171e6bf66aad298c589e467aa16df18cc4afac3 +REV(foc) := 43cd446fe9bcba67a7d7312b14004e9063343a89 DIR(foc) := src/kernel/foc diff --git a/repos/base-foc/src/core/irq_session_component.cc b/repos/base-foc/src/core/irq_session_component.cc index b292be251..7d6e312a0 100644 --- a/repos/base-foc/src/core/irq_session_component.cc +++ b/repos/base-foc/src/core/irq_session_component.cc @@ -106,8 +106,8 @@ bool Genode::Irq_object::associate(unsigned irq, bool msi, return false; } - if (l4_error(l4_irq_attach(_capability(), reinterpret_cast(this), - Interrupt_handler::handler_cap()))) { + if (l4_error(l4_rcv_ep_bind_thread(_capability(), Interrupt_handler::handler_cap(), + reinterpret_cast(this)))) { error("cannot attach to IRQ ", _irq); return false; } diff --git a/repos/base-foc/src/core/platform_thread.cc b/repos/base-foc/src/core/platform_thread.cc index 1f45e190a..ccfe7c349 100644 --- a/repos/base-foc/src/core/platform_thread.cc +++ b/repos/base-foc/src/core/platform_thread.cc @@ -259,7 +259,7 @@ void Platform_thread::_finalize_construction(const char *name) warning("creating thread's irq failed"); /* attach thread to irq */ - tag = l4_irq_attach(_irq.local.data()->kcap(), 0, _thread.local.data()->kcap()); + tag = l4_rcv_ep_bind_thread(_irq.local.data()->kcap(), _thread.local.data()->kcap(), 0); if (l4_msgtag_has_error(tag)) warning("attaching thread's irq failed"); diff --git a/repos/base-foc/src/lib/base/signal_source_client.cc b/repos/base-foc/src/lib/base/signal_source_client.cc index 7387762a1..07f15517b 100644 --- a/repos/base-foc/src/lib/base/signal_source_client.cc +++ b/repos/base-foc/src/lib/base/signal_source_client.cc @@ -43,9 +43,9 @@ Signal_source_client::Signal_source_client(Capability cap) Foc_native_cpu_client cpu_client(env_deprecated()->cpu_session()->native_cpu()); Native_capability thread_cap = cpu_client.native_cap(Thread::myself()->cap()); - l4_msgtag_t tag = l4_irq_attach(_sem.data()->kcap(), 0, thread_cap.data()->kcap()); + l4_msgtag_t tag = l4_rcv_ep_bind_thread(_sem.data()->kcap(), thread_cap.data()->kcap(), 0); if (l4_error(tag)) - Genode::raw("l4_irq_attach failed with ", l4_error(tag)); + Genode::raw("l4_rcv_ep_bind_thread failed with ", l4_error(tag)); }