o Seemingly working Mutexes.

o Dropping the privileged/unprivileged split for now.

4 files changed, 0 insertions, 450 deletions

diff --git a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/StartupScript.scr b/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/StartupScript.scr
deleted file mode 100644
index e3dbe23..0000000
--- a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/StartupScript.scr
+++ /dev/null
@@ -1,9 +0,0 @@
-// Hitex/Lue/11.02.2008 
-// Executable Script file for HiTOP Debugger
-// Reset application 
-
-// Reset    
-RESET TARGET
-
-
-
diff --git a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/arm_arch.lsl b/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/arm_arch.lsl
deleted file mode 100644
index 3e6d303..0000000
--- a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/arm_arch.lsl
+++ /dev/null
@@ -1,287 +0,0 @@
-////////////////////////////////////////////////////////////////////////////
-//
-//  File        :  arm_arch.lsl
-//
-//  Version     :  @(#)arm_arch.lsl     1.4  09/04/17
-//
-//  Description :  Generic LSL file for ARM architectures
-//
-//  Copyright 2008-2009 Altium BV
-//
-////////////////////////////////////////////////////////////////////////////
-
-#ifndef __STACK
-#  define __STACK                       32k
-#endif
-#ifndef __HEAP
-#  define __HEAP                        32k
-#endif
-#ifndef __STACK_FIQ
-#  define __STACK_FIQ                   8
-#endif
-#ifndef __STACK_IRQ
-#  define __STACK_IRQ                   8
-#endif
-#ifndef __STACK_SVC
-#  define __STACK_SVC                   8
-#endif
-#ifndef __STACK_ABT
-#  define __STACK_ABT                   8
-#endif
-#ifndef __STACK_UND
-#  define __STACK_UND                   8
-#endif
-#ifndef __PROCESSOR_MODE
-#  define __PROCESSOR_MODE              0x1F            /* SYS mode */
-#endif
-#ifndef __IRQ_BIT
-#  define __IRQ_BIT                     0x80            /* IRQ interrupts disabled */
-#endif
-#ifndef __FIQ_BIT
-#  define __FIQ_BIT                     0x40            /* FIQ interrupts disabled */
-#endif
-
-#define __APPLICATION_MODE              (__PROCESSOR_MODE | __IRQ_BIT | __FIQ_BIT)
-
-#ifndef __VECTOR_TABLE_ROM_ADDR
-#  define __VECTOR_TABLE_ROM_ADDR       0x00000000
-#endif
-
-#ifndef __VECTOR_TABLE_RAM_ADDR
-#  define __VECTOR_TABLE_RAM_ADDR       0x00000000
-#endif
-
-#if defined(__CPU_ARMV7M__) || defined(__CPU_ARMV6M__)
-#  ifndef __NR_OF_VECTORS
-#    define __NR_OF_VECTORS             16
-#  endif
-#  define __VECTOR_TABLE_SIZE           (__NR_OF_VECTORS * 4)
-#else
-#  ifdef __PIC_VECTORS
-#    define __VECTOR_TABLE_SIZE         64
-#  else
-#    ifdef __FIQ_HANDLER_INLINE
-#      define __VECTOR_TABLE_SIZE       28
-#      define __NR_OF_VECTORS           7
-#    else
-#      define __VECTOR_TABLE_SIZE       32
-#      define __NR_OF_VECTORS           8
-#    endif
-#  endif
-#endif
-
-#ifndef __VECTOR_TABLE_RAM_SPACE
-#  undef __VECTOR_TABLE_RAM_COPY
-#endif
-
-#ifndef __XVWBUF
-#  define __XVWBUF                      0               /* buffer used by CrossView Pro */
-#endif
-
-#define BOUNDS_GROUP_NAME       grp_bounds
-#define BOUNDS_GROUP_SELECT     "bounds"
-
-architecture ARM
-{
-        endianness
-        {
-                little;
-                big;
-        }
-
-        space linear
-        {
-                id = 1;
-                mau = 8;
-                map (size = 4G, dest = bus:local_bus);
-
-                copytable
-                (
-                        align = 4,
-                        copy_unit = 1,
-                        dest = linear
-                );
-
-                start_address
-                (
-                        // It is not strictly necessary to define a run_addr for _START
-                        // because hardware starts execution at address 0x0 which should
-                        // be the vector table with a jump to the relocatable _START, but
-                        // an absolute address can prevent the branch to be out-of-range.
-                        // Or _START may be the entry point at reset and the reset handler
-                        // copies the vector table to address 0x0 after some ROM/RAM memory
-                        // re-mapping. In that case _START should be at a fixed address
-                        // in ROM, specifically the alias of address 0x0 before memory
-                        // re-mapping.
-#ifdef __START
-                        run_addr = __START,
-#endif
-                        symbol = "_START"
-                );
-
-                stack "stack"
-                (
-#ifdef __STACK_FIXED
-                        fixed,
-#endif
-                        align = 4,
-                        min_size = __STACK,
-                        grows = high_to_low
-                );
-
-                heap "heap"
-                (
-#ifdef __HEAP_FIXED
-                        fixed,
-#endif
-                        align = 4,
-                        min_size=__HEAP
-                );
-
-#if !defined(__CPU_ARMV7M__) && !defined(__CPU_ARMV6M__)
-                stack "stack_fiq"
-                (
-                        fixed,
-                        align = 4,
-                        min_size = __STACK_FIQ,
-                        grows = high_to_low
-                );
-                stack "stack_irq"
-                (
-                        fixed,
-                        align = 4,
-                        min_size = __STACK_IRQ,
-                        grows = high_to_low
-                );
-                stack "stack_svc"
-                (
-                        fixed,
-                        align = 4,
-                        min_size = __STACK_SVC,
-                        grows = high_to_low
-                );
-                stack "stack_abt"
-                (
-                        fixed,
-                        align = 4,
-                        min_size = __STACK_ABT,
-                        grows = high_to_low
-                );
-                stack "stack_und"
-                (
-                        fixed,
-                        align = 4,
-                        min_size = __STACK_UND,
-                        grows = high_to_low
-                );
-#endif
-
-#if !defined(__NO_AUTO_VECTORS) && !defined(__NO_DEFAULT_AUTO_VECTORS)
-# if defined(__CPU_ARMV7M__) || defined(__CPU_ARMV6M__)
-                // vector table with handler addresses
-                vector_table "vector_table" ( vector_size = 4, size = __NR_OF_VECTORS, run_addr = __VECTOR_TABLE_ROM_ADDR,
-                                              template = ".text.handler_address",
-                                              template_symbol = "_lc_vector_handler",
-                                              vector_prefix = "_vector_",
-                                              fill = loop,
-                                              no_inline
-                                            )
-                {
-                        vector ( id = 0, fill = "_START" ); // FIXME: "_lc_ub_stack" does not work
-                        vector ( id = 1, fill = "_START" );
-                }
-#  else
-#    ifdef __PIC_VECTORS
-                // vector table with ldrpc instructions from handler table
-                vector_table "vector_table" ( vector_size = 4, size = 8, run_addr = __VECTOR_TABLE_ROM_ADDR,
-                                              template = ".text.vector_ldrpc",
-                                              template_symbol = "_lc_vector_ldrpc",
-                                              vector_prefix = "_vector_ldrpc_",
-                                              fill = loop
-                                            )
-                {
-                }
-                // subsequent vector table (data pool) with addresses of handlers
-                vector_table "handler_table" ( vector_size = 4, size = 8, run_addr = __VECTOR_TABLE_ROM_ADDR + 32,
-                                               template = ".text.handler_address",
-                                               template_symbol = "_lc_vector_handler",
-                                               vector_prefix = "_vector_",
-                                               fill = loop[-32],
-                                               no_inline
-                                             )
-                {
-                        vector ( id = 0, fill = "_START" );
-                }
-#    else
-                // vector table with branch instructions to handlers
-                vector_table "vector_table" ( vector_size = 4, size = __NR_OF_VECTORS, run_addr = __VECTOR_TABLE_ROM_ADDR,
-                                              template = ".text.vector_branch",
-                                              template_symbol = "_lc_vector_handler",
-                                              vector_prefix = "_vector_",
-                                              fill = loop
-                                            )
-                {
-                        vector ( id = 0, fill = "_START" );
-                }
-#    endif
-#  endif
-#endif
-                section_layout
-                {
-#if defined(__NO_AUTO_VECTORS)
-                        "_lc_ub_vector_table" = __VECTOR_TABLE_ROM_ADDR;
-                        "_lc_ue_vector_table" = __VECTOR_TABLE_ROM_ADDR + __VECTOR_TABLE_SIZE;
-#endif
-#ifdef __VECTOR_TABLE_RAM_SPACE
-                        // reserve space to copy vector table from ROM to RAM
-                        group ( ordered, run_addr = __VECTOR_TABLE_RAM_ADDR )
-                                reserved "vector_table_space" ( size = __VECTOR_TABLE_SIZE, attributes = rwx );
-#endif
-#ifdef __VECTOR_TABLE_RAM_COPY
-                        // provide copy address symbols for copy routine
-                        "_lc_ub_vector_table_copy" := "_lc_ub_vector_table_space";
-                        "_lc_ue_vector_table_copy" := "_lc_ue_vector_table_space";
-#else
-                        // prevent copy: copy address equals orig address
-                        "_lc_ub_vector_table_copy" := "_lc_ub_vector_table";
-                        "_lc_ue_vector_table_copy" := "_lc_ue_vector_table";
-#endif
-                        // define buffer for string input via Crossview Pro debugger
-                        group ( align = 4 ) reserved "xvwbuffer"  (size=__XVWBUF, attributes=rw );
-
-                        // define labels for bounds begin and end as used in C library
-#ifndef BOUNDS_GROUP_REDEFINED
-                        group BOUNDS_GROUP_NAME (ordered, contiguous)
-                        {
-                                select BOUNDS_GROUP_SELECT;
-                        }
-#endif
-                        "_lc_ub_bounds" := addressof(group:BOUNDS_GROUP_NAME);
-                        "_lc_ue_bounds" := addressof(group:BOUNDS_GROUP_NAME) + sizeof(group:BOUNDS_GROUP_NAME);
-
-#ifdef __HEAPADDR
-                        group ( ordered, run_addr=__HEAPADDR )
-                        {
-                                select "heap";
-                        }
-#endif
-#ifdef __STACKADDR
-                        group ( ordered, run_addr=__STACKADDR )
-                        {
-                                select "stack";
-                        }
-#endif
-#if !defined(__CPU_ARMV7M__) && !defined(__CPU_ARMV6M__)
-                        // symbol to set mode bits and interrupt disable bits
-                        // in cstart module before calling the application (main)
-                        "_APPLICATION_MODE_" = __APPLICATION_MODE;
-#endif
-                }
-        }
-
-        bus local_bus
-        {
-                mau = 8;
-                width = 32;
-        }
-}
diff --git a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/reset_appl.scr b/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/reset_appl.scr
deleted file mode 100644
index d90eb15..0000000
--- a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/reset_appl.scr
+++ /dev/null
@@ -1,8 +0,0 @@
-// Hitex/Lue/11.02.2008 
-// Executable Script file for HiTOP Debugger
-// Reset application 
-
-// Reset    
-RESET TARGET
-
-
diff --git a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/stm32f10x_MD_VL.lsl b/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/stm32f10x_MD_VL.lsl
deleted file mode 100644
index cabbd2d..0000000
--- a/tmp/STM32F10x_StdPeriph_Lib_V3.5.0/Project/STM32F10x_StdPeriph_Template/HiTOP/STM32100B-EVAL/Settings/stm32f10x_MD_VL.lsl
+++ /dev/null
@@ -1,146 +0,0 @@
-////////////////////////////////////////////////////////////////////////////
-//
-//  File        :  stm32f10x_MD_VL.lsl
-//
-//  Version     :  @(#)stm32f10x_MD_VL.lsl      1.2  19/02/2010
-//
-//  Description :  LSL file for the STMicroelectronics STM32F100VB, CMSIS version
-//
-//  COPYRIGHT 2010 STMicroelectronics   
-//
-//  NOTE:
-//      It is assumed that the user works with the ARMv7M architecture.
-//      Other architectures will not work with this lsl file.
-//
-////////////////////////////////////////////////////////////////////////////
-
-//
-// We do not want the vectors as defined in arm_arch.lsl
-//
-#define __NO_DEFAULT_AUTO_VECTORS       1
-#define __NR_OF_VECTORS                 72
-
-
-#ifndef __STACK
-#  define __STACK                       1k
-#endif
-#ifndef __HEAP
-#  define __HEAP                        1k
-#endif
-#ifndef __VECTOR_TABLE_ROM_ADDR
-#  define __VECTOR_TABLE_ROM_ADDR       0x08000000
-#endif
-#ifndef __XVWBUF
-#define __XVWBUF                        256             /* buffer used by CrossView */
-#endif
-
-
-#include <arm_arch.lsl>
-
-////////////////////////////////////////////////////////////////////////////
-//
-// In the STM32F10x, 3 different boot modes can be selected
-// - User Flash memory is selected as boot space
-// - SystemMemory is selected as boot space
-// - Embedded SRAM is selected as boot space
-//
-// This aliases the physical memory associated with each boot mode to Block
-// 000 (0x00000000 boot memory). Even when aliased in the boot memory space,
-// the related memory (Flash memory or SRAM) is still accessible at its
-// original memory space.
-//
-// If no memory is defined yet use the following memory settings
-//
-#ifndef __MEMORY
-
-memory stm32f103flash
-{
-    mau = 8;
-    type = rom;
-    size = 128k;
-    map ( size = 128k, dest_offset=0x08000000, dest=bus:ARM:local_bus);
-}
-
-memory stm32f103ram
-{
-    mau = 8;
-    type = ram;
-    size = 8k;
-    map ( size = 8k, dest_offset=0x20000000, dest=bus:ARM:local_bus);
-}
-
-#endif /* __MEMORY */
-
-
-//
-// Custom vector table defines interrupts according to CMSIS standard
-//
-# if defined(__CPU_ARMV7M__)
-section_setup ::linear
-{
-                // vector table with handler addresses
-                vector_table "vector_table" ( vector_size = 4, size = __NR_OF_VECTORS, run_addr = __VECTOR_TABLE_ROM_ADDR,
-                                              template = ".text.handler_address",
-                                              template_symbol = "_lc_vector_handler",
-                                              vector_prefix = "_vector_",
-                                              fill = loop,
-                                              no_inline
-                                            )
-                {
-                        vector ( id = 0, fill = "_START" ); // FIXME: "_lc_ub_stack" does not work
-                        vector ( id = 1, fill = "_START" );
-                        vector ( id = 2, optional, fill = "NMI_Handler" );
-                        vector ( id = 3, optional, fill = "HardFault_Handler" );
-                        vector ( id = 4, optional, fill = "MemManage_Handler" );
-                        vector ( id = 5, optional, fill = "BusFault_Handler" );
-                        vector ( id = 6, optional, fill = "UsageFault_Handler" );
-                        vector ( id = 11, optional, fill = "SVC_Handler" );
-                        vector ( id = 12, optional, fill = "DebugMon_Handler" );
-                        vector ( id = 14, optional, fill = "PendSV_Handler" );
-                        vector ( id = 15, optional, fill = "SysTick_Handler" );
-
-                        // External Interrupts :
-                        vector ( id = 16, optional, fill = "WWDG_IRQHandler" );                 // Window Watchdog
-                        vector ( id = 17, optional, fill = "PVD_IRQHandler" );                  // PVD through EXTI Line detect
-                        vector ( id = 18, optional, fill = "TAMPER_IRQHandler" );               // Tamper
-                        vector ( id = 19, optional, fill = "RTC_IRQHandler" );                  // RTC
-                        vector ( id = 20, optional, fill = "FLASH_IRQHandler" );                // Flash
-                        vector ( id = 21, optional, fill = "RCC_IRQHandler" );                  // RCC
-                        vector ( id = 22, optional, fill = "EXTI0_IRQHandler" );                // EXTI Line 0
-                        vector ( id = 23, optional, fill = "EXTI1_IRQHandler" );                // EXTI Line 1
-                        vector ( id = 24, optional, fill = "EXTI2_IRQHandler" );                // EXTI Line 2
-                        vector ( id = 25, optional, fill = "EXTI3_IRQHandler" );                // EXTI Line 3
-                        vector ( id = 26, optional, fill = "EXTI4_IRQHandler" );                // EXTI Line 4
-                        vector ( id = 27, optional, fill = "DMA1_Channel1_IRQHandler" );        // DMA Channel 1
-                        vector ( id = 28, optional, fill = "DMA1_Channel2_IRQHandler" );        // DMA Channel 2
-                        vector ( id = 29, optional, fill = "DMA1_Channel3_IRQHandler" );        // DMA Channel 3
-                        vector ( id = 30, optional, fill = "DMA1_Channel4_IRQHandler" );        // DMA Channel 4
-                        vector ( id = 31, optional, fill = "DMA1_Channel5_IRQHandler" );        // DMA Channel 5
-                        vector ( id = 32, optional, fill = "DMA1_Channel6_IRQHandler" );        // DMA Channel 6
-                        vector ( id = 33, optional, fill = "DMA1_Channel7_IRQHandler" );        // DMA Channel 7
-                        vector ( id = 34, optional, fill = "ADC1_IRQHandler" );                 // ADC1                        
-                        vector ( id = 39, optional, fill = "EXTI9_5_IRQHandler" );              // EXTI Line 9..5
-                        vector ( id = 40, optional, fill = "TIM1_BRK_TIM15_IRQHandler" );       // TIM1 Break and TIM15
-                        vector ( id = 41, optional, fill = "TIM1_UP_TIM16_IRQHandler" );       // TIM1 Update and TIM16
-                        vector ( id = 42, optional, fill = "TIM1_TRG_COM_TIM17_IRQHandler" );   // TIM1 Trigger and Commutation and TIM17
-                        vector ( id = 43, optional, fill = "TIM1_CC_IRQHandler" );              // TIM1 Capture Compare
-                        vector ( id = 44, optional, fill = "TIM2_IRQHandler" );                 // TIM2
-                        vector ( id = 45, optional, fill = "TIM3_IRQHandler" );                 // TIM3
-                        vector ( id = 46, optional, fill = "TIM4_IRQHandler" );                 // TIM4
-                        vector ( id = 47, optional, fill = "I2C1_EV_IRQHandler" );              // I2C1 Event
-                        vector ( id = 48, optional, fill = "I2C1_ER_IRQHandler" );              // I2C1 Error
-                        vector ( id = 49, optional, fill = "I2C2_EV_IRQHandler" );              // I2C2 Event
-                        vector ( id = 50, optional, fill = "I2C2_ER_IRQHandler" );              // I2C2 Error
-                        vector ( id = 51, optional, fill = "SPI1_IRQHandler" );                 // SPI1
-                        vector ( id = 52, optional, fill = "SPI2_IRQHandler" );                 // SPI2
-                        vector ( id = 53, optional, fill = "USART1_IRQHandler" );               // USART1
-                        vector ( id = 54, optional, fill = "USART2_IRQHandler" );               // USART2
-                        vector ( id = 55, optional, fill = "USART3_IRQHandler" );               // USART3
-                        vector ( id = 56, optional, fill = "EXTI15_10_IRQHandler" );            // EXTI Line 15..10
-                        vector ( id = 57, optional, fill = "RTCAlarm_IRQHandler" );             // RTC Alarm through EXTI Line
-                        vector ( id = 58, optional, fill = "CEC_IRQHandler" );                  // HDMI-CEC                   
-                        vector ( id = 70, optional, fill = "TIM6_DAC_IRQHandler" );             // TIM6 and DAC underrun
-                        vector ( id = 71, optional, fill = "TIM7_IRQHandler" );                 // TIM7
-                }
-}
-# endif