Set state via seL4_TCB_WriteRegisters

repos/base-foc/config/arndale.kernel

@@ -5,7 +5,6 @@
 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
 
@@ -16,29 +15,25 @@ CONFIG_HAS_CPU_VIRT=y
 # CONFIG_AMD64 is not set
 CONFIG_ARM=y
 # CONFIG_MIPS is not set
-# CONFIG_PF_INTEGRATOR is not set
-# CONFIG_PF_REALVIEW is not set
-# CONFIG_PF_SUNXI 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_BCM2835 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_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_XSCALE 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=""
@@ -61,7 +56,6 @@ 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
@@ -71,6 +65,7 @@ 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
@@ -87,7 +82,6 @@ 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

repos/base-foc/config/arndale.user

@@ -5,7 +5,6 @@
 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
@@ -25,39 +24,34 @@ CONFIG_CPU_ARM_ARMV7A=y
 CONFIG_CPU="armv7a"
 CONFIG_CPU_ARMV6KPLUS=y
 CONFIG_CPU_ARMV6PLUS=y
-# CONFIG_PLATFORM_TYPE_exynos4 is not set
+# CONFIG_PLATFORM_TYPE_armada38x 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_exynos4 is not set
-# CONFIG_PLATFORM_TYPE_parallella is not set
+CONFIG_PLATFORM_TYPE_exynos5=y
-# 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_imx35 is not set
-# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set
+# CONFIG_PLATFORM_TYPE_imx51 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_armada38x is not set
-# CONFIG_PLATFORM_TYPE_omap5 is not set
-# CONFIG_PLATFORM_TYPE_rv_vexpress is not set
-# CONFIG_PLATFORM_TYPE_rpi_a 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_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_custom is not set
 CONFIG_PLATFORM_TYPE="exynos5"
 # CONFIG_USE_DROPS_STDDIR is not set

repos/base-foc/config/odroid_x2.kernel

@@ -5,7 +5,6 @@
 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
 
 #
@@ -15,31 +14,28 @@ CONFIG_HAS_MP_OPTION=y
 # CONFIG_AMD64 is not set
 CONFIG_ARM=y
 # CONFIG_MIPS is not set
-# CONFIG_PF_INTEGRATOR is not set
-# CONFIG_PF_REALVIEW is not set
-# CONFIG_PF_SUNXI 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_BCM2835 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_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_XSCALE 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
@@ -50,7 +46,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 is not set
+CONFIG_PF_EXYNOS_EXTGIC=y
 CONFIG_ABI_VF=y
 CONFIG_ARM_CORTEX_A9=y
 CONFIG_FPU=y
@@ -62,7 +58,6 @@ 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
@@ -72,6 +67,7 @@ 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
@@ -88,7 +84,6 @@ 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

repos/base-foc/config/odroid_x2.user

@@ -5,7 +5,6 @@
 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
@@ -25,39 +24,34 @@ CONFIG_CPU_ARM_ARMV7A=y
 CONFIG_CPU="armv7a"
 CONFIG_CPU_ARMV6KPLUS=y
 CONFIG_CPU_ARMV6PLUS=y
-CONFIG_PLATFORM_TYPE_exynos4=y
+# CONFIG_PLATFORM_TYPE_armada38x 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_exynos4=y
-# CONFIG_PLATFORM_TYPE_parallella is not set
+# CONFIG_PLATFORM_TYPE_exynos5 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_imx35 is not set
-# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set
+# CONFIG_PLATFORM_TYPE_imx51 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_armada38x is not set
-# CONFIG_PLATFORM_TYPE_omap5 is not set
-# CONFIG_PLATFORM_TYPE_rv_vexpress is not set
-# CONFIG_PLATFORM_TYPE_rpi_a 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_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_custom is not set
 CONFIG_PLATFORM_TYPE="exynos4"
 # CONFIG_USE_DROPS_STDDIR is not set

repos/base-foc/config/panda.kernel

@@ -5,7 +5,6 @@
 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
 
 #
@@ -15,30 +14,26 @@ CONFIG_HAS_MP_OPTION=y
 # CONFIG_AMD64 is not set
 CONFIG_ARM=y
 # CONFIG_MIPS is not set
