Use aries kernel