system/core repo for AOSTE