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.