Use interval timer in posix port for valgrind #680
kernel-demos.yml
on: push
WIN32 MSVC
3m 16s
WIN32 MingW
3m 0s
Native GCC
1m 18s
CMake Example with Native GCC
21s
GNU MSP430 Toolchain
1m 19s
GNU ARM Toolchain
52s