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.