new file mode 100644
@@ -0,0 +1,113 @@
+-- Copyright 2014 Red Hat, Inc. and/or its affiliates
+--
+-- Authors:
+-- Dave Gilbert <dgilbert@redhat.com>
+--
+-- This work is licensed under the terms of the GNU LGPL, version 2 or later.
+-- See the COPYING.LIB file in the top-level directory.
+
+Qemu {}
+DEFINITIONS IMPLICIT TAGS ::=
+BEGIN
+
+-- Some basic types used in multiple places --
+QemuString ::= UTF8String (SIZE (1..255))
+
+-- TODO: 4096 is actually page size whatever that is
+FullPage ::= OCTET STRING (SIZE (4096))
+
+-- Types for specific devices --
+
+VMState-CPU-Common ::= [ APPLICATION 20000 ] SEQUENCE {
+ halted INTEGER,
+ interrupt-request INTEGER
+}
+
+--------------------------------
+
+RAMBlockID ::= SEQUENCE {
+ name QemuString,
+ len INTEGER
+}
+
+RAMSecEntry ::= [ APPLICATION 8914 ] SEQUENCE {
+ addr INTEGER, -- Address or offset or size
+ flags INTEGER, -- maybe more explicit type?
+ name QemuString OPTIONAL,
+
+ body CHOICE {
+ bl SEQUENCE OF RAMBlockID,
+ compr INTEGER (0..255), -- Page filled with this value
+ page FullPage
+ -- TODO xbzrle --
+ }
+}
+
+RAMSecList ::= [ APPLICATION 9810 ] SEQUENCE OF RAMSecEntry
+
+SubSection ::= [ APPLICATION 10707 ] SEQUENCE {
+ name QemuString,
+ versionid INTEGER,
+
+ contents SEQUENCE OF VMStateEntries
+}
+
+SubSecList ::= [ APPLICATION 10700 ] SEQUENCE OF SubSection
+
+VMStateEntries ::= CHOICE {
+ -- Hmm need to think more --
+ array SEQUENCE OF VMStateEntries,
+ bool BOOLEAN,
+ int INTEGER,
+ oldblob OCTET STRING,
+ subsecl SubSecList
+}
+
+VMState ::= CHOICE {
+ SEQUENCE OF VMStateEntries,
+
+ VMState-CPU-Common
+}
+
+-- Restrict to unsigned?
+SectionID ::= INTEGER
+
+SecFull ::= [ APPLICATION 2003 ] SEQUENCE {
+ name QemuString,
+ sectionid SectionID,
+ instanceid INTEGER,
+ versionid INTEGER,
+
+ contents CHOICE {
+ ramsec RAMSecList,
+ -- TODO other iterator initial stuff --
+ vmstate VMState,
+ oldblob OCTET STRING
+ }
+}
+
+SecMin ::= [ APPLICATION 211 ] SEQUENCE {
+ sectionid SectionID,
+
+ contents CHOICE {
+ ramsec RAMSecList
+ -- TODO other iterator general/end stuff --
+ }
+}
+
+Sections ::= CHOICE {
+ full SecFull,
+ min SecMin
+}
+
+-- The whole file --
+-- Application tag used to get first 32bits of file
+-- to come out as 7f cd c5 51 - the 51 is Q
+-- the c5 and cd being E,M but with the top bit set
+-- which BER requires
+QemuFile ::= [ APPLICATION 1270481 ] SEQUENCE {
+ version INTEGER (3),
+ top SEQUENCE OF Sections
+}
+
+END