คุณอาจชื่นชอบ
Just released v3.0.1 with improvements to C++ interop and documentation.
That #Tomu (tomu.im) in your #lca2018 schwag? Does it run eChronos RTOS, too? Why, yes! github.com/schnommus/echr… @linuxconfau
Release v2.3.0 brings hardware memory protection support to the eChronos RTOS! See it in action Thursday afternoon at #lca2018 @linuxconfau
Excited for the eChronos community to meet up again at #lca2018 @linuxconfau !
License change: we have moved from the AGPLv3 to a permissive 3-clause BSD/MIT license! Release v2.0.2 has all those changes and more.
Release v1.3.11 has a new, easy to follow quick-start guide with sample RTOS applications you can run and gdb-debug on Linux and Windows.
With v1.3.6, @appveyor now tests our Windows builds. Finally, all regression testing of the eChronos RTOS is fully public and transparent.
v1.3.2 introduces much stricter static analysis of our Python infrastructure code thanks to pylint.
Ouch, our "Quick Start" guide for ARM had been borked for a while. Release v1.3.1 improves that significantly. First impressions and all.
v1.3.0 now supports Linux & Windows as target platforms for rapid prototyping - or just taking the eChronos RTOS for a spin!
Release 1.2.0 with better cross-platform static analysis via splint on Windows github.com/echronos/echro…
We now release continuously, thanks to @travisci ! Yay, 21st century!
At #lca2017, @projectgus has kindly provided an #ESP32 Wrover Kit, so the pressure is on to get this ESP32 port going!
github (github.com/echronos/echro…) is now our primary repository, not just a public mirror, so all development takes place there.
github.com
GitHub - echronos/echronos: The eChronos real-time operating system
The eChronos real-time operating system. Contribute to echronos/echronos development by creating an account on GitHub.
There's also a paper about the eChronos scheduler proofs: ssrg.nicta.com.au/publications/n…
Formal proofs about the eChronos scheduler released on github! github.com/echronos/echro…
Floored to see the 'views' counter on our #lca2016 videos going up: goo.gl/xlE1P7 goo.gl/b6BNBD goo.gl/LqDaRz
youtube.com
YouTube
Usable formal methods - are we there yet?
Thanks everyone for joining our eChronos tutorial at #lca2016 today! Had a blast telling you a bit about the OS and what you can do with it!
Big thanks to Seb Holzapfel for adding a Geiger counter to the Internet of Things and an awesome talk at #lca2016 Open Hardware Miniconf
And this is how amazon improved their quadcopter after the hacking test #yow15
United States เทรนด์
- 1. #hazbinhotelseason2 62K posts
- 2. Good Wednesday 20.8K posts
- 3. #hazbinhotelspoilers 4,104 posts
- 4. LeBron 88.4K posts
- 5. Peggy 20.3K posts
- 6. #InternationalMensDay 26.4K posts
- 7. #DWTS 54.7K posts
- 8. Baxter 2,415 posts
- 9. Dearborn 249K posts
- 10. #HazbinHotelVox 19.4K posts
- 11. Kwara 185K posts
- 12. Patrick Stump N/A
- 13. Whitney 16.6K posts
- 14. Grayson 7,224 posts
- 15. Orioles 7,429 posts
- 16. Tinubu 154K posts
- 17. Cory Mills 10.6K posts
- 18. MC - 13 1,119 posts
- 19. Sewing 5,201 posts
- 20. Ward 26.9K posts
คุณอาจชื่นชอบ
Something went wrong.
Something went wrong.