Hardware/software partitioning of operating systems: a behavioral synthesis approach