UPB-CS-OpenSourceUpstream / tock

A secure embedded operating system for microcontrollers
https://www.tockos.org
Other
2 stars 6 forks source link

process_console: Added documentation #7

Closed JADarius closed 1 year ago

JADarius commented 1 year ago

Pull Request Overview

This pull request adds documentation regarding process_console (for issue #1). I also found a typo in the commentary of process_console.rs.

TODO or Help Wanted

This pull request still needs a review and suggestions for possible improvement.

Documentation Updated

alexandruradovici commented 1 year ago

fixes #1

JADarius commented 1 year ago

I don't have any of the boards for hands-on testing so the output was all generated just from looking in the source code. For this commit I used qemu but I couldn't make a connection with tockloader to test the commands related to processes, but I managed to check the other commands by forcing them in the source code and changed the output in the documentation.

If you could recommend me any setups to try or how to connect tockloader to qemu that would be of great help.

alexandruradovici commented 1 year ago

Use this project template to run Tock using renode. The console should work for the stm32f412 board.

JADarius commented 1 year ago

I have used a microbit board to test all the commands and I have completed the documentation with the commands involving processes.

alexandruradovici commented 1 year ago

I think you can send this pull request to the upstream repository.

JADarius commented 1 year ago

I have submitted a PR: https://github.com/tock/tock/pull/3338

alexandruradovici commented 1 year ago

Closed due to https://github.com/tock/tock/pull/3338.

alexandruradovici commented 1 year ago

Merged to upstream.

alexandruradovici commented 1 year ago

@JADarius Please select a timeslot for the interview https://doodle.com/meeting/participate/id/eZ8gOOEb.