Portions of this software are covered by the following copyright:

        Copyright (c) 2012, 2015 Douglas E. Comer and CRC Press, Inc.
                        All rights reserved.

Redistribution and use in source and binary forms are permitted
provided that this notice is preserved and that due credit is given
to the copyright holders. The names of the copyright holders
may not be used to endorse or promote products derived from this
software without specific prior written permission. This software
is provided `as is'' without express or implied warranty. The author
assumes no liability for damages incidental or consequential, nor is the
software warranted for correctness or suitability for any purpose.
        Portions of this software are documented in the book:

        Operating System Design -- The Xinu Approach, CRC Press,
        Boca Raton, FL, Linksys version 2012, Second Edition 2015.

This software may not be sold or published in printed form without written
permission from the copyright holders.