-# CONFIG_PF_INTEGRATOR is not set
-# CONFIG_PF_REALVIEW is not set
-# CONFIG_PF_SUNXI 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_BCM2835 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_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_XSCALE is not set
 # 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
@@ -51,7 +46,6 @@ 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
@@ -61,9 +55,13 @@ 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
 
 #
@@ -77,7 +75,6 @@ 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
@@ -98,7 +95,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

repos/base-foc/config/panda.user

@@ -5,7 +5,6 @@
 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
@@ -25,39 +24,34 @@ CONFIG_CPU_ARM_ARMV7A=y
 CONFIG_CPU="armv7a"
 CONFIG_CPU_ARMV6KPLUS=y
 CONFIG_CPU_ARMV6PLUS=y
-# CONFIG_PLATFORM_TYPE_exynos4 is not set
+# CONFIG_PLATFORM_TYPE_armada38x 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_exynos4 is not set
-# CONFIG_PLATFORM_TYPE_parallella is not set
+# CONFIG_PLATFORM_TYPE_exynos5 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_imx35 is not set
-# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set
+# CONFIG_PLATFORM_TYPE_imx51 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_armada38x is not set
-# CONFIG_PLATFORM_TYPE_omap5 is not set
-# CONFIG_PLATFORM_TYPE_rv_vexpress is not set
-# CONFIG_PLATFORM_TYPE_rpi_a 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_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_custom is not set
 CONFIG_PLATFORM_TYPE="pandaboard"
 # CONFIG_USE_DROPS_STDDIR is not set

repos/base-foc/config/pbxa9.kernel

@@ -5,7 +5,6 @@
 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
 
 #
@@ -15,30 +14,26 @@ CONFIG_HAS_MP_OPTION=y
 # CONFIG_AMD64 is not set
 CONFIG_ARM=y
 # CONFIG_MIPS is not set
-# CONFIG_PF_INTEGRATOR is not set
-CONFIG_PF_REALVIEW=y
-# CONFIG_PF_SUNXI 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_BCM2835 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_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_XSCALE 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
@@ -54,7 +49,6 @@ 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
@@ -63,6 +57,7 @@ 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
@@ -79,7 +74,6 @@ 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

repos/base-foc/config/pbxa9.user

@@ -5,7 +5,6 @@
 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
@@ -25,39 +24,34 @@ CONFIG_CPU_ARM_ARMV7A=y
 CONFIG_CPU="armv7a"
 CONFIG_CPU_ARMV6KPLUS=y
 CONFIG_CPU_ARMV6PLUS=y
-# CONFIG_PLATFORM_TYPE_exynos4 is not set
+# CONFIG_PLATFORM_TYPE_armada38x 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_exynos4 is not set
-# CONFIG_PLATFORM_TYPE_parallella is not set
+# CONFIG_PLATFORM_TYPE_exynos5 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_imx35 is not set
-# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set
+# CONFIG_PLATFORM_TYPE_imx51 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_armada38x is not set
-# CONFIG_PLATFORM_TYPE_omap5 is not set
-# CONFIG_PLATFORM_TYPE_rv_vexpress is not set
-# CONFIG_PLATFORM_TYPE_rpi_a 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_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_custom is not set
 CONFIG_PLATFORM_TYPE="rv_pbx"
 # CONFIG_USE_DROPS_STDDIR is not set

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,50 +13,43 @@ CONFIG_HAS_JDB_GZIP_OPTION=y
 # CONFIG_AMD64 is not set
 CONFIG_ARM=y
 # CONFIG_MIPS is not set
-# CONFIG_PF_INTEGRATOR is not set
-# CONFIG_PF_REALVIEW is not set
-# CONFIG_PF_SUNXI 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_BCM2835=y
-# 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_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_XSCALE is not set
 # CONFIG_PF_ZYNQ is not set
-# CONFIG_PF_ZYNQMP is not set
+CONFIG_BSP_NAME="bcm2835"
-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=y
+# CONFIG_FPU is not set
 # 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_SMC_USER is not set
+# CONFIG_ARM_1176_CACHE_ALIAS_FIX is not set
-CONFIG_ARM_1176_CACHE_ALIAS_FIX=y
+# CONFIG_ARM_CPU_ERRATA is not set
-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_SCHED_WFQ is not set
+CONFIG_VIRT_OBJ_SPACE=y
-# CONFIG_SCHED_FP_WFQ is not set
 
 #
 # Debugging
