personal contrib directory for SESA/EbbRT