l4/pkg/omega0/lib/emul
