BeRTOS
kernel_footprint.h
Go to the documentation of this file.
00001 
00041 #ifndef BENCHMARK_KERNEL_FOOTPRINT_H
00042 #define BENCHMARK_KERNEL_FOOTPRINT_H
00043 
00044 void kernel_footprint(void);
00045 
00046 #endif /* BENCHMARK_KERNEL_FOOTPRINT_H */