--- /dev/null
+/* Definition of kinds of records in section .debug_gdb_scripts.
+
+ Copyright (C) 2014 Free Software Foundation, Inc.
+
+ This file is part of GDB.
+
+ This program 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 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
+
+#ifndef GDB_SECTION_SCRIPTS_H
+#define GDB_SECTION_SCRIPTS_H
+
+/* Each entry in section .debug_gdb_scripts begins with a byte that is used to
+ identify the entry. This byte is to use as we choose.
+ 0 is reserved so that it is never used (to catch errors).
+ It is recommended to avoid ASCII values 32-127 to help catch (most) cases
+ of forgetting to include this byte.
+ Other unused values needn't specify different scripting languages,
+ but we have no need for anything else at the moment.
+
+ Future extension: Include the contents of the script in the section.
+
+ These values are defined as macros so that they can be used in embedded
+ asms and assembler source files. */
+
+/* Reserved. */
+#define SECTION_SCRIPT_ID_NEVER_USE 0
+
+/* The record is a nul-terminated file name to load as a python file. */
+#define SECTION_SCRIPT_ID_PYTHON_FILE 1
+
+/* Native GDB scripts are not currently supported in .debug_gdb_scripts,
+ but we reserve a value for it. */
+/*#define SECTION_SCRIPT_ID_GDB_FILE 2*/
+
+/* The record is a nul-terminated file name to load as a guile(scheme)
+ file. */
+#define SECTION_SCRIPT_ID_SCHEME_FILE 3
+
+#endif /* GDB_SECTION_SCRIPTS_H */