Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP