A Linux Real-Time Packet Scheduler for Reliable Static SDN Routing