The files in this directory are provided to boot Linux on the ACL2 model of the x86 ISA. Please see the corresponding topic x86isa::running-linux in XDOC, the ACL2 documentation system.