This project includes or partly uses code from the following open source software subject to the following open source licenses.
Copyright (c) 2019 Western Digital Corporation or its affiliates and other contributors.
The OpenSBI binary found in this project is used under the terms of the BSD 2-Clause license. The full text of this license can be found in the file LICENSE-BSD-2.