[$] The runtime verification subsystem

The realtime project has been the source of many of theinnovations that have found their way into the core kernel in the lastfifteen years or so. There is more to it than that, though; the wider realtimecommunity is also doing interesting work in a number of areas that go beyond ensuring deterministicresponse. One example is Daniel Bristot de Oliveira's runtimeverification patch set, which can monitor the kernel to ensure that itis behaving the way one thinks it should.