Solo5, Albatross For Unikernel Deployment

Has anybody experience with using Solo5 for building a unikernel for Xen?