Add build system scaffolding and libc headers

1 files changed, 18 insertions, 0 deletions

diff --git a/include/arch/x86_64/linux/vmcore.h b/include/arch/x86_64/linux/vmcore.h
new file mode 100644
index 00000000..447574e0
--- /dev/null
+++ b/include/arch/x86_64/linux/vmcore.h
@@ -0,0 +1,18 @@
+/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */
+#ifndef _VMCORE_H
+#define _VMCORE_H
+
+#include <linux/types.h>
+
+#define VMCOREDD_NOTE_NAME	"LINUX"
+#define VMCOREDD_MAX_NAME_BYTES 44
+
+struct vmcoredd_header {
+	__u32 n_namesz;				 /* Name size */
+	__u32 n_descsz;				 /* Content size */
+	__u32 n_type;				 /* NT_VMCOREDD */
+	__u8 name[8];				 /* LINUX\0\0\0 */
+	__u8 dump_name[VMCOREDD_MAX_NAME_BYTES]; /* Device dump's name */
+};
+
+#endif /* _VMCORE_H */