11 create_driver grtos_driver
14 set_sw_property hw_class_name grtos
17 set_sw_property display_name "GeMRTOS Controller 0.9"
20 set_sw_property version 0.9
29 set_sw_property min_compatible_hw_version 0.0
32 set_sw_property auto_initialize true
36 set_sw_property irq_auto_initialize true
39 set_sw_property bsp_subdirectory drivers
42 set_sw_property callback_source_file callbacks.tcl
43 set_sw_property initialization_callback initialize
44 set_sw_property generation_callback generate
45 set_sw_property validation_callback validate
53 set_sw_property isr_preemption_supported true
54 set_sw_property supported_interrupt_apis "legacy_interrupt_api enhanced_interrupt_api"
61 add_sw_property c_source HAL/src/gemrtos_core.c
63 add_sw_property c_source HAL/src/listfunctions.c
64 add_sw_property c_source HAL/src/grtos_kernel.c
65 add_sw_property c_source HAL/src/monitor.c
66 add_sw_property c_source HAL/src/grtosuserfunctions.c
69 add_sw_property c_source HAL/src/mq.c
70 add_sw_property c_source HAL/src/sem.c
73 add_sw_property asm_source HAL/src/grtos_switch.S
76 add_sw_property include_source inc/grtos_regs.h
77 add_sw_property include_source HAL/inc/gemrtos_core.h
79 add_sw_property include_source HAL/inc/grtos.h
80 add_sw_property include_source HAL/inc/grtosdefinitions.h
83 add_sw_property include_source HAL/inc/mq.h
84 add_sw_property include_source HAL/inc/sem.h
109 add_sw_setting decimal_number system_h_define system.timer_task_priority OS_TIMER_TASK_PRIORITY 5 "Sets the priority of the software timer service/daemon task. See the FreeRTOS software timers page for a full description."
118 add_sw_setting boolean_define_only system_h_define gemrtos.semaphore GRTOS_INCLUDE_SEMAPHORE 1 "Set to include semaphore support to GeMRTOS."
120 add_sw_setting boolean system_h_define gemrtos.message_queue GRTOS_INCLUDE_MESSAGE_QUEUE 1 "Set to include message queue support to GeMRTOS."
131 add_sw_property supported_bsp_type HAL