Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

libtock-rs 2.0 #322

Open
13 of 18 tasks
jrvanwhy opened this issue Aug 17, 2021 · 0 comments
Open
13 of 18 tasks

libtock-rs 2.0 #322

jrvanwhy opened this issue Aug 17, 2021 · 0 comments
Assignees
@jrvanwhy

Comments

@jrvanwhy
Copy link
Collaborator

jrvanwhy commented Aug 17, 2021 •
edited

This issue tracks the remaining work items for the Tock 2.0 libtock-rs crates. This is basically a list of things I have designed and prototyped, but not implemented.

  • Finish implementing the Allow system call in libtock_unittest
  • Design and implement the Allow API in libtock_platform
  • Add an Exit system call implementation to libtock_unittest
  • add unit tests for #333.
  • Design and implement the Exit syscall API in libtock_platform
  • Finish implementing Subscribe in libtock_unittest (#329, #330)
  • Design and implement the Subscribe API in libtock_platform
  • Implement a fake LowLevelDebug API. (#331)
  • Implement a LowLevelDebug driver.
  • Implement a #[panic_handler]
  • Implement a fake console API.
  • Implement a console driver.
  • Write a Hello World example.
  • Implement a diagnostic for a missing stack_size! macro (and maybe a missing set_main! too).
  • Document fake::Kernel (rough draft)
  • Decide how we'll do integration testing (I think there's some sort of custom test framework unstable feature), and implement our integration testing framework.
  • Update the test runner to work with the integration testing framework.
  • Write a "how to add a driver to libtock_rs" document.
@jrvanwhy jrvanwhy self-assigned this Aug 17, 2021
@jrvanwhy jrvanwhy mentioned this issue Aug 17, 2021
Merged
2 tasks
@jrvanwhy jrvanwhy mentioned this issue Sep 3, 2021
Closed
@almindor almindor mentioned this issue Sep 20, 2021
Closed
kupiakos added a commit to kupiakos/libtock-rs that referenced this issue Nov 24, 2021
@kupiakos
Implement a userpsace low-level debug API for Tock 2.0
9090c63 
This is one of the tasks in tock#322.
@kupiakos kupiakos mentioned this issue Nov 24, 2021
Merged
bors bot added a commit that referenced this issue Dec 1, 2021
@bors @kupiakos
Merge #345
4372e78 
345: Implement a userpsace low-level debug API for Tock 2.0 r=jrvanwhy a=kupiakos

This resolves "Implement a `LowLevelDebug` driver" in #322.

Co-authored-by: Alyssa Haroldsen <kupiakos@google.com>
@dcz-self dcz-self mentioned this issue Mar 10, 2022
Merged
bors bot added a commit that referenced this issue Mar 30, 2022
@bors @dcz-self
Merge #395
d5a4bbc 
395: Add console driver API r=jrvanwhy a=dcz-self

This is an implementation of the interface to the console driver.

It implements printing only, and the Write trait.

I'm not entirely sure about the Config traits for Allow and Subscribe.

I'm also not sure if the tests are structured correctly – e.g. integration testing would have to basically reimplement the same code as is already in the `write` API call, so I skipped that (but perhaps that's the point).

There's also a "hello world" example, so it would check off a few boxes from #322

Co-authored-by: dcz <gihuac.dcz@porcupinefactory.org>
@brghena brghena mentioned this issue Aug 30, 2022
Merged
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jrvanwhy jrvanwhy

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jrvanwhy