1. d141d18 workspace: add Rust EFI infrastructure by Lorenz Brun · 2 years ago
  2. 2aa8b18 third_party/rust: update rules_rust and deps by Leopold · 2 years, 8 months ago
  3. 7fbf104 *: bring our own sandbox root by Leopold · 2 years, 8 months ago
  4. cbf1fa9 third_party/rust: initialize, add mdbook by Serge Bazanski · 4 years, 2 months ago