diff --git a/uefi-raw/api_guidelines.md b/uefi-raw/api_guidelines.md
new file mode 100644
index 000000000..5e8b0d33f
--- /dev/null
+++ b/uefi-raw/api_guidelines.md
@@ -0,0 +1,103 @@
+# API Guidelines
+
+The `uefi-raw` crate should closely match the definitions in the [UEFI
+Specification], with only some light changes to make it more friendly for use in
+Rust (e.g. casing follows Rust's conventions and modules are used to provide
+some hierarchy).
+
+This document describes the API rules in detail. Some of these rules can be
+checked with `cargo xtask check-raw`, and that check is run automatically in CI
+as well. Other rules require human verification.
+
+If you are contributing to this crate and run into any problems, such as a case
+that isn't covered by the rules, or a case where following the rules seems like
+it will lead to a bad API, don't hesitate to let us know (e.g. by filing an
+[issue]).
+
+## Naming
+
+Type names should match the corresponding spec names, but drop the `EFI_` prefix
+and change to `UpperCamelCase` to match Rust's convention. For example,
+`EFI_LOAD_FILE_PROTOCOL` becomes `LoadFileProtocol`.
+
+Struct field names and function parameter names should match the corresponding
+spec names, but change the case to `snake_case` to match Rust's convention.
+
+When defining a type that isn't part of the spec (for example, a `bitflags!`
+type that represents a collection of constants in the spec), prefix the name
+with a closely-associated type that is defined in the spec. For example, mode
+constants for a `FooBarProtocol` could be collected into a `FooBarMode` type.
+
+It's OK to introduce minor naming changes from the specification where it
+improves clarity.
+
+## Layout
+
+All types must be `repr(C)`, `repr(C, packed)`, or `repr(transparent)`.
+
+Types created with the `bitflags!` macro must set `repr(transparent)`.
+
+### Dynamically Sized Types
+
+Some types in the spec end with a variable-length array. It's possible to
+represent these as [Dynamically Sized Types], but that should be left to
+higher-level APIs. In this crate, add a zero-length array at the end of the
+struct to represent the field. For example, if a struct in the spec ends with
+`CHAR16 Name[];`, represent that in Rust with `name: [Char16; 0]`.
+
+This pattern of using a `&Header` to work with dynamically-sized data is
+rejected by the Stacked Borrows model, but allowed by Tree Borrows. See [UCG
+issue 256] for more info.
+
+## Visibility
+
+Everything must have `pub` visibility.
+
+## Constants
+
+Use associated constants where possible instead of top-level constants.
+
+Protocols must have an associated `GUID` constant, for example:
+
+```rust
+impl RngProtocol {
+    pub const GUID: Guid = guid!("3152bca5-eade-433d-862e-c01cdc291f44");
+}
+```
+
+## Pointers
+
+Use pointers (`*const`/`*mut`) instead of references (`&`/`&mut`).
+
+Function pointers must be `unsafe` and have an explicit ABI (almost always
+`efiapi`). If a function pointer field can be null it must be wrapped in
+`Option`. Most function pointer fields do not need to allow null pointers
+though, unless the spec says otherwise.
+
+### Mutability
+
+Pointer mutability (`*mut` vs `*const`) is not a UB concern the way reference
+mutability is. In general, it is not UB to `cast_mut` a const pointer and write
+through it. So picking `*mut` vs `*const` is more about semantics.
+
+Pointer fields in structs should always be `*mut`. Even if the pointer should
+not be used for mutation by bootloaders and OSes, these types are intended to be
+useful for UEFI _implementations_ as well, which may need to mutate data.
+
+In function parameters, pick between `*const` and `*mut` based on how the
+parameter is described in the spec. An `OUT` or `IN OUT` pointer must be
+`*mut`. An `IN` pointer _may_ be `*mut`, but `*const` may be more appropriate if
+the parameter is described as being source data.
+
+## Allowed top-level items
+
+The allowed top-level items are `const`, `impl`, `macro`, `struct`, and
+`type`.
+
+Rust `enum`s are not allowed; use the `bitflags!` or `newtype_enum!` macros
+instead.
+
+[UEFI Specification]: https://uefi.org/specifications
+[issue]: https://github.com/rust-osdev/uefi-rs/issues/new
+[Dynamically Sized Types]: https://doc.rust-lang.org/reference/dynamically-sized-types.html
+[UCG issue 256]: https://github.com/rust-lang/unsafe-code-guidelines/issues/256