It looks like cedet needs for normal booting.