One more file -- the default config for beaglebone in sel4test. On Sun, Feb 15, 2015 at 9:24 PM, Tim Newsham <[email protected]> wrote: > Here's an updated set of patches, inclusive of the last. > I haven't seen the earlier ones show up in git yet, but if > they do, I can send out incrementals based on those if > necessary. > > With these, the sel4test can now run to completion, passing > all the tests. There are still spurious interrupts being reported, > and you may want to comment out the printf that reports them > for now (not included in my patches)... > > > On Fri, Feb 13, 2015 at 6:32 PM, Tim Newsham <[email protected]> > wrote: >> This set of fixes pushes AM335x support closer to working. >> With these patches and the previously submitted bootloader fix >> (https://github.com/seL4/elfloader-tool/issues/2) sel4 can >> boot and the sel4test project can run through some of >> the test cases. There are still some notable ommissions >> like missing timer and uart features and lack of uart IRQ >> support. >> >> - sel4 kernel >> - fix up sel4 kernel support for the am335x timer >> - note: this still receives lots of spurious interrupts >> - libplatsupport >> - bring code into line with conventions used by other ports >> - bring the uart code to life. PIO only for now >> - support multiple timers >> - libsel4platsupport >> - bring code into line with conventions used by other ports >> >> -- >> Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
From c539882add34d2be716265a48c7381ea31e2a29f Mon Sep 17 00:00:00 2001 From: Tim Newsham <[email protected]> Date: Mon, 16 Feb 2015 07:03:50 -1000 Subject: [PATCH] - add debug config for beaglebone --- master-configs/bbone_debug_xml_defconfig | 137 +++++++++++++++++++++++++++++++ 1 file changed, 137 insertions(+) create mode 100644 master-configs/bbone_debug_xml_defconfig diff --git a/master-configs/bbone_debug_xml_defconfig b/master-configs/bbone_debug_xml_defconfig new file mode 100644 index 0000000..90e03a7 --- /dev/null +++ b/master-configs/bbone_debug_xml_defconfig @@ -0,0 +1,137 @@ +# +# Automatically generated make config: don't edit +# Project Configuration +# Wed Sep 10 15:06:14 2014 +# + +# +# seL4 Kernel +# +# CONFIG_ARCH_ARM_V6 is not set +CONFIG_ARCH_ARM_V7A=y + +# +# seL4 System +# +# CONFIG_ARCH_I386 is not set +# CONFIG_ARCH_X86_64 is not set +CONFIG_ARCH_ARM=y +# CONFIG_ARM1136JF_S is not set +CONFIG_ARM_CORTEX_A8=y +# CONFIG_ARM_CORTEX_A9 is not set +# CONFIG_ARM_CORTEX_A15 is not set +# CONFIG_PLAT_OMAP3 is not set +CONFIG_PLAT_AM335X=y + +# +# seL4 System Parameters +# +CONFIG_ROOT_CNODE_SIZE_BITS=16 +CONFIG_TIMER_TICK_MS=10 +CONFIG_TIME_SLICE=1 +CONFIG_RETYPE_FAN_OUT_LIMIT=256 +CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION=100 +CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS=199 +CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS=167 +CONFIG_FASTPATH=y +CONFIG_NUM_DOMAINS=1 +CONFIG_DOMAIN_SCHEDULE="" +CONFIG_NUM_PRIORITIES=256 +# CONFIG_BENCHMARK is not set + +# +# Build Options +# +CONFIG_DEBUG_BUILD=y +CONFIG_IRQ_REPORTING=y +# CONFIG_OPTIMISATION_Os is not set +# CONFIG_OPTIMISATION_O0 is not set +# CONFIG_OPTIMISATION_O1 is not set +CONFIG_OPTIMISATION_O2=y +# CONFIG_OPTIMISATION_O3 is not set +# CONFIG_DANGEROUS_CODE_INJECTION is not set +# CONFIG_DEBUG_DISABLE_L2_CACHE is not set +# CONFIG_DEBUG_DISABLE_BRANCH_PREDICTION is not set + +# +# Errata +# +# CONFIG_ARM_ERRATA_430973 is not set + +# +# seL4 Applications +# +CONFIG_APP_SEL4TEST=y +CONFIG_HAVE_TIMER=y +CONFIG_HAVE_CACHE=y +CONFIG_APP_TESTS=y + +# +# seL4 Libraries +# +CONFIG_LIB_SEL4=y +# CONFIG_LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY is not set +CONFIG_LIB_MUSL_C=y +CONFIG_HAVE_LIBC=y +CONFIG_HAVE_CRT=y +CONFIG_LIB_SEL4_MUSLC_SYS=y +CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES=1048576 +# CONFIG_LIB_SEL4_MUSLC_SYS_DEBUG_HALT is not set +# CONFIG_LIB_SEL4_MUSLC_SYS_CPIO_FS is not set +# CONFIG_LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK is not set +CONFIG_LIB_SEL4_VKA=y +CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS=y +CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ=0 +CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ=0 +CONFIG_LIB_SEL4_VSPACE=y +CONFIG_LIB_SEL4_ALLOCMAN=y +CONFIG_LIB_CPIO=y +CONFIG_LIB_ELF=y +CONFIG_LIB_SEL4_UTILS=y +CONFIG_SEL4UTILS_STACK_SIZE=65536 +CONFIG_SEL4UTILS_CSPACE_SIZE_BITS=17 +CONFIG_LIB_SEL4_PLAT_SUPPORT=y +CONFIG_LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR=y +# CONFIG_LIB_SEL4_PLAT_SUPPORT_START is not set +CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START=y +CONFIG_LIB_SEL4_TEST=y +CONFIG_TESTPRINTER_REGEX=".*" +# CONFIG_TESTPRINTER_HALT_ON_TEST_FAILURE is not set +CONFIG_PRINT_XML=y +CONFIG_BUFFER_OUTPUT=y +CONFIG_LIB_SEL4_SIMPLE=y +CONFIG_LIB_SEL4_SIMPLE_DEFAULT=y +CONFIG_LIB_SEL4_SIMPLE_STABLE=y +CONFIG_LIB_UTILS=y +# CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set +CONFIG_LIB_PLATSUPPORT=y + +# +# Tools +# +CONFIG_LIB_ELFLOADER=y +CONFIG_ARM_ERRATA_764369=y + +# +# Toolchain Options +# +CONFIG_CROSS_COMPILER_PREFIX="arm-linux-gnueabi-" +CONFIG_KERNEL_COMPILER="" +CONFIG_KERNEL_CFLAGS="" +CONFIG_KERNEL_EXTRA_CPPFLAGS="" +# CONFIG_USER_DEBUG_INFO is not set +CONFIG_USER_EXTRA_CFLAGS="-D_XOPEN_SOURCE=700" +CONFIG_USER_CFLAGS="" +CONFIG_BUILDSYS_USE_CCACHE=y +CONFIG_BUILDSYS_USE_GOANNA=y +CONFIG_BUILDSYS_GOANNA_PROFILE="" +# CONFIG_USER_OPTIMISATION_Os is not set +# CONFIG_USER_OPTIMISATION_O0 is not set +# CONFIG_USER_OPTIMISATION_O1 is not set +CONFIG_USER_OPTIMISATION_O2=y +# CONFIG_USER_OPTIMISATION_O3 is not set +# CONFIG_LINK_TIME_OPTIMISATIONS is not set +# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_USER is not set +# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_KERNEL is not set +CONFIG_USER_DEBUG_BUILD=y +# CONFIG_BUILDSYS_CPP_SEPARATE is not set -- 1.9.1
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
