Commits · 93bc8da326921a4362ceb51f6c36ddf01dfe4650 · koenigl2 / OpenSK

Mar 12, 2020
- Fix missing directory · 93bc8da3
  Jean-Michel Picod authored 5 years ago
  
  93bc8da3
- Address review round #2 · 0e1c7645
  Jean-Michel Picod authored 5 years ago
  
  0e1c7645
Mar 11, 2020
- Ensure we have something to do. · 7c5c7b9d
  Jean-Michel Picod authored 5 years ago
  
  7c5c7b9d
- Allow flashing only the kernel without any app. · 4a3ccb48
  Jean-Michel Picod authored 5 years ago
  
  4a3ccb48
- Rely on Makefile to build Tock OS · b22832e9
  Jean-Michel Picod authored 5 years ago
  
  b22832e9
- Minor changes (review round 1) · e87e78ac
  Jean-Michel Picod authored 5 years ago
  
  e87e78ac
- Fix pylint · 9c13d738
  Jean-Michel Picod authored 5 years ago
  
  9c13d738
- Revamp deploy.py · e63482af
  Jean-Michel Picod authored 5 years ago
  e63482af
Mar 04, 2020
- Support storing in RAM instead of flash · e52a6718
  Julien Cretin authored 5 years ago
  e52a6718
Mar 03, 2020
- Make internal python linter happy. · 740d6658
  Jean-Michel Picod authored 5 years ago
  740d6658
Mar 02, 2020
- Typo. · 0547a02b
  Guillaume Endignoux authored 5 years ago
  
  0547a02b
- Add feature to track allocations in libtock-rs and print statistics to the console. · 495b32b7
  Guillaume Endignoux authored 5 years ago
  
  495b32b7
Feb 27, 2020
- Still trying to trigger pylint · db3b23cf
  Jean-Michel Picod authored 5 years ago
  
  db3b23cf
- Now try to trigger pylint matcher · 7a86f80e
  Jean-Michel Picod authored 5 years ago
  
  7a86f80e
- Add mistake in deploy.py to test matchers · 4e4b4a33
  Jean-Michel Picod authored 5 years ago
  
  4e4b4a33
Feb 21, 2020
- Configure pylint for Google's Python style. · e9f69170
  Jean-Michel authored 5 years ago
  e9f69170
- Fix errors in deploy script. · 8ad28efa
  Jean-Michel authored 5 years ago
  
  8ad28efa
Feb 20, 2020
- Improve deploy script. · 557eebab
  Jean-Michel Picod authored 5 years ago
  557eebab
Feb 19, 2020
- Check for JLinkExe in path · 992ffbbe
  Jean-Michel Picod authored 5 years ago
  
  992ffbbe
- Replace shell script with a python3 script. · 7d421d3a
  Jean-Michel Picod authored 5 years ago
  7d421d3a