It's not abandoned AFAIK, it's a small team that does consulting and they have to prioritise work for customers. When that coincides with Ling they can make progress. I've heard this from more than one unikernel/LibOS project.