@picokernel: Have you considered