1.1 - One active profiler per one thread.
#include "kernel/profiler.h" #include "kernel/threadserver.h" #include "kernel/timeserver.h" #include "kernel/kernelserver.h" #include "kernel/env.h" #include "kernel/mathlib.h"
#include "kernel/profiler.h"
#include "kernel/threadserver.h"
#include "kernel/timeserver.h"
#include "kernel/kernelserver.h"
#include "kernel/env.h"
#include "kernel/mathlib.h"