After reading first couple of paragraph of this paper, Wireguard (https://www.wireguard.com https://www.wireguard.com) comes to mind. Then, they mentioned a re

After reading first couple of paragraph of this paper, Wireguard (https://www.wireguard.com https://www.wireguard.com) comes to mind. Then, they mentioned a research OS called Ethos (which seems to be defunct now). Did they figure out a more mainstream implementation?