diff options
author | Jan-Marek Glogowski <glogow@fbihome.de> | 2017-08-08 15:02:52 +0200 |
---|---|---|
committer | Jan-Marek Glogowski <glogow@fbihome.de> | 2017-08-22 10:51:35 +0200 |
commit | 3b9a535ee41e85fd30381432b245252d1e97b8f9 (patch) | |
tree | a8448c8f27b58f1352ab3aa42c00b2b38659b9ad /tools | |
parent | 68fda058972a6fbb38b797f50575b84f4cb3fab1 (diff) |
The scheduler timer starts without SolarMutex
The backend is resposible to correctly start the timer.
Otherwise you can't start new Tasks without the SolarMutex.
Change-Id: I4e066fceb513d0de90b58854baf3e45f2b8ff25b
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions