Distributed AIOS