@@ -69,7 +62,6 @@ 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
@@ -90,7 +82,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

repos/base-foc/config/rpi.user

@@ -5,7 +5,6 @@
 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,39 +23,34 @@ CONFIG_CPU_ARM_ARMV6=y
 # CONFIG_CPU_ARM_ARMV7A is not set
 CONFIG_CPU="armv6"
 CONFIG_CPU_ARMV6PLUS=y
-# CONFIG_PLATFORM_TYPE_exynos4 is not set
+# CONFIG_PLATFORM_TYPE_armada38x 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_exynos4 is not set
-# CONFIG_PLATFORM_TYPE_parallella is not set
+# CONFIG_PLATFORM_TYPE_exynos5 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_imx35 is not set
-# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set
+# CONFIG_PLATFORM_TYPE_imx51 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_armada38x is not set
-# CONFIG_PLATFORM_TYPE_omap5 is not set
-# CONFIG_PLATFORM_TYPE_rv_vexpress is not set
-# CONFIG_PLATFORM_TYPE_rpi_a 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_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_custom is not set
 CONFIG_PLATFORM_TYPE="rpi_b"
 # CONFIG_USE_DROPS_STDDIR is not set

repos/base-foc/config/wand_quad.kernel

@@ -1,113 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# 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
-CONFIG_HAS_MP_OPTION=y
-
-#
-# Target configuration
-#
-# CONFIG_IA32 is not set
-# CONFIG_AMD64 is not set
-CONFIG_ARM=y
-# CONFIG_MIPS is not set
-# CONFIG_PF_INTEGRATOR is not set
-# CONFIG_PF_REALVIEW is not set
-# CONFIG_PF_SUNXI 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=y
-# 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="imx"
-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_IMX_21 is not set
-# CONFIG_PF_IMX_28 is not set
-# CONFIG_PF_IMX_35 is not set
-# CONFIG_PF_IMX_51 is not set
-CONFIG_PF_IMX_6=y
-# CONFIG_PF_IMX_6UL is not set
-# CONFIG_PF_IMX_7 is not set
-CONFIG_PF_IMX_RAM_PHYS_BASE=0x10000000
-CONFIG_PF_IMX_6_TIMER_MPTIMER=y
-# CONFIG_PF_IMX_6_TIMER_EPIT is not set
-CONFIG_ABI_VF=y
-CONFIG_ARM_CORTEX_A9=y
-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_SMC_USER is not set
-CONFIG_ARM_CACHE_L2CXX0=y
-# CONFIG_ARM_ENABLE_SWP is not set
-CONFIG_HAS_ARM_PSCI=y
-# CONFIG_ARM_PSCI is not set
-CONFIG_ARM_CPU_ERRATA=y
-
-#
-# Kernel options
-#
-CONFIG_MP=y
-CONFIG_MP_MAX_CPUS=4
-CONFIG_CONTEXT_4K=y
-CONFIG_FINE_GRAINED_CPUTIME=y
-CONFIG_SCHED_FIXED_PRIO=y
-CONFIG_VIRT_OBJ_SPACE=y
-
-#
-# Debugging
-#
-CONFIG_INLINE=y
-# CONFIG_NDEBUG is not set
-CONFIG_NO_FRAME_PTR=y
-# CONFIG_STACK_DEPTH is not set
-# CONFIG_LIST_ALLOC_SANITY is not set
-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
-# CONFIG_WARN_ANY is not set
-
-#
-# ARM debugging options
-#
-# CONFIG_VMEM_ALLOC_TEST is not set
-# CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set
-
-#
-# Compiling
-#
-CONFIG_CC="gcc"
-CONFIG_CXX="g++"
-CONFIG_HOST_CC="gcc"
-CONFIG_HOST_CXX="g++"
-# CONFIG_MAINTAINER_MODE is not set
-CONFIG_LABEL=""
-# CONFIG_EXPERIMENTAL is not set
-CONFIG_PERF_CNT=y
-CONFIG_BIT32=y
-CONFIG_WARN_LEVEL=1
-CONFIG_XARCH="arm"
-CONFIG_ABI="vf"

