Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
.splintrc
README.md
tpl_as_memmap.h
tpl_compiler.h
tpl_config_check.h
tpl_config_def.h
tpl_dispatch_table.h
tpl_machine_interface.h
tpl_memmap.h
tpl_os_action.c
tpl_os_action.h
tpl_os_alarm.h
tpl_os_alarm_kernel.c
tpl_os_alarm_kernel.h
tpl_os_application_def.h
tpl_os_custom_types.h
tpl_os_definitions.h
tpl_os_error.c
tpl_os_error.h
tpl_os_errorhook.h
tpl_os_event.h
tpl_os_event_kernel.c
tpl_os_event_kernel.h
tpl_os_hooks.h
tpl_os_internal_types.h
tpl_os_interrupt.h
tpl_os_interrupt_kernel.c
tpl_os_interrupt_kernel.h
tpl_os_kernel.c
tpl_os_kernel.h
tpl_os_mem_prot.h
tpl_os_multicore.h
tpl_os_multicore_error.h
tpl_os_multicore_kernel.c
tpl_os_multicore_kernel.h
tpl_os_multicore_macros.h
tpl_os_os.c
tpl_os_os.h
tpl_os_os_kernel.c
tpl_os_os_kernel.h
tpl_os_resource.h
tpl_os_resource_kernel.c
tpl_os_resource_kernel.h
tpl_os_semaphore.h
tpl_os_semaphore_kernel.c
tpl_os_semaphore_kernel.h
tpl_os_stm.c
tpl_os_stm.h
tpl_os_stm_internal_types.h
tpl_os_stm_kernel.c
tpl_os_stm_kernel.h
tpl_os_stm_types.h
tpl_os_task.h
tpl_os_task_kernel.c
tpl_os_task_kernel.h
tpl_os_timeobj_kernel.c
tpl_os_timeobj_kernel.h
tpl_os_types.h
tpl_trace.c
tpl_trace.h

README.md

os directory - kernel and OSEK services

This directory contains kernel functions and OSEK kernel services

  • tpl_as_memmap.h: wrapper for memory mapping of assembly source code
  • tpl_compiler.h: wrapper for compiler dependant macro and default definition for POSIX
  • tpl_config_check.h: macros to check the configuration is ok
  • tpl_config_def.h: macros related to the target platform
  • tpl_dispatch_table.h: declaration of the dispatch table
  • tpl_os_kernel.*: low level kernel functions and scheduler