ws = get_default_waitset();
DEBUG("SFN5122F enter event loop \n");
while (1) {
- event_dispatch(ws);
+ if (use_interrupt) {
+ event_dispatch(ws);
+ } else {
+ networking_poll();
+ }
}
}
int main(int argc, char** argv)
{
+ //barrelfish_usleep(10*1000*1000);
DEBUG("SFN5122F driver started \n");
errval_t err;