o Seemingly working Mutexes.

o Dropping the privileged/unprivileged split for now.

1 files changed, 0 insertions, 146 deletions

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