diff --git a/lib/cretonne/Cargo.toml b/lib/cretonne/Cargo.toml
index 88ae712c07..91dc6ccdac 100644
--- a/lib/cretonne/Cargo.toml
+++ b/lib/cretonne/Cargo.toml
@@ -17,3 +17,11 @@ name = "cretonne"
 # Please don't add any unless they are essential to the task of creating binary
 # machine code. Integration tests that need external dependencies can be
 # accomodated in `tests`.
+[dependencies.hashmap_core]
+version = "0.1.1"
+optional = true
+
+[features]
+# Currently, the only feature is the `no_std` feature.
+# Enabling this disables use of `stdlib`.
+no_std = ["hashmap_core"]
\ No newline at end of file
diff --git a/lib/cretonne/src/abi.rs b/lib/cretonne/src/abi.rs
index 5c121824aa..45840d63db 100644
--- a/lib/cretonne/src/abi.rs
+++ b/lib/cretonne/src/abi.rs
@@ -5,6 +5,7 @@
 
 use ir::{ArgumentLoc, AbiParam, ArgumentExtension, Type};
 use std::cmp::Ordering;
+use std::vec::Vec;
 
 /// Legalization action to perform on a single argument or return value when converting a
 /// signature.
diff --git a/lib/cretonne/src/dbg.rs b/lib/cretonne/src/dbg.rs
index 5acadd2098..cb8dd07118 100644
--- a/lib/cretonne/src/dbg.rs
+++ b/lib/cretonne/src/dbg.rs
@@ -10,12 +10,17 @@
 /// thread doing the logging.
 
 use std::cell::RefCell;
+#[cfg(not(feature = "no_std"))]
 use std::env;
+#[cfg(not(feature = "no_std"))]
 use std::ffi::OsStr;
 use std::fmt;
+#[cfg(not(feature = "no_std"))]
 use std::fs::File;
+#[cfg(not(feature = "no_std"))]
 use std::io::{self, Write};
 use std::sync::atomic;
+#[cfg(not(feature = "no_std"))]
 use std::thread;
 
 static STATE: atomic::AtomicIsize = atomic::ATOMIC_ISIZE_INIT;
@@ -26,6 +31,7 @@ static STATE: atomic::AtomicIsize = atomic::ATOMIC_ISIZE_INIT;
 /// other than `0`.
 ///
 /// This inline function turns into a constant `false` when debug assertions are disabled.
