Use interval timer in posix port for valgrind #683
kernel-demos.yml
on: push
WIN32 MSVC
3m 11s
WIN32 MingW
3m 29s
Native GCC
1m 16s
CMake Example with Native GCC
1m 13s
GNU MSP430 Toolchain
1m 42s
GNU ARM Toolchain
1m 3s