repos/base-foc/config/wand_quad.user

@@ -1,87 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# L4Re Configuration
-#
-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
-# CONFIG_BUILD_ARCH_x86 is not set
-CONFIG_BUILD_ARCH="arm"
-CONFIG_BUILD_ABI_l4f=y
-CONFIG_BUILD_ABI="l4f"
-# CONFIG_CPU_ARM_ARMV4 is not set
-# CONFIG_CPU_ARM_ARMV4T is not set
-# CONFIG_CPU_ARM_ARMV5 is not set
-# CONFIG_CPU_ARM_ARMV5T is not set
-# CONFIG_CPU_ARM_ARMV5TE is not set
-# CONFIG_CPU_ARM_ARMV6 is not set
-# CONFIG_CPU_ARM_ARMV6T2 is not set
-# CONFIG_CPU_ARM_ARMV6ZK is not set
-CONFIG_CPU_ARM_ARMV7A=y
-CONFIG_CPU="armv7a"
-CONFIG_CPU_ARMV6KPLUS=y
-CONFIG_CPU_ARMV6PLUS=y
-CONFIG_PLATFORM_TYPE_wand_quad=y
-# CONFIG_PLATFORM_TYPE_imx6 is not set
-# CONFIG_PLATFORM_TYPE_zedboard is not set
-# CONFIG_PLATFORM_TYPE_imx35 is not set
-# CONFIG_PLATFORM_TYPE_rv_pbx 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_arm_virt is not set
-# CONFIG_PLATFORM_TYPE_tegra2 is not set
-# CONFIG_PLATFORM_TYPE_imx7 is not set
-# CONFIG_PLATFORM_TYPE_exynos4 is not set
-# CONFIG_PLATFORM_TYPE_cubieboard2 is not set
-# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set
-# CONFIG_PLATFORM_TYPE_ls1012afrdm 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_ls1021atwr is not set
-# CONFIG_PLATFORM_TYPE_tegra3 is not set
-# CONFIG_PLATFORM_TYPE_imx28 is not set
-# CONFIG_PLATFORM_TYPE_omap3evm is not set
-# CONFIG_PLATFORM_TYPE_exynos5 is not set
-# CONFIG_PLATFORM_TYPE_rcar3_m3 is not set
-# CONFIG_PLATFORM_TYPE_parallella is not set
-# CONFIG_PLATFORM_TYPE_zynqmp is not set
-# CONFIG_PLATFORM_TYPE_beagleboard is not set
-# CONFIG_PLATFORM_TYPE_imx21 is not set
-# CONFIG_PLATFORM_TYPE_imx6ul is not set
-# CONFIG_PLATFORM_TYPE_armada38x is not set
-# CONFIG_PLATFORM_TYPE_omap5 is not set
-# CONFIG_PLATFORM_TYPE_rv_vexpress 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="wand_quad"
-# CONFIG_USE_DROPS_STDDIR is not set
-# CONFIG_USE_DICE is not set
-CONFIG_DROPS_STDDIR="/path/to/l4re"
-CONFIG_DROPS_INSTDIR="/path/to/l4re"
-CONFIG_BID_COLORED_PHASES=y
-
-#
-# Building
-#
-CONFIG_YACC="yacc"
-CONFIG_LEX="flex"
-CONFIG_CTAGS="ctags"
-CONFIG_ETAGS="etags"
-CONFIG_HAVE_LDSO=y
-CONFIG_INT_CPP_NAME_SWITCH=y
-CONFIG_INT_LD_NAME_SWITCH=y
-# CONFIG_BID_STRIP_PROGS is not set
-# CONFIG_BID_GCC_OMIT_FP is not set
-CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR=y
-# CONFIG_BID_GCC_STACK_PROTECTOR_ALL is not set
-CONFIG_BID_GCC_STACK_PROTECTOR=y
-# CONFIG_BID_BUILD_DOC is not set
-# CONFIG_RELEASE_MODE is not set
-CONFIG_MAKECONFS_ADD=""

repos/base-foc/config/x86_32.kernel

@@ -21,6 +21,20 @@ 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
@@ -31,17 +45,13 @@ 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
@@ -75,9 +85,10 @@ 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
 CONFIG_XARCH="ia32"
+CONFIG_IA32_TARGET="Intel Pentium"
 CONFIG_ABI="vf"

repos/base-foc/config/x86_32.user

@@ -5,7 +5,6 @@
 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
@@ -14,6 +13,24 @@ 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"

repos/base-foc/config/x86_64.kernel

@@ -20,6 +20,11 @@ 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
@@ -38,10 +43,6 @@ 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
@@ -80,4 +81,5 @@ CONFIG_PERF_CNT=y
 CONFIG_BIT64=y
 CONFIG_WARN_LEVEL=1
 CONFIG_XARCH="amd64"
+CONFIG_IA32_TARGET="Intel Core-i"
 CONFIG_ABI="vf"

repos/base-foc/config/x86_64.user

@@ -5,7 +5,6 @@
 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
@@ -14,6 +13,9 @@ 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"

repos/base-foc/doc/foc.txt

@@ -7,10 +7,8 @@
                             Stefan Kalkowski
 
 
-Fiasco.OC is a microkernel originally developed by the OS group of the
+Fiasco.OC is a microkernel developed by the OS group of the TU-Dresden. It's
-TU-Dresden. Nowadays, it is primarily maintained and developed by
+an object-oriented capability-based system for x86, ARM and PowerPC platforms.
-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.
@@ -22,7 +20,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 g++ binutils pkg-config g++-multilib subversion
+! apt-get install make gawk pkg-config subversion patch
 
 Moreover, you need to download and install the tool-chain used by Genode. Have
 a look at this page:
@@ -30,16 +28,22 @@ 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 Github repository:
+The current version of Genode is available at the public subversion repository:
 
-:http://github.com/genodelabs/genode:
+:http://genode.org/download/subversion-repository:
-  Github repository of Genode
+  Information about accessing the Genode public subversion repository
 
-After you've fetched the Genode source tree from the git repository, or
+After you've fetched the Genode source tree from the subversion 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:
@@ -48,19 +52,26 @@ 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 'x86_32', 'x86_64', or one of the available ARM
+Fiasco.OC/Genode on. Choose 'foc_x86_32', 'foc_x86_64', or 'foc_pbxa9'
-boards.
+depending on whether you want to build for the 32-bit or 64-bit X86
+architecture, or for ARMs Cortex-A9.
 
-! <genode-dir>/tool/create_builddir x86_64
+! <genode-dir>/tool/create_builddir foc_x86_32 \
+!     BUILD_DIR=<build-dir>
 
 Now, go to the newly created build directory and type make:
 
-! cd build/x86_64
+! cd <build-dir>
-! make KERNEL=foc
+! make
 
 This will build the Fiasco.OC kernel, its bootstrap code, and every Genode component,
 that runs on top of Fiasco.OC.
@@ -68,11 +79,12 @@ 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:
 
-! make run/demo KERNEL=foc
+! cd <build-dir>
+! make run/demo
 
 
 Further Information
 ###################
 
