Common files for EbbRT implementations