diff --git a/servers/rs/main.c b/servers/rs/main.c index c201d0eb6..7808c380d 100644 --- a/servers/rs/main.c +++ b/servers/rs/main.c @@ -82,7 +82,8 @@ PUBLIC int main(void) * Handle the request and send a reply to the caller. */ else { - if (call_nr < RS_RQ_BASE || call_nr >= RS_RQ_BASE+0x100) + if (call_nr != GETSYSINFO && + (call_nr < RS_RQ_BASE || call_nr >= RS_RQ_BASE+0x100)) { /* Ignore invalid requests. Do not try to reply. */ printf("RS: got invalid request %d from endpoint %d\n",