#include "os.h" #include "config.h" void wait(int timesec) { sleep(timesec); } /*void wait(int timesec) { volatile i; for(i=0;i>1; mask=mask>>1; } return data; } int nbbits(unsigned int mask) { int n=0; while(mask) { if(mask&0b1) n++; mask=mask>>1; } return n; }