update hal plugin, add a hal scheduler and a redis pub/sub external gateway