-:[https://l4re.org/fiasco/]:
+:[http://os.inf.tu-dresden.de/fiasco]:
   Official website for the Fiasco.OC microkernel.

repos/base-foc/lib/mk/spec/wand_quad/kernel-foc.mk

@@ -1,3 +0,0 @@
-KERNEL_CONFIG := $(REP_DIR)/config/wand_quad.kernel
-
-include $(REP_DIR)/lib/mk/kernel-foc.inc

repos/base-foc/lib/mk/spec/wand_quad/syscall-foc.mk

@@ -1,5 +0,0 @@
-L4_CONFIG := $(call select_from_repositories,config/wand_quad.user)
-
-L4_BIN_DIR := $(LIB_CACHE_DIR)/syscall-foc/build/bin/arm_armv7a
-
-include $(REP_DIR)/lib/mk/spec/arm/syscall-foc.inc

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/cxx
+                  l4/vcpu
 
 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 -Wno-unused-function
+CC_OPT += -DL4SYS_USE_UTCB_WRAP=1
 
 #
 # Create L4 build directory
@@ -46,11 +46,7 @@ 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
 

repos/base-foc/ports/foc.hash

@@ -1 +1 @@
-f19f59cc0e96514820c1871160576a4e55d75492
+3cc6e1d308c54bbf7b7c6f0098674ba6e516644e

repos/base-foc/ports/foc.port

@@ -1,6 +1,6 @@
 LICENSE   := GPLv2
 VERSION   := git
 DOWNLOADS := foc.git
-URL(foc)  := https://git.mousetrap.xyz/alex/foc.git
+URL(foc)  := https://github.com/skalk/foc.git
-REV(foc)  := 9bdd7cdc46e9e83015545637bf03276caeab0596
+REV(foc)  := b171e6bf66aad298c589e467aa16df18cc4afac3
 DIR(foc)  := src/kernel/foc

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_rcv_ep_bind_thread(_capability(), Interrupt_handler::handler_cap(),
+	if (l4_error(l4_irq_attach(_capability(), reinterpret_cast<l4_umword_t>(this),
-	                                   reinterpret_cast<l4_umword_t>(this)))) {
+	                           Interrupt_handler::handler_cap()))) {
 		error("cannot attach to IRQ ", _irq);
 		return false;
 	}

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_rcv_ep_bind_thread(_irq.local.data()->kcap(), _thread.local.data()->kcap(), 0);
+	tag = l4_irq_attach(_irq.local.data()->kcap(), 0, _thread.local.data()->kcap());
 	if (l4_msgtag_has_error(tag))
 		warning("attaching thread's irq failed");
 

repos/base-foc/src/lib/base/signal_source_client.cc

@@ -43,9 +43,9 @@ Signal_source_client::Signal_source_client(Capability<Signal_source> 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_rcv_ep_bind_thread(_sem.data()->kcap(), thread_cap.data()->kcap(), 0);
+	l4_msgtag_t tag = l4_irq_attach(_sem.data()->kcap(), 0, thread_cap.data()->kcap());
 	if (l4_error(tag))
-		Genode::raw("l4_rcv_ep_bind_thread failed with ", l4_error(tag));
+		Genode::raw("l4_irq_attach failed with ", l4_error(tag));
 }
 
 

repos/base-sel4/src/core/platform_thread.cc

@@ -198,10 +198,35 @@ void Platform_thread::resume()
 }
 
 
-void Platform_thread::state(Thread_state)
+void Platform_thread::state(Thread_state s)
 {
-	warning(__PRETTY_FUNCTION__, " not implemented");
+	seL4_TCB const thread = _info.tcb_sel.value();
-	throw Cpu_thread::State_access_failed();
+	seL4_Bool const suspend_source = false;
+	seL4_Uint8 const arch_flags = 0;
+	seL4_UserContext registers;
+	seL4_Word const register_count = sizeof(registers) / sizeof(registers.pc);
+
+	registers.r0 = s.r0;
+	registers.r1 = s.r1;
+	registers.r2 = s.r2;
+	registers.r3 = s.r3;
+	registers.r4 = s.r4;
+	registers.r5 = s.r5;
+	registers.r6 = s.r6;
+	registers.r7 = s.r7;
+	registers.r8 = s.r8;
+	registers.r9 = s.r9;
+	registers.r10 = s.r10;
+	registers.r11 = s.r11;
+	registers.r12 = s.r12;
+	registers.sp = s.sp;
+	registers.r14 = s.lr;
+	registers.pc = s.ip;
+	registers.cpsr = s.cpsr;
+
+	long const ret = seL4_TCB_WriteRegisters(thread, suspend_source, arch_flags, register_count, &registers);
+
+	ASSERT(ret == 0);
 }
 
 

tool/builddir/build.conf/run_kernel_wand_quad

@@ -1,3 +1,3 @@
-# kernel to use (hw, sel4, foc)
+# kernel to use (hw, sel4)
 # KERNEL ?= hw
 

tool/run/boot_dir/foc

@@ -16,7 +16,6 @@ proc core_link_address { } {
 	if {[have_spec pbxa9    ]} { return "0x76000000" }
 	if {[have_spec odroid_x2]} { return "0x80100000" }
 	if {[have_spec imx53    ]} { return "0x70140000" }
-	if {[have_spec imx6     ]} { return "0x10200000" }
 
 	puts stderr "Error: platform not supported, core link address unknown"
 	exit 1