What are the trade-offs between using a real-time operating system (RTOS) versus a standard Linux kernel for autonomous applications?