ASL 4 Virtualization Notes
 Supported Virtualization Technologies
ASL 4 is designed to work with the following Virtualization technologies:
This means that you can run ASL on a virtualized machines using these technologies. The following article defines the levels of feature support as follows:
- Full Support: All ASL features will work
- Built in Virtualization: All ASL features will work, plus ASL can act as a virtualization host.
- Supported and works with: All ASL features will work, except for features in the ASL kernel. These technologies either do not allow the replacement of the kernel (VPS) or do not work with the ASL kernel (Xen). You can not install or use the ASL kernel with these technologies.
- Beta Support: All ASL features should work, however this should be consider a beta. These features are in testing, and following testing will be rolled into the supported builds.
 Full Support
All Features work.
ASL has full support for the following virtualization technologies:
You can install ASL and the ASL kernel inside virtualized guests using these technologies, and all the features will work.
Older versions of KVM that were included with RHEL 5 and Centos 5 do not support the newer 3.x kernels with Centos 5 and RHEL 5 virtual machines, therefore if you experience issues booting with these older KVM technologies and Centos 5 and RHEL 5 virtual machines use the 2.6.32.x ASL kernel instead.
Newer versions of KVM, such as those that come with RHEL/Centos 5, 6 and 7 are compatible with 3.x kernels. We highly recommend using the 3.x kernels for those platforms.
All Features work, with the special Xen kernel (see below for important notes about Xen vulnerabilities).
You must use the ASL xen kernels from the tortix-kernel-xen channel with Xen. During installation ensure you have selected the xen configuration option, or manually set KERNEL_CHANNEL to tortix-kernel-xen through ASL Web.
 Xen and vulnerabilities
All of the kernel security enhancements in the ASL kernel do work with Xen, except for two new security enhancements to the kernel. Specifically, Xen does not support KERNEXEC and UDREF explained in more detail below, and ASL will report these are vulnerabilities when using Xen. This is a design choice of Xen, and neither a weakness in ASL nor is it something we can, unfortunately, address.
With that said, its important to recognize that all kernels on Xen contain at least these two weakness, and non-ASL kernels contain a lot more fundamental flaws and weaknesses that can not be fixed with patches, they are fundamental design flaws. The ASL kernel, however, does not contain these design flaws, and even on the Xen platform is significantly more resistent to attacks than any other Linux kernel. If these vulnerabilities are too risky for your needs, then we recommend you use a different virtualization technology. Using a non-ASL kernel with Xen, or any virtualization technology will leave your system extremely vulnerable to attack.
KERNEXEC is the kernel land equivalent of PAGEEXEC and MPROTECT, that is, this enhancement makes it harder for an attacker to inject and execute "foreign" code in kernel memory itself. Xen does not support this enhancement, although other virtualization technologies do support these enhancements (e.g. kvm, VMWare). This is a limitation of Xen, not of the ASL kernel. This enhancement is simply not possibly with Xen.
This ensures that userland and kernel address spaces are properly separated. This addresses NULL dereference based exploits, for example. This feature makes sure that data segments for userland and the kernel are properly limited, either upwards (userland) or downwards (kernel). Xen does not support this enhancements, although other virtualization technologies do support these enhancements (e.g. kvm, VMWare). This is a limitation of Xen, not of the ASL kernel. This enhancement is simply not possibly with Xen.
Additional information about UDEREF is provided here.
 Built in Virtualization
All ASL Features work. You can also use ASL to create virtual machines using these technologies.
This means you can use ASL for your virtualization needs if you use the above virtualization technologies for your virtual machines.
You can install ASL and the ASL kernel inside virtualized guests using these technologies.
 Kernel-less environments
Supported with ASL. All ASL features work, however these technologies do not allow the installation of any kernel as a guest.
Therefore, you can not install the optional secure ASL kernel inside one of these virtual servers, as these technologies do not allow the installation of any kernel inside a VPS. Specifically, these technologies do not have kernels inside the VPS itself and instead, virtual machines/servers share one kernel provided by the host:
On these systems you should expect ASL to report various vulnerabilities in the non-ASL kernel. VPS users share one kernel, the hosts kernel. If the host has not installed ASL on the host system you will see vulnerabilities in the kernel. These are not false positives but are in fact vulnerabilities in those kernels.
We recommend you encourage your hosting provider to install ASL on the host system too.
 In Development
- Xen Server: We are currently exploring support for native Xen support in the ASL kernel, where the ASL kernel will act as the Xen server. ASL is supported as a guest inside a Xen master server.