tree d61a0bfc94b3519c167578539305edc6fd6e1201
parent 04c0dd5c385e04e6d61de8c2e4b42e6a6e670109
parent dc1849513d569f0d02c90e24d62e48076f1df737
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> 1617903660 +0000
committer GitHub <noreply@github.com> 1617903660 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgb0AsCRBK7hj4Ov3rIwAAdHIIABFZF4GmpgpMDcyTPqTE8UFB
 1q38//6eUpVy8LbxTRSKdzs6cKgL7/8gQFyJDqZEr99KUSkCEMdxarS+B5RxQyow
 RTiB+SenM5m65qFgbz2mCZp5VdeLI6LydgZ15zmYRr7smLTYylqRno7IgEqC+Q+A
 HCS2V+Ler5r9f0Rj5r7cUFzYBT8UEs93MXh6qfJczqWTZ3yxRuwCc1hC0uwayrk7
 gN2RtmqLRgXE8TAhlsTucy6oPqhnWT+C7EdwfFaNUr676JK1/KUMr4DUnMhTHgs0
 e6xLrMam/7aEURBTDLn2ps3BJ9jl98t7DtTFgFSu96Yizg42jwQowvlLnfNDnzk=
 =mvuD
 -----END PGP SIGNATURE-----
 

Merge #284

284: Move `libtock_platform` and `libtock_runtime` out of `core/`. r=hudson-ayers a=jrvanwhy

`libtock_platform` was originally built in `core/` because I intended to replace `libtock_core`'s modules one-by-one with replacements built on `libtock_platform`. However, this plan changed when we decided to build the new `libtock-rs` directly against Tock 2.0 rather than Tock 1.0, as that made `libtock_core` and `libtock_platform` fundamentally incompatible.

Instead, these crates should be in the root of the repository. When we remove Tock 1.0 support from `libtock-rs`, we will remove the `core/` directory entirely.

To make this change, I did:

1. `git mv core/platform .`
2. `git mv core/runtime .`
3. Remove `core/` from the crate paths in `./Cargo.toml`
4. Remove the `libtock_platform` dependency from `core/Cargo.toml`

Co-authored-by: Johnathan Van Why <jrvanwhy@google.com>