The *.c files in this directory are all part of VirtualBox Open Source

Edition (OSE), as available from http://www.virtualbox.org. The files

are free software; you can redistribute them and/or modify them under

the terms of the GNU General Public License (GPL) as published by the

Free Software Foundation, in version 2 as it comes in the "COPYING" file

of the VirtualBox OSE distribution. VirtualBox OSE is distributed in the

hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.