Move start_prototype into asm/ and make the note that it is not compiled more prominent.
diff --git a/core/runtime/src/start_prototype.rs b/core/runtime/asm/start_prototype.rs similarity index 90% rename from core/runtime/src/start_prototype.rs rename to core/runtime/asm/start_prototype.rs index ed0206b..26c036d 100644 --- a/core/runtime/src/start_prototype.rs +++ b/core/runtime/asm/start_prototype.rs
@@ -1,12 +1,14 @@ +// This file is not compiled or tested! It is kept in this repository in case +// future libtock_runtime developers want to use it. To use this file, copy it +// into libtock_runtime's src/ directory and add mod start_prototype; to +// libtock_runtime's lib.rs. + // The `start` symbol must be written purely in assembly, because it has an ABI // that the Rust compiler doesn't know (e.g. it does not expect the stack to be // set up). One way to write a correct `start` implementation is to write it in // Rust using the C ABI, compile that implementation, then tweak the assembly by // hand. This is a Rust version of `start` for developers who are working on // `start`. -// -// This file is not compiled by default; it must be included manually by adding -// `mod start_prototype;` to `lib.rs`. #[repr(C)] struct RtHeader {