Voltage Scheduling Applied to the μITRON Operating System for a Variable Voltage Processor