bootmenu is Copyright (C) 2006 Frantisek Dufka
            Copyright (C) 2006 Nokia Corporation

It is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 2, or (at your option) any later
version.

On Debian GNU/Linux systems, the complete text of the GNU General
Public License can be found in `/usr/share/common-licenses/GPL'.
