Linux on DeX apparently is based on LXC/LXD?

According to
it appears that Linux on DeX is based on LXC or LXD.

  1. The package name is which includes lxd.
  2. A user, Dragon5232, says It’s an LXC container that can run alongside basic Android services. It’s the same kernel, not hypervised (although technically the kernel is hypervised by the TEE running in the TrustZone).

More on Linux on DeX,