Optimize the i8259 emit to reduce amount of IPCs generated
Configure timer badges correctly
Rewrite Echo component to use LWIP and actually support UDP echo