kernelfiles :: [FilePath]
kernelfiles =
  [ "freertos-sources/list.c"
  , "freertos-sources/queue.c"
  , "freertos-sources/tasks.c"
  , "freertos-sources/timers.c"
  , "freertos-sources/include/FreeRTOS.h"
  , "freertos-sources/include/StackMacros.h"
  , "freertos-sources/include/list.h"
  , "freertos-sources/include/mpu_wrappers.h"
  , "freertos-sources/include/portable.h"
  , "freertos-sources/include/projdefs.h"
  , "freertos-sources/include/queue.h"
  , "freertos-sources/include/semphr.h"
  , "freertos-sources/include/task.h"
  , "freertos-sources/include/timers.h"
  , "freertos-sources/include/deprecated_definitions.h"
  , "freertos-sources/portable/GCC/ARM_CM4F/port.c"
  , "freertos-sources/portable/GCC/ARM_CM4F/portmacro.h"
  , "freertos-sources/portable/MemMang/heap_1.c"
  , "syscalls/assert.h"
  , "syscalls/syscalls.c"
  ]
kernelfiles :: [FilePath]
kernelfiles =
  [ "freertos-sources/list.c"
  , "freertos-sources/queue.c"
  , "freertos-sources/tasks.c"
  , "freertos-sources/timers.c"
  , "freertos-sources/include/FreeRTOS.h"
  , "freertos-sources/include/StackMacros.h"
  , "freertos-sources/include/list.h"
  , "freertos-sources/include/mpu_wrappers.h"
  , "freertos-sources/include/portable.h"
  , "freertos-sources/include/projdefs.h"
  , "freertos-sources/include/queue.h"
  , "freertos-sources/include/semphr.h"
  , "freertos-sources/include/task.h"
  , "freertos-sources/include/timers.h"
  , "freertos-sources/include/deprecated_definitions.h"
  , "freertos-sources/portable/GCC/ARM_CM4F/port.c"
  , "freertos-sources/portable/GCC/ARM_CM4F/portmacro.h"
  , "freertos-sources/portable/MemMang/heap_1.c"
  , "syscalls/assert.h"
  , "syscalls/syscalls.c"
  ]
kernelfiles =
  [ "freertos-sources/list.c"
  , "freertos-sources/queue.c"
  , "freertos-sources/tasks.c"
  , "freertos-sources/timers.c"
  , "freertos-sources/include/FreeRTOS.h"
  , "freertos-sources/include/StackMacros.h"
  , "freertos-sources/include/list.h"
  , "freertos-sources/include/mpu_wrappers.h"
  , "freertos-sources/include/portable.h"
  , "freertos-sources/include/projdefs.h"
  , "freertos-sources/include/queue.h"
  , "freertos-sources/include/semphr.h"
  , "freertos-sources/include/task.h"
  , "freertos-sources/include/timers.h"
  , "freertos-sources/include/deprecated_definitions.h"
  , "freertos-sources/portable/GCC/ARM_CM4F/port.c"
  , "freertos-sources/portable/GCC/ARM_CM4F/portmacro.h"
  , "freertos-sources/portable/MemMang/heap_1.c"
  , "syscalls/assert.h"
  , "syscalls/syscalls.c"
  ]