Browsing: real-time operating systems