viengoos/ager.h


1
2
3
4
5
6
7
8
9

#ifndef VIENGOOS_AGER_H
#define VIENGOOS_AGER_H

#include <l4/thread.h>

/* The ager thread.  */
void ager_loop (void);

#endif