Unable to compile as xen/noxs.h not found

Hey!

I understand that it's quite late but I wanted to replicate the VM on my machine. I've been following the instructions here to get started with my LightVM.

To avoid any compatibility issues with the OS, I've configured my OS as follows:

Distributor ID: Ubuntu
Description: Ubuntu 16.04.7 LTS
Release: 16.04
Codename: xenial

My .config file is as follows:

I was successfully able to compile Chaos with the make command.

However, when I tried to compile Chaos with the NoXS enabled as shown in the Documentation, with the command make CONFIG_H2_XEN_NOXS=y , I get the following error:

CC bin/chaos.o
CC lib/chaos/cmdline.o
CC lib/h2/xen/xc.o
CC lib/h2/xen/dev.o
CC lib/h2/xen/sysctl.o
CC lib/h2/xen/vif.o
CC lib/h2/xen/vbd.o
CC lib/h2/xen/xdd.o
CC lib/h2/xen/xs.o
CC lib/h2/xen/console.o
CC lib/h2/h2.o
CC lib/h2/xen.o
CC lib/h2/guest_ctrl.o
CC lib/h2/stream.o
CC lib/h2/os_stream_file.o
CC lib/h2/os_stream_net.o
CC lib/h2/config.o
CC lib/h2/config_vbd.o
CC lib/h2/xen/noxs.o
lib/h2/xen/noxs.c:46:22: fatal error: xen/noxs.h: No such file or directory
compilation terminated.
lib/h2.mk:23: recipe for target 'lib/h2/xen/noxs.o' failed
make: *** [lib/h2/xen/noxs.o] Error 1