Attached are some patches for am335x support. I've started to play with refos, and can build it for am335x and run some of the startup (with release mode) but it hangs at some point.. still a work in progress. Also there's a few minor proofread tweaks on the refos doc.
By the way, sel4test runs pretty well now in debug and release modes. Instructions are pretty straightforward: - build the project using the debug or release config - use objcopy to extract a raw binary from the ELF image - load the binary with uboot (I use "tftp", it defaults to the proper load address) - run it in uboot with "go 82000000" Tim
From 24f6c6ade9f57e81e5207aa825113f15d076bcd2 Mon Sep 17 00:00:00 2001 From: Tim Newsham <[email protected]> Date: Mon, 2 Mar 2015 12:49:01 -1000 Subject: [PATCH] - bring am335x hardware.h into alignment with refos --- include/plat/am335x/plat/machine/hardware.h | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/include/plat/am335x/plat/machine/hardware.h b/include/plat/am335x/plat/machine/hardware.h index 6092220..6138cac 100644 --- a/include/plat/am335x/plat/machine/hardware.h +++ b/include/plat/am335x/plat/machine/hardware.h @@ -12,6 +12,7 @@ #define __PLAT_MACHINE_HARDWARE_H #define physBase 0x80000000 +#define PADDR_BASE physBase /* for compatibility with proofs */ #define kernelBase 0xf0000000 #define physMappingOffset (kernelBase - physBase) #define BASE_OFFSET physMappingOffset @@ -38,24 +39,7 @@ addrFromPPtr(void* pptr) return (paddr_t)pptr - physMappingOffset; } -#define paddr_to_pptr ptrFromPAddr -#define pptr_to_paddr addrFromPPtr -static inline region_t CONST -paddr_to_pptr_reg(p_region_t p_reg) -{ - return (region_t) { - p_reg.start + physMappingOffset, p_reg.end + physMappingOffset - }; -} - -static inline p_region_t CONST -pptr_to_paddr_reg(region_t reg) -{ - return (p_region_t) { - reg.start - physMappingOffset, reg.end - physMappingOffset - }; -} int get_num_avail_p_regs(void); p_region_t get_avail_p_reg(unsigned int i); -- 1.9.1
From 3735136717cd8d326cf0f4295df4f08fbe2c6376 Mon Sep 17 00:00:00 2001 From: Tim Newsham <[email protected]> Date: Sat, 28 Feb 2015 14:53:05 -1000 Subject: [PATCH] - make am335x serial emits CR after NL --- src/plat/am335x/serial.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/plat/am335x/serial.c b/src/plat/am335x/serial.c index aa4409b..a2a94c1 100644 --- a/src/plat/am335x/serial.c +++ b/src/plat/am335x/serial.c @@ -27,6 +27,10 @@ static int uart_putchar(ps_chardevice_t* d, int c) { while (!(*REG_PTR(d->vaddr, USR1) & UART_SR1_TRDY)); *REG_PTR(d->vaddr, UTXD) = c; + if (c == '\n') { + uart_putchar(d, '\r'); + } + return c; } -- 1.9.1
From 86be5e0ca91a6b058cbbd79a0123ee48174c2cf5 Mon Sep 17 00:00:00 2001 From: Tim Newsham <[email protected]> Date: Mon, 2 Mar 2015 12:46:54 -1000 Subject: [PATCH 1/2] - minor proofreading of design doc --- design/implementation.tex | 2 +- design/intro.tex | 4 ++-- design/protocol.tex | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/design/implementation.tex b/design/implementation.tex index 611d6fc..3c88ee5 100644 --- a/design/implementation.tex +++ b/design/implementation.tex @@ -45,7 +45,7 @@ We used the kernel communication mechanisms to implement server interface calls. Python script RPC stub generator which takes our RefOS interface (extended for extra functionality and to make implementation easier) in a simple XML format and generates corresponding C stub code. Parameters are marshalled and unmarshalled over the kernel thread IPC buffer. This isn't very -efficient, but requires the least amount of infrastructure. For long string parameters which do +efficient, but requires the least amount of infrastructure. For long string parameters which are unsuited to the IPC buffer, and notifications, a shared dataspace buffer is used. For async notifications, a shared dataspace with a one-way ring buffer protocol is used between the diff --git a/design/intro.tex b/design/intro.tex index 572fb7d..1726dae 100644 --- a/design/intro.tex +++ b/design/intro.tex @@ -130,7 +130,7 @@ The basic concept of a capability (henceforth referred to as \emph{cap}) is that an object representing the permission to access a particular object. This is similar in idea to UNIX file descriptors, which represent the access that the process has to the file. Just like a UNIX file descriptor table, the capability -objects are to be kept in kernel memory. User programs only have handles so +objects are to be kept in kernel memory. User programs only have handles to such objects, and cannot directly manipulate them. The \refOS is designed with the assumption that synchronous call and reply IPC @@ -142,7 +142,7 @@ it has received via IPC. In the sample implementation given using the seL4 microkernel, this is implemented as kernel IPC endpoint \emph{badges}; endpoint capabilities may be badged with an integer, and the badge of an endpoint once it has been badged is -immutable. When a badged endpoint cap is send along the same endpoint the one +immutable. When a badged endpoint cap is sent along the same endpoint the one it is pointing to, then the kernel automatically \emph{unwraps} the badge to be read. Therefore, only the process which created the badge can read it back via IPC. \refOS makes heavily use of these badges in order for servers to track diff --git a/design/protocol.tex b/design/protocol.tex index 7a575cf..24b4ccd 100644 --- a/design/protocol.tex +++ b/design/protocol.tex @@ -507,7 +507,7 @@ struct fs_dataspace { }; \end{verbatim} -\subsection {Userlace dataspace mapping} +\subsection {Userland dataspace mapping} This is the example data structure for a userland dataspace mapping. The window, dataspace, and session are book-kept, along with the virtual address and size of the window segment. -- 1.9.1
From 7f7c6e118f1a1158396cceb701a7e78c9fff1acd Mon Sep 17 00:00:00 2001 From: Tim Newsham <[email protected]> Date: Mon, 2 Mar 2015 12:48:25 -1000 Subject: [PATCH 2/2] - add 335x support to refos --- impl/apps/timer_server/src/device_timer.c | 34 +++++++ impl/configs/bbone_debug_defconfig | 158 ++++++++++++++++++++++++++++++ impl/configs/bbone_release_defconfig | 157 +++++++++++++++++++++++++++++ 3 files changed, 349 insertions(+) create mode 100644 impl/configs/bbone_debug_defconfig create mode 100644 impl/configs/bbone_release_defconfig diff --git a/impl/apps/timer_server/src/device_timer.c b/impl/apps/timer_server/src/device_timer.c index a99dbb9..4da87ee 100644 --- a/impl/apps/timer_server/src/device_timer.c +++ b/impl/apps/timer_server/src/device_timer.c @@ -52,6 +52,16 @@ #define TICK_TIMER_PERIOD (2000000) #define TICK_TIMER_SCALE_NS 1 +#elif defined(PLAT_AM335x) + + #define TIMER_ID DMTIMER2 + #define TICK_ID DMTIMER3 + #define TIMER_PERIODIC_MAX_SET true + /* XXX am I doing this right? this is the largest period in nsec you can pass to the timer APIs */ + #define TIMER_PERIODIC_MAX 178956970666 // ((((1UL << 32) / 24UL) * 1000UL) - 1) + #define TICK_TIMER_PERIOD (2000000) + #define TICK_TIMER_SCALE_NS 1 + #elif defined(PLAT_PC99) /* PIT only needs IOPort operations. */ @@ -62,6 +72,7 @@ #define TICK_TIMER_SCALE_NS 1 #include <platsupport/plat/rtc.h> + #else #error "Unsupported platform." #endif @@ -222,6 +233,29 @@ device_timer_init(struct device_timer_state *s, dev_io_ops_t *io) /* Get the timer interface from EPIT device. */ s->tickDev = epit_get_timer(&econfig); +#elif defined(PLAT_AM335x) + + timer_config_t config; + config.vaddr = ps_io_map(&io->opsIO.io_mapper, dm_timer_paddrs[TIMER_ID], + 0x1000, false, PS_MEM_NORMAL); + config.irq = dm_timer_irqs[TIMER_ID]; + if (!config.vaddr) { + ROS_ERROR("Could not map timer device."); + assert(!"Could not map timer device."); + return; + } + s->timerDev = ps_get_timer(TIMER_ID, &config); + + config.vaddr = ps_io_map(&io->opsIO.io_mapper, dm_timer_paddrs[TICK_ID], + 0x1000, false, PS_MEM_NORMAL); + config.irq = dm_timer_irqs[TICK_ID]; + if (!config.vaddr) { + ROS_ERROR("Could not map tick timer device."); + assert(!"Could not map tick timer device."); + return; + } + s->tickDev = ps_get_timer(TICK_ID, &config); + #elif defined(PLAT_PC99) s->timerDev = pit_get_timer(&io->opsIO.io_port_ops); diff --git a/impl/configs/bbone_debug_defconfig b/impl/configs/bbone_debug_defconfig new file mode 100644 index 0000000..67b1c4b --- /dev/null +++ b/impl/configs/bbone_debug_defconfig @@ -0,0 +1,158 @@ +# +# Automatically generated make config: don't edit +# Project Configuration +# Sat Feb 21 17:06:57 2015 +# + +# +# seL4 Kernel +# +# CONFIG_ARCH_ARM_V6 is not set +CONFIG_ARCH_ARM_V7A=y +CONFIG_KERNEL_STABLE=y + +# +# seL4 System +# +# CONFIG_ARCH_I386 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_EXYNOS54XX 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=20 +CONFIG_TIME_SLICE=5 +CONFIG_RETYPE_FAN_OUT_LIMIT=256 +CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION=100 +CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS=800 +CONFIG_FASTPATH=y +CONFIG_NUM_DOMAINS=1 +CONFIG_DOMAIN_SCHEDULE="" +CONFIG_NUM_PRIORITIES=256 +# CONFIG_BENCHMARK is not set +CONFIG_AEP_BINDING=y +# CONFIG_ALLOW_NULL_CSPACE 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 + +# +# Boot options +# + +# +# Errata +# +CONFIG_ARM_ERRATA_430973=y + +# +# seL4 Libraries +# +CONFIG_LIB_SEL4=y +# CONFIG_LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY is not set +CONFIG_LIB_ELFLOADER=y +CONFIG_ARM_ERRATA_764369=y +CONFIG_LIB_CPIO=y +CONFIG_LIB_DATA_STRUCT=y +CONFIG_LIB_ELF=y +CONFIG_LIB_MUSL_C=y +CONFIG_LIB_MUSL_C_USE_PREBUILT=y +CONFIG_HAVE_LIBC=y +CONFIG_LIB_SEL4_ALLOCMAN=y +CONFIG_LIB_SEL4_MUSLC_SYS=y +CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES=1600000 +CONFIG_LIB_SEL4_MUSLC_SYS_DEBUG_HALT=y +# CONFIG_LIB_SEL4_MUSLC_SYS_CPIO_FS is not set +# CONFIG_LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK is not set +CONFIG_LIB_SEL4_PLAT_SUPPORT=y +CONFIG_LIB_SEL4_PLAT_SUPPORT_USE_SEL4_DEBUG_PUTCHAR=y +CONFIG_LIB_SEL4_PLAT_SUPPORT_START=y +# CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START is not set +CONFIG_LIB_SEL4_SIMPLE=y +CONFIG_LIB_SEL4_SIMPLE_STABLE=y +CONFIG_LIB_SEL4_UTILS=y +CONFIG_SEL4UTILS_STACK_SIZE=65536 +CONFIG_SEL4UTILS_CSPACE_SIZE_BITS=12 +CONFIG_LIB_SEL4_VSPACE=y +CONFIG_LIB_SEL4_VKA=y +# CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS is not set +CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ=0 +CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ=0 +CONFIG_LIB_REFOS_SYS=y +# CONFIG_REFOS_SYS_FORCE_DEBUGPUTCHAR is not set +CONFIG_LIB_REFOS=y +CONFIG_LIB_UTILS=y +# CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set +CONFIG_LIB_VTERM=y +CONFIG_LIB_PLATSUPPORT=y + +# +# seL4 RefOS Applications +# +CONFIG_APP_PROCESS_SERVER=y +CONFIG_PROCSERV_INITIAL_MEM_SIZE=196608 +CONFIG_PROCSERV_MAX_VSPACES=64 +CONFIG_APP_SELF_LOADER=y +CONFIG_APP_FILE_SERVER=y +CONFIG_APP_CONSOLE_SERVER=y +CONFIG_APP_TIMER_SERVER=y +CONFIG_APP_TERMINAL=y +CONFIG_APP_TEST_OS=y +CONFIG_APP_TEST_USER=y +CONFIG_APP_TETRIS=y +CONFIG_APP_SNAKE=y +# CONFIG_APP_NETHACK is not set + +# +# seL4 RefOS Build Options +# +CONFIG_REFOS_DEBUG=y +# CONFIG_REFOS_DEBUG_VERBOSE is not set +# CONFIG_REFOS_RUN_TESTS is not set +CONFIG_REFOS_INIT_TASK="/fileserv/terminal" +CONFIG_REFOS_INIT_TASK_PRIO=50 +CONFIG_REFOS_ANSI_COLOUR_OUTPUT=y +# CONFIG_REFOS_HALT_ON_ERRNO is not set +CONFIG_REFOS_TIMEZONE="AEST-10" +CONFIG_REFOS_STDIO_DSPACE_SERIAL=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="" +CONFIG_USER_CFLAGS="" +CONFIG_BUILDSYS_USE_CCACHE=y +# 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 diff --git a/impl/configs/bbone_release_defconfig b/impl/configs/bbone_release_defconfig new file mode 100644 index 0000000..ca44901 --- /dev/null +++ b/impl/configs/bbone_release_defconfig @@ -0,0 +1,157 @@ +# +# Automatically generated make config: don't edit +# Project Configuration +# Sat Feb 28 17:39:19 2015 +# + +# +# seL4 Kernel +# +# CONFIG_ARCH_ARM_V6 is not set +CONFIG_ARCH_ARM_V7A=y +CONFIG_KERNEL_STABLE=y + +# +# seL4 System +# +# CONFIG_ARCH_I386 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_EXYNOS54XX 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=20 +CONFIG_TIME_SLICE=5 +CONFIG_RETYPE_FAN_OUT_LIMIT=256 +CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION=100 +CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS=800 +CONFIG_FASTPATH=y +CONFIG_NUM_DOMAINS=1 +CONFIG_DOMAIN_SCHEDULE="" +CONFIG_NUM_PRIORITIES=256 +# CONFIG_BENCHMARK is not set +CONFIG_AEP_BINDING=y +# CONFIG_ALLOW_NULL_CSPACE is not set + +# +# Build Options +# +# CONFIG_DEBUG_BUILD is not set +# 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 + +# +# Boot options +# + +# +# Errata +# +CONFIG_ARM_ERRATA_430973=y + +# +# seL4 Libraries +# +CONFIG_LIB_SEL4=y +# CONFIG_LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY is not set +CONFIG_LIB_ELFLOADER=y +CONFIG_ARM_ERRATA_764369=y +CONFIG_LIB_CPIO=y +CONFIG_LIB_DATA_STRUCT=y +CONFIG_LIB_ELF=y +CONFIG_LIB_MUSL_C=y +CONFIG_LIB_MUSL_C_USE_PREBUILT=y +CONFIG_HAVE_LIBC=y +CONFIG_LIB_SEL4_ALLOCMAN=y +CONFIG_LIB_SEL4_MUSLC_SYS=y +CONFIG_LIB_SEL4_MUSLC_SYS_MORECORE_BYTES=1600000 +CONFIG_LIB_SEL4_MUSLC_SYS_DEBUG_HALT=y +# CONFIG_LIB_SEL4_MUSLC_SYS_CPIO_FS is not set +# CONFIG_LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK is not set +CONFIG_LIB_SEL4_PLAT_SUPPORT=y +CONFIG_LIB_SEL4_PLAT_SUPPORT_START=y +# CONFIG_LIB_SEL4_PLAT_SUPPORT_SEL4_START is not set +CONFIG_LIB_SEL4_SIMPLE=y +CONFIG_LIB_SEL4_SIMPLE_STABLE=y +CONFIG_LIB_SEL4_UTILS=y +CONFIG_SEL4UTILS_STACK_SIZE=65536 +CONFIG_SEL4UTILS_CSPACE_SIZE_BITS=12 +# CONFIG_SEL4UTILS_PROFILE is not set +CONFIG_LIB_SEL4_VSPACE=y +CONFIG_LIB_SEL4_VKA=y +# CONFIG_LIB_VKA_ALLOW_MEMORY_LEAKS is not set +CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_SLOTS_SZ=0 +CONFIG_LIB_SEL4_VKA_DEBUG_LIVE_OBJS_SZ=0 +CONFIG_LIB_REFOS_SYS=y +# CONFIG_REFOS_SYS_FORCE_DEBUGPUTCHAR is not set +CONFIG_LIB_REFOS=y +CONFIG_LIB_UTILS=y +# CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set +CONFIG_LIB_VTERM=y +CONFIG_LIB_PLATSUPPORT=y + +# +# seL4 RefOS Applications +# +CONFIG_APP_PROCESS_SERVER=y +CONFIG_PROCSERV_INITIAL_MEM_SIZE=196608 +CONFIG_PROCSERV_MAX_VSPACES=64 +CONFIG_APP_SELF_LOADER=y +CONFIG_APP_FILE_SERVER=y +CONFIG_APP_CONSOLE_SERVER=y +CONFIG_APP_TIMER_SERVER=y +CONFIG_APP_TERMINAL=y +CONFIG_APP_TEST_OS=y +CONFIG_APP_TEST_USER=y +CONFIG_APP_TETRIS=y +CONFIG_APP_SNAKE=y +# CONFIG_APP_NETHACK is not set + +# +# seL4 RefOS Build Options +# +CONFIG_REFOS_DEBUG=y +# CONFIG_REFOS_DEBUG_VERBOSE is not set +# CONFIG_REFOS_RUN_TESTS is not set +CONFIG_REFOS_INIT_TASK="/fileserv/terminal" +CONFIG_REFOS_INIT_TASK_PRIO=50 +CONFIG_REFOS_ANSI_COLOUR_OUTPUT=y +# CONFIG_REFOS_HALT_ON_ERRNO is not set +CONFIG_REFOS_TIMEZONE="AEST-10" +CONFIG_REFOS_STDIO_DSPACE_SERIAL=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="" +CONFIG_USER_CFLAGS="" +CONFIG_BUILDSYS_USE_CCACHE=y +# 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
From 4cc1cd9d8d312327e5e18bec693b5474c9725fd6 Mon Sep 17 00:00:00 2001 From: Tim Newsham <[email protected]> Date: Sat, 28 Feb 2015 15:18:38 -1000 Subject: [PATCH] - update configs for beaglebone --- master-configs/bbone_debug_xml_defconfig | 8 +- master-configs/bbone_release_xml_defconfig | 135 +++++++++++++++++++++++++++++ 2 files changed, 139 insertions(+), 4 deletions(-) create mode 100644 master-configs/bbone_release_xml_defconfig diff --git a/master-configs/bbone_debug_xml_defconfig b/master-configs/bbone_debug_xml_defconfig index 90e03a7..2f33334 100644 --- a/master-configs/bbone_debug_xml_defconfig +++ b/master-configs/bbone_debug_xml_defconfig @@ -1,7 +1,7 @@ # # Automatically generated make config: don't edit # Project Configuration -# Wed Sep 10 15:06:14 2014 +# Sat Feb 28 14:54:34 2015 # # @@ -14,14 +14,15 @@ 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_EXYNOS54XX is not set # CONFIG_PLAT_OMAP3 is not set CONFIG_PLAT_AM335X=y +# CONFIG_EXPORT_PMU_USER is not set # # seL4 System Parameters @@ -90,6 +91,7 @@ CONFIG_LIB_ELF=y CONFIG_LIB_SEL4_UTILS=y CONFIG_SEL4UTILS_STACK_SIZE=65536 CONFIG_SEL4UTILS_CSPACE_SIZE_BITS=17 +# CONFIG_SEL4UTILS_PROFILE is not set 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 @@ -123,8 +125,6 @@ CONFIG_KERNEL_EXTRA_CPPFLAGS="" 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 diff --git a/master-configs/bbone_release_xml_defconfig b/master-configs/bbone_release_xml_defconfig new file mode 100644 index 0000000..ac8fcbb --- /dev/null +++ b/master-configs/bbone_release_xml_defconfig @@ -0,0 +1,135 @@ +# +# Automatically generated make config: don't edit +# Project Configuration +# Sat Feb 28 14:58:22 2015 +# + +# +# seL4 Kernel +# +# CONFIG_ARCH_ARM_V6 is not set +CONFIG_ARCH_ARM_V7A=y + +# +# seL4 System +# +# CONFIG_ARCH_I386 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_EXYNOS54XX is not set +# CONFIG_PLAT_OMAP3 is not set +CONFIG_PLAT_AM335X=y +# CONFIG_EXPORT_PMU_USER is not set + +# +# 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 is not set +# 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_SEL4UTILS_PROFILE is not set +CONFIG_LIB_SEL4_PLAT_SUPPORT=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_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