+#[cfg(not(feature = "no_std"))]
 #[inline]
 pub fn enabled() -> bool {
     if cfg!(debug_assertions) {
@@ -38,7 +44,15 @@ pub fn enabled() -> bool {
     }
 }
 
+/// Does nothing
+#[cfg(feature = "no_std")]
+#[inline]
+pub fn enabled() -> bool {
+    false
+}
+
 /// Initialize `STATE` from the environment variable.
+#[cfg(not(feature = "no_std"))]
 fn initialize() -> bool {
     let enable = match env::var_os("CRETONNE_DBG") {
         Some(s) => s != OsStr::new("0"),
@@ -54,6 +68,7 @@ fn initialize() -> bool {
     enable
 }
 
+#[cfg(not(feature = "no_std"))]
 thread_local! {
     static WRITER : RefCell<io::BufWriter<File>> = RefCell::new(open_file());
 }
@@ -61,6 +76,7 @@ thread_local! {
 /// Write a line with the given format arguments.
 ///
 /// This is for use by the `dbg!` macro.
+#[cfg(not(feature = "no_std"))]
 pub fn writeln_with_format_args(args: fmt::Arguments) -> io::Result<()> {
     WRITER.with(|rc| {
         let mut w = rc.borrow_mut();
@@ -70,6 +86,7 @@ pub fn writeln_with_format_args(args: fmt::Arguments) -> io::Result<()> {
 }
 
 /// Open the tracing file for the current thread.
+#[cfg(not(feature = "no_std"))]
 fn open_file() -> io::BufWriter<File> {
     let curthread = thread::current();
     let tmpstr;
@@ -97,6 +114,7 @@ macro_rules! dbg {
         if $crate::dbg::enabled() {
             // Drop the error result so we don't get compiler errors for ignoring it.
             // What are you going to do, log the error?
+            #[cfg(not(feature = "no_std"))]
             $crate::dbg::writeln_with_format_args(format_args!($($arg)+)).ok();
         }
     }
diff --git a/lib/cretonne/src/dominator_tree.rs b/lib/cretonne/src/dominator_tree.rs
index f7b7273681..a7625f840e 100644
--- a/lib/cretonne/src/dominator_tree.rs
+++ b/lib/cretonne/src/dominator_tree.rs
@@ -10,6 +10,7 @@ use std::mem;
 use timing;
 
 use std::cmp::Ordering;
+use std::vec::Vec;
 
 // RPO numbers are not first assigned in a contiguous way but as multiples of STRIDE, to leave
 // room for modifications of the dominator tree.
diff --git a/lib/cretonne/src/entity/list.rs b/lib/cretonne/src/entity/list.rs
index c9bb5b1a69..58c91d9287 100644
--- a/lib/cretonne/src/entity/list.rs
+++ b/lib/cretonne/src/entity/list.rs
@@ -3,6 +3,7 @@ use entity::EntityRef;
 use std::hash::{Hash, Hasher};
 use std::marker::PhantomData;
 use std::mem;
+use std::vec::Vec;
 
 /// A small list of entity references allocated from a pool.
 ///
diff --git a/lib/cretonne/src/entity/map.rs b/lib/cretonne/src/entity/map.rs
index 9622f93485..f251c2f831 100644
--- a/lib/cretonne/src/entity/map.rs
+++ b/lib/cretonne/src/entity/map.rs
@@ -3,6 +3,7 @@
 use entity::{EntityRef, Keys};
 use std::marker::PhantomData;
 use std::ops::{Index, IndexMut};
+use std::vec::Vec;
 
 /// A mapping `K -> V` for densely indexed entity references.
 ///
diff --git a/lib/cretonne/src/entity/primary.rs b/lib/cretonne/src/entity/primary.rs
index 137320f3e5..c06b818355 100644
--- a/lib/cretonne/src/entity/primary.rs
+++ b/lib/cretonne/src/entity/primary.rs
@@ -2,6 +2,7 @@
 use entity::{EntityRef, Keys};
 use std::marker::PhantomData;
 use std::ops::{Index, IndexMut};
+use std::vec::Vec;
 
 /// A primary mapping `K -> V` allocating dense entity references.
 ///
diff --git a/lib/cretonne/src/entity/set.rs b/lib/cretonne/src/entity/set.rs
index 82dc1384ee..e4acf47723 100644
--- a/lib/cretonne/src/entity/set.rs
+++ b/lib/cretonne/src/entity/set.rs
@@ -2,6 +2,7 @@
 
 use entity::{EntityRef, Keys};
 use std::marker::PhantomData;
+use std::vec::Vec;
 
 /// A set of `K` for densely indexed entity references.
 ///
diff --git a/lib/cretonne/src/entity/sparse.rs b/lib/cretonne/src/entity/sparse.rs
index dacbf66031..a4836cb9d5 100644
--- a/lib/cretonne/src/entity/sparse.rs
+++ b/lib/cretonne/src/entity/sparse.rs
@@ -11,6 +11,7 @@ use entity::{EntityRef, EntityMap};
 use std::mem;
 use std::slice;
 use std::u32;
+use std::vec::Vec;
 
 /// Trait for extracting keys from values stored in a `SparseMap`.
 ///
diff --git a/lib/cretonne/src/ir/extfunc.rs b/lib/cretonne/src/ir/extfunc.rs
index b3c3a274e7..0aa87fa60e 100644
--- a/lib/cretonne/src/ir/extfunc.rs
+++ b/lib/cretonne/src/ir/extfunc.rs
@@ -10,6 +10,7 @@ use isa::{RegInfo, RegUnit};
 use std::cmp;
 use std::fmt;
 use std::str::FromStr;
+use std::vec::Vec;
 
 /// Function signature.
 ///
diff --git a/lib/cretonne/src/ir/instructions.rs b/lib/cretonne/src/ir/instructions.rs
index af570f7ad5..1340c14055 100644
--- a/lib/cretonne/src/ir/instructions.rs
+++ b/lib/cretonne/src/ir/instructions.rs
@@ -9,6 +9,7 @@
 use std::fmt::{self, Display, Formatter};
 use std::str::FromStr;
 use std::ops::{Deref, DerefMut};
+use std::vec::Vec;
 
 use ir;
 use ir::{Value, Type, Ebb, JumpTable, SigRef, FuncRef, StackSlot, MemFlags};
diff --git a/lib/cretonne/src/ir/jumptable.rs b/lib/cretonne/src/ir/jumptable.rs
index 2d09aab4da..4f6e117b64 100644
--- a/lib/cretonne/src/ir/jumptable.rs
+++ b/lib/cretonne/src/ir/jumptable.rs
@@ -8,6 +8,7 @@ use ir::entities::Ebb;
 use std::iter;
 use std::slice;
 use std::fmt::{self, Display, Formatter};
+use std::vec::Vec;
 
 /// Contents of a jump table.
 ///
diff --git a/lib/cretonne/src/ir/stackslot.rs b/lib/cretonne/src/ir/stackslot.rs
index 4a0804787b..744bd06ac3 100644
--- a/lib/cretonne/src/ir/stackslot.rs
+++ b/lib/cretonne/src/ir/stackslot.rs
@@ -10,6 +10,7 @@ use std::cmp;
 use std::fmt;
 use std::ops::{Index, IndexMut};
 use std::str::FromStr;
+use std::vec::Vec;
 
 /// The size of an object on the stack, or the size of a stack frame.
 ///
diff --git a/lib/cretonne/src/isa/arm32/mod.rs b/lib/cretonne/src/isa/arm32/mod.rs
index c3f295d4fb..50ef3ea7db 100644
--- a/lib/cretonne/src/isa/arm32/mod.rs
+++ b/lib/cretonne/src/isa/arm32/mod.rs
@@ -15,6 +15,8 @@ use ir;
 use regalloc;
 use std::fmt;
 
+use std::boxed::Box;
+
 #[allow(dead_code)]
 struct Isa {
     shared_flags: shared_settings::Flags,
diff --git a/lib/cretonne/src/isa/arm64/mod.rs b/lib/cretonne/src/isa/arm64/mod.rs
index d0644ae2f6..b69e044bf4 100644
--- a/lib/cretonne/src/isa/arm64/mod.rs
+++ b/lib/cretonne/src/isa/arm64/mod.rs
@@ -15,6 +15,8 @@ use ir;
 use regalloc;
 use std::fmt;
 
+use std::boxed::Box;
+
 #[allow(dead_code)]
 struct Isa {
     shared_flags: shared_settings::Flags,
diff --git a/lib/cretonne/src/isa/intel/mod.rs b/lib/cretonne/src/isa/intel/mod.rs
index 3f02890a82..e4841558e4 100644
--- a/lib/cretonne/src/isa/intel/mod.rs
+++ b/lib/cretonne/src/isa/intel/mod.rs
@@ -17,6 +17,7 @@ use result;
 use timing;
 use std::fmt;
 
+use std::boxed::Box;
 
 #[allow(dead_code)]
 struct Isa {
diff --git a/lib/cretonne/src/isa/mod.rs b/lib/cretonne/src/isa/mod.rs
index 38164e5167..cedfdaa301 100644
--- a/lib/cretonne/src/isa/mod.rs
+++ b/lib/cretonne/src/isa/mod.rs
@@ -55,6 +55,8 @@ use timing;
 use isa::enc_tables::Encodings;
 use std::fmt;
 
+use std::boxed::Box;
+
 #[cfg(build_riscv)]
 mod riscv;
 
diff --git a/lib/cretonne/src/isa/riscv/mod.rs b/lib/cretonne/src/isa/riscv/mod.rs
index 2fd0d5cdb9..1993ecb9d6 100644
--- a/lib/cretonne/src/isa/riscv/mod.rs
+++ b/lib/cretonne/src/isa/riscv/mod.rs
@@ -15,6 +15,8 @@ use ir;
 use regalloc;
 use std::fmt;
 
+use std::boxed::Box;
+
 #[allow(dead_code)]
 struct Isa {
     shared_flags: shared_settings::Flags,
diff --git a/lib/cretonne/src/legalizer/boundary.rs b/lib/cretonne/src/legalizer/boundary.rs
index ea81c1ff95..5d9dd71dc0 100644
--- a/lib/cretonne/src/legalizer/boundary.rs
+++ b/lib/cretonne/src/legalizer/boundary.rs
@@ -25,6 +25,7 @@ use ir::{Function, DataFlowGraph, Inst, InstBuilder, Ebb, Type, Value, Signature
 use ir::instructions::CallInfo;
 use isa::TargetIsa;
 use legalizer::split::{isplit, vsplit};
+use std::vec::Vec;
 
 /// Legalize all the function signatures in `func`.
 ///
diff --git a/lib/cretonne/src/legalizer/libcall.rs b/lib/cretonne/src/legalizer/libcall.rs
index 156a05b813..cdf6a763a4 100644
--- a/lib/cretonne/src/legalizer/libcall.rs
+++ b/lib/cretonne/src/legalizer/libcall.rs
@@ -15,7 +15,7 @@ pub fn expand_as_libcall(inst: ir::Inst, func: &mut ir::Function) -> bool {
     let funcref = find_funcref(libcall, func).unwrap_or_else(|| make_funcref(libcall, inst, func));
 
     // Now we convert `inst` to a call. First save the arguments.
-    let mut args = Vec::new();
+    let mut args = vec![];
     args.extend_from_slice(func.dfg.inst_args(inst));
     // The replace builder will preserve the instruction result values.
     func.dfg.replace(inst).call(funcref, &args);
diff --git a/lib/cretonne/src/legalizer/split.rs b/lib/cretonne/src/legalizer/split.rs
index 0c73e7c2d4..76ad05a2bc 100644
--- a/lib/cretonne/src/legalizer/split.rs
+++ b/lib/cretonne/src/legalizer/split.rs
@@ -68,6 +68,7 @@ use cursor::{Cursor, CursorPosition, FuncCursor};
 use flowgraph::ControlFlowGraph;
 use ir::{self, Ebb, Inst, Value, Type, Opcode, ValueDef, InstructionData, InstBuilder};
 use std::iter;
+use std::vec::Vec;
 
 /// Split `value` into two values using the `isplit` semantics. Do this by reusing existing values
 /// if possible.
diff --git a/lib/cretonne/src/lib.rs b/lib/cretonne/src/lib.rs
index b4c386477c..2bed9df4fb 100644
--- a/lib/cretonne/src/lib.rs
+++ b/lib/cretonne/src/lib.rs
@@ -1,7 +1,17 @@
 //! Cretonne code generation library.
-
+#![cfg_attr(feature = "no_std", no_std)]
 #![deny(missing_docs)]
 
+// Turns on alloc feature if no_std
+#![cfg_attr(feature = "no_std", feature(alloc))]
+
+// Include the `hashmap_core` crate if no_std
+#[cfg(feature = "no_std")]
+extern crate hashmap_core;
+#[cfg(feature = "no_std")]
+#[macro_use]
+extern crate alloc;
+
 pub use context::Context;
 pub use legalizer::legalize_function;
 pub use verifier::verify_function;
@@ -46,3 +56,25 @@ mod stack_layout;
 mod topo_order;
 mod unreachable_code;
 mod write;
+
+/// This replaces `std` in builds with no_std.
+#[cfg(feature = "no_std")]
+mod std {
+    pub use core::*;
+    #[macro_use]
+    pub use alloc::{boxed, vec, string};
+    pub mod prelude {
+        pub use core::prelude as v1;
+    }
+    pub mod collections {
+        pub use hashmap_core::{HashMap, HashSet};
+        pub use hashmap_core::map as hash_map;
+        pub use alloc::BTreeSet;
+    }
+    pub mod error {
+        pub trait Error {
+            fn description(&self) -> &str;
+            fn cause(&self) -> Option<&Error> { None }
+        }
+    }
+}
\ No newline at end of file
diff --git a/lib/cretonne/src/licm.rs b/lib/cretonne/src/licm.rs
index 1eb035d9bf..e767fc838b 100644
--- a/lib/cretonne/src/licm.rs
+++ b/lib/cretonne/src/licm.rs
@@ -8,6 +8,7 @@ use dominator_tree::DominatorTree;
 use entity::{EntityList, ListPool};
 use loop_analysis::{Loop, LoopAnalysis};
 use timing;
+use std::vec::Vec;
 
 /// Performs the LICM pass by detecting loops within the CFG and moving
 /// loop-invariant instructions out of them.
diff --git a/lib/cretonne/src/loop_analysis.rs b/lib/cretonne/src/loop_analysis.rs
index f6dee54d71..dfd5cf135a 100644
--- a/lib/cretonne/src/loop_analysis.rs
+++ b/lib/cretonne/src/loop_analysis.rs
@@ -8,6 +8,7 @@ use flowgraph::ControlFlowGraph;
 use ir::{Function, Ebb, Layout};
 use packed_option::PackedOption;
 use timing;
+use std::vec::Vec;
 
 /// A opaque reference to a code loop.
 #[derive(Copy, Clone, PartialEq, Eq, Hash)]
diff --git a/lib/cretonne/src/regalloc/coalescing.rs b/lib/cretonne/src/regalloc/coalescing.rs
index 416783b6c0..225aa8e9d8 100644
--- a/lib/cretonne/src/regalloc/coalescing.rs
+++ b/lib/cretonne/src/regalloc/coalescing.rs
@@ -18,6 +18,9 @@ use std::cmp;
 use std::iter;
 use std::fmt;
 use std::slice;
+use std::iter::Peekable;
+use std::mem;
+use std::vec::Vec;
 use isa::{TargetIsa, EncInfo};
 use timing;
 
diff --git a/lib/cretonne/src/regalloc/diversion.rs b/lib/cretonne/src/regalloc/diversion.rs
index 588ad040a5..16eb0e9b50 100644
--- a/lib/cretonne/src/regalloc/diversion.rs
+++ b/lib/cretonne/src/regalloc/diversion.rs
@@ -11,6 +11,7 @@ use ir::{Value, ValueLoc, ValueLocations, StackSlot};
 use ir::{InstructionData, Opcode};
 use isa::{RegUnit, RegInfo};
 use std::fmt;
+use std::vec::Vec;
 
 /// A diversion of a value from its original location to a new register or stack location.
 ///
diff --git a/lib/cretonne/src/regalloc/live_value_tracker.rs b/lib/cretonne/src/regalloc/live_value_tracker.rs
index d0810a5cf7..de300ced0e 100644
--- a/lib/cretonne/src/regalloc/live_value_tracker.rs
+++ b/lib/cretonne/src/regalloc/live_value_tracker.rs
@@ -13,6 +13,7 @@ use regalloc::affinity::Affinity;
 use regalloc::liveness::Liveness;
 use regalloc::liverange::LiveRange;
 use std::collections::HashMap;
+use std::vec::Vec;
 
 type ValueList = EntityList<Value>;
 
diff --git a/lib/cretonne/src/regalloc/liveness.rs b/lib/cretonne/src/regalloc/liveness.rs
index 2778f47f63..83b63366a5 100644
--- a/lib/cretonne/src/regalloc/liveness.rs
+++ b/lib/cretonne/src/regalloc/liveness.rs
@@ -184,6 +184,7 @@ use regalloc::affinity::Affinity;
 use regalloc::liverange::{LiveRange, LiveRangeForest, LiveRangeContext};
 use std::mem;
 use std::ops::Index;
+use std::vec::Vec;
 use timing;
 
 /// A set of live ranges, indexed by value number.
diff --git a/lib/cretonne/src/regalloc/reload.rs b/lib/cretonne/src/regalloc/reload.rs
index 2cb37d7d6a..10b803c831 100644
--- a/lib/cretonne/src/regalloc/reload.rs
+++ b/lib/cretonne/src/regalloc/reload.rs
@@ -21,6 +21,7 @@ use regalloc::live_value_tracker::{LiveValue, LiveValueTracker};
 use regalloc::liveness::Liveness;
 use timing;
 use topo_order::TopoOrder;
+use std::vec::Vec;
 
 /// Reusable data structures for the reload pass.
 pub struct Reload {
diff --git a/lib/cretonne/src/regalloc/solver.rs b/lib/cretonne/src/regalloc/solver.rs
index a3b732799c..c2f8017c3a 100644
--- a/lib/cretonne/src/regalloc/solver.rs
+++ b/lib/cretonne/src/regalloc/solver.rs
@@ -108,6 +108,7 @@ use std::fmt;
 use std::mem;
 use super::AllocatableSet;
 use std::u16;
+use std::vec::Vec;
 
 /// A variable in the constraint problem.
 ///
diff --git a/lib/cretonne/src/regalloc/spilling.rs b/lib/cretonne/src/regalloc/spilling.rs
index 84ef76fdff..5f6677d650 100644
--- a/lib/cretonne/src/regalloc/spilling.rs
+++ b/lib/cretonne/src/regalloc/spilling.rs
@@ -26,6 +26,7 @@ use regalloc::liveness::Liveness;
 use regalloc::pressure::Pressure;
 use regalloc::virtregs::VirtRegs;
 use std::fmt;
+use std::vec::Vec;
 use timing;
 use topo_order::TopoOrder;
 
diff --git a/lib/cretonne/src/settings.rs b/lib/cretonne/src/settings.rs
index 36a48e04b4..a7da8d6f17 100644
--- a/lib/cretonne/src/settings.rs
+++ b/lib/cretonne/src/settings.rs
@@ -24,6 +24,7 @@ use constant_hash::{probe, simple_hash};
 use isa::TargetIsa;
 use std::fmt;
 use std::result;
+use std::vec::Vec;
 
 /// A string-based configurator for settings groups.
 ///
diff --git a/lib/cretonne/src/simple_gvn.rs b/lib/cretonne/src/simple_gvn.rs
index 8642122593..e0350ad687 100644
--- a/lib/cretonne/src/simple_gvn.rs
+++ b/lib/cretonne/src/simple_gvn.rs
@@ -7,6 +7,9 @@ use ir::{InstructionData, Function, Inst, Opcode, Type};
 use scoped_hash_map::ScopedHashMap;
 use timing;
 
+#[cfg(feature = "no_std")]
+use alloc::Vec;
+
 /// Test whether the given opcode is unsafe to even consider for GVN.
 fn trivially_unsafe_for_gvn(opcode: Opcode) -> bool {
     opcode.is_call() || opcode.is_branch() || opcode.is_terminator() ||
diff --git a/lib/cretonne/src/timing.rs b/lib/cretonne/src/timing.rs
index d120d43c32..90d15353e1 100644
--- a/lib/cretonne/src/timing.rs
+++ b/lib/cretonne/src/timing.rs
@@ -87,12 +87,12 @@ impl fmt::Display for Pass {
     }
 }
 
-
 /// Implementation details.
 ///
 /// This whole module can be gated on a `cfg` feature to provide a dummy implementation for
 /// performance-sensitive builds or restricted environments. The dummy implementation must provide
-/// `TimingToken` and `PassTimings` types and a `take_current` function.
+/// `TimingToken` and `PassTimes` types and `take_current`, `add_to_current`, and `start_pass` functions.
+#[cfg(not(feature = "no_std"))]
 mod details {
     use super::{Pass, NUM_PASSES, DESCRIPTIONS};
     use std::cell::{Cell, RefCell};
@@ -214,6 +214,27 @@ mod details {
     }
 }
 
+/// Dummy `debug` implementation
+#[cfg(feature = "no_std")]
+mod details {
+    use super::Pass;
+    /// Dummy `TimingToken`
+    pub struct TimingToken;
+    /// Dummy `PassTimes`
+    pub struct PassTimes;
+    /// Returns dummy `PassTimes`
+    pub fn take_current() -> PassTimes {
+        PassTimes
+    }
+    /// does nothing
+    pub fn add_to_current(_times: PassTimes) { }
+
+    /// does nothing
+    pub(super) fn start_pass(_pass: Pass) -> TimingToken {
+        TimingToken
+    }
+}
+
 #[cfg(test)]
 mod test {
     use super::*;
diff --git a/lib/cretonne/src/topo_order.rs b/lib/cretonne/src/topo_order.rs
index cd783c928a..660179f1f9 100644
--- a/lib/cretonne/src/topo_order.rs
+++ b/lib/cretonne/src/topo_order.rs
@@ -4,6 +4,9 @@ use entity::SparseSet;
 use dominator_tree::DominatorTree;
 use ir::{Ebb, Layout};
 
+#[cfg(feature = "no_std")]
+use alloc::Vec;
+
 /// Present EBBs in a topological order such that all dominating EBBs are guaranteed to be visited
 /// before the current EBB.
 ///
diff --git a/lib/cretonne/src/verifier/mod.rs b/lib/cretonne/src/verifier/mod.rs
index a346573e67..c3bebc5ae6 100644
--- a/lib/cretonne/src/verifier/mod.rs
+++ b/lib/cretonne/src/verifier/mod.rs
@@ -73,6 +73,8 @@ use std::collections::BTreeSet;
 use std::error as std_error;
 use std::fmt::{self, Display, Formatter, Write};
 use std::result;
+use std::vec::Vec;
+use std::string::String;
 use timing;
 
 pub use self::cssa::verify_cssa;
diff --git a/lib/cretonne/src/write.rs b/lib/cretonne/src/write.rs
index d9853d5768..4ca8ddaadb 100644
--- a/lib/cretonne/src/write.rs
+++ b/lib/cretonne/src/write.rs
@@ -9,6 +9,7 @@ use isa::{TargetIsa, RegInfo};
 use std::fmt::{self, Result, Error, Write};
 use std::result;
 use packed_option::ReservedValue;
+use std::string::String;
 
 /// Write `func` to `w` as equivalent text.
 /// Use `isa` to emit ISA-dependent annotations.
diff --git a/lib/frontend/Cargo.toml b/lib/frontend/Cargo.toml
index eea524ef1c..32c65e4ded 100644
--- a/lib/frontend/Cargo.toml
+++ b/lib/frontend/Cargo.toml
@@ -13,3 +13,6 @@ name = "cton_frontend"
 
 [dependencies]
 cretonne = { path = "../cretonne", version = "0.1.0" }
+
+[features]
+no_std = ["cretonne/no_std"]
diff --git a/lib/frontend/src/lib.rs b/lib/frontend/src/lib.rs
index 9db5a4a34b..37a3504bf5 100644
--- a/lib/frontend/src/lib.rs
+++ b/lib/frontend/src/lib.rs
@@ -142,11 +142,23 @@
 //! }
 //! ```
 
+#![cfg_attr(feature = "no_std", no_std)]
 #![deny(missing_docs)]
 
+#![cfg_attr(feature = "no_std", feature(alloc))]
+
 extern crate cretonne;
 
+#[cfg(feature = "no_std")]
+extern crate alloc;
+
 pub use frontend::{ILBuilder, FunctionBuilder};
 
 mod frontend;
 mod ssa;
+
+#[cfg(feature = "no_std")]
+mod std {
+    pub use alloc::vec;
+    pub use core::*;
+}
\ No newline at end of file
diff --git a/lib/frontend/src/ssa.rs b/lib/frontend/src/ssa.rs
index 2b758ef18b..f99ff5e179 100644
--- a/lib/frontend/src/ssa.rs
+++ b/lib/frontend/src/ssa.rs
@@ -15,6 +15,7 @@ use std::u32;
 use cretonne::ir::types::{F32, F64};
 use cretonne::ir::immediates::{Ieee32, Ieee64};
 use std::mem;
+use std::vec::Vec;
 
 /// Structure containing the data relevant the construction of SSA for a given function.
 ///
diff --git a/lib/native/Cargo.toml b/lib/native/Cargo.toml
index 13556b0eb0..57a2d0bc3c 100644
--- a/lib/native/Cargo.toml
+++ b/lib/native/Cargo.toml
@@ -15,3 +15,6 @@ cretonne = { path = "../cretonne", version = "0.1.0" }
 
 [target.'cfg(any(target_arch = "x86", target_arch = "x86_64"))'.dependencies]
 raw-cpuid = "3.0.0"
+
+[features]
+no_std = ["cretonne/no_std"]
diff --git a/lib/native/src/lib.rs b/lib/native/src/lib.rs
index 6cdb39a15e..284366a65c 100644
--- a/lib/native/src/lib.rs
+++ b/lib/native/src/lib.rs
@@ -1,6 +1,6 @@
 //! Performs autodetection of the host for the purposes of running
 //! Cretonne to generate code to run on the same machine.
-
+#![cfg_attr(feature = "no_std", no_std)]
 #![deny(missing_docs)]
 
 extern crate cretonne;