Contents of the SD Card in order to successfully boot Xinu from a Galileo
NOTE: To build the SD Card image, a copy of xboot also needs to be included.
Portions of this software are covered by the following copyright:
Copyright (c) 2012, 2015 by Douglas 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: Comer, D. E. [2015], "Operating System Design - The Xinu Approach", Second edition, CRC PRess, Boca Raton, Florida.
This software may not be sold or published in printed form without written permission from the copyright holders.