# Linux

This repo contains the modifications to the Linux kernel in support of our DART testbed for examining the effects of randomization on real-time software.

# Distribution and Copyright

DISTRIBUTION STATEMENT A. Approved for public release. Distribution is unlimited.This material is based upon work supported by the  Under Secretary of Defense for Research and Engineering under Air Force Contract No.   FA8702-15-D-0001. Any opinions, findings, conclusions or recommendations expressed in this
 material are those of the author(s) and do not necessarily reflect the views of the  Under Secretary of Defense for Research and Engineering.© 2023 Massachusetts Institute of Technology.  Subject to FAR52.227-11 Patent Rights - Ownership by the contractor (May 2014)The software/firmware is provided to you on an As-Is basisDelivered to the U.S. Government with Unlimited Rights, as defined in DFARS Part 252.227-7013 or 7014 (Feb 2014). Notwithstanding any copyright notice, U.S. Government rights in this work are defined by DFARS 252.227-7013 or DFARS 252.227-7014 as detailed
 above. Use of this work other than as specifically authorized by the U.S. Government may violate any copyrights that exist in this work.


# Legacy


Linux kernel
============

There are several guides for kernel developers and users. These guides can
be rendered in a number of formats, like HTML and PDF. Please read
Documentation/admin-guide/README.rst first.

In order to build the documentation, use ``make htmldocs`` or
``make pdfdocs``.  The formatted documentation can also be read online at:

    https://www.kernel.org/doc/html/latest/

There are various text files in the Documentation/ subdirectory,
several of them using the Restructured Text markup notation.

Please read the Documentation/process/changes.rst file, as it contains the
requirements for building and running the kernel, and information about
the problems which may result by upgrading your kernel.
