Groups

Tock Embedded OS Development Discussion

Contact owners and managers

1–30 of 208

The Tock development mailing list.

This mailing list is primarily targeting long-term discussion and development. Anyone is welcome to post or subscribe. For immediate bugs, please file an issue on github (https://github.com/tock/tock).

For more information on Tock, please visit the Tock website: https://www.tockos.org/

0 selected

am...@amitlevy.com

11/11/22

License and Copyright Policy

Pat has drafted a proposed TRD (Tock Refence Document) to codify a policy for license headers in the

unread,

License and Copyright Policy

Pat has drafted a proposed TRD (Tock Refence Document) to codify a policy for license headers in the

11/11/22

9/20/21

Recent Spam Messages

Hi everyone, I'm really sorry about all the spam messages getting through recently. We're

unread,

Recent Spam Messages

Hi everyone, I'm really sorry about all the spam messages getting through recently. We're

9/20/21

Johnathan Van Why, Amit Levy3

9/7/21

Style question: Do we prefer core:: or std::?

One advantage of using `core::` is that code _could_ be used from `no_std` environments. For example,

unread,

Style question: Do we prefer core:: or std::?

One advantage of using `core::` is that code _could_ be used from `no_std` environments. For example,

9/7/21

James H, Hudson Randal Ayers2

8/22/21

GPIO Read (libtock-rs)

Hi James, Sorry this message seems to have fallen through the cracks. Reading through your

unread,

GPIO Read (libtock-rs)

Hi James, Sorry this message seems to have fallen through the cracks. Reading through your

8/22/21

Leon Schuermann, … Hudson Randal Ayers46

7/19/21

Approaches to the AppSlice Aliasing Soundness Issues

'Jett ✈ Rink' via Tock Embedded OS Development Discussion <tock...@googlegroups.com>

unread,

Approaches to the AppSlice Aliasing Soundness Issues

'Jett ✈ Rink' via Tock Embedded OS Development Discussion <tock...@googlegroups.com>

7/19/21

James H, Philip Levis2

7/1/21

Interrupt Examples

Do you want to virtualize the service (allow multiple applications to handle the interrupt)? capsules

unread,

Interrupt Examples

Do you want to virtualize the service (allow multiple applications to handle the interrupt)? capsules

7/1/21

Johnathan Van Why, … Philip Levis11

5/20/21

libtock-rs Exit implementation: one function with parameter or two functions

:) True! My poking at Rust codegen a little recently does support this 100%. Someday my knee-jerk

unread,

libtock-rs Exit implementation: one function with parameter or two functions

:) True! My poking at Rust codegen a little recently does support this 100%. Someday my knee-jerk

5/20/21

Philip Levis, … Hudson Randal Ayers7

4/19/21

While I think we should encourage them to have the same error type, I think a mismatch has to be

unread,

While I think we should encourage them to have the same error type, I think a mismatch has to be

4/19/21

Philip Levis, Johnathan Van Why2

4/2/21

First draft of HIL TRD

Based on my experience ramping up on Tock, I think this doc is great! I like that is clearly explains

unread,

First draft of HIL TRD

Based on my experience ramping up on Tock, I think this doc is great! I like that is clearly explains

4/2/21

Leon Schuermann, … Philip Levis6

3/16/21

Tock System Call Performance Evaluation - memcopy overhead

On Mar 16, 2021, at 3:20 AM, Leon Schuermann <le...@is.currently.online> wrote: Because of the

unread,

Tock System Call Performance Evaluation - memcopy overhead

On Mar 16, 2021, at 3:20 AM, Leon Schuermann <le...@is.currently.online> wrote: Because of the

3/16/21

Johnathan Van Why, Philip Levis3

2/11/21

libtock-rs: Do we want to merge Tock 2.0 PRs faster than a week-long wait?

I wasn't anticipating a separate "big code review" merge like we're doing with tock

unread,

libtock-rs: Do we want to merge Tock 2.0 PRs faster than a week-long wait?

I wasn't anticipating a separate "big code review" merge like we're doing with tock

2/11/21

Alexandru Radovici, … Amit Levy14

1/22/21

Using graphics for a book and teaching materials

Hello Amit, Thank you very much, I appreciate it. I have shared with you a google drive document.

unread,

Using graphics for a book and teaching materials

Hello Amit, Thank you very much, I appreciate it. I have shared with you a google drive document.

1/22/21

feplo...@gmail.com, Brad Campbell3

1/21/21

How to connect UART to kernel debug message?

Hi Brad Thanks for the information. Tock kernel debug message seems to work properly(at least much

unread,

How to connect UART to kernel debug message?

Hi Brad Thanks for the information. Tock kernel debug message seems to work properly(at least much

1/21/21

Johnathan Van Why

1/6/21

Linker script understanding: KEEP doesn't do what I expect

I'm working on the linker script for libtock-rs and I'm encountering unexpected behavior by

unread,

Linker script understanding: KEEP doesn't do what I expect

I'm working on the linker script for libtock-rs and I'm encountering unexpected behavior by

1/6/21

Florian Hars, … Philip Levis6

12/18/20

On 17.12.20 19:05, Philip Levis wrote: > I think I'd disagree with Brad on this one — we'

unread,

On 17.12.20 19:05, Philip Levis wrote: > I think I'd disagree with Brad on this one — we'

12/18/20

12/16/20

New RISC-V Board with BLE 5.0

Espressif is now releasing free ESP32-C3 dev boards https://twitter.com/EspressifSystem/status/

unread,

New RISC-V Board with BLE 5.0

Espressif is now releasing free ESP32-C3 dev boards https://twitter.com/EspressifSystem/status/

12/16/20

Lawrence Kincheloe, … Philip Levis3

12/10/20

nRF52833 and nRF52810 chip support

On Dec 10, 2020, at 3:11 PM, Branden Ghena <brg...@berkeley.edu> wrote: The nRF53 is

unread,

nRF52833 and nRF52810 chip support

On Dec 10, 2020, at 3:11 PM, Branden Ghena <brg...@berkeley.edu> wrote: The nRF53 is

12/10/20

Leon Schuermann, … Alistair Francis57

12/4/20

Nonvolatile application storage, part 1: application ID

On Thu, Dec 3, 2020 at 6:47 PM Johnathan Van Why <jrva...@google.com> wrote: > > On Thu,

unread,

Nonvolatile application storage, part 1: application ID

On Thu, Dec 3, 2020 at 6:47 PM Johnathan Van Why <jrva...@google.com> wrote: > > On Thu,

12/4/20

11/17/20

Introducing read_map_or and readwrite_map_or to AppSlice

Tl dr; As part of the effort to make AppSlice safer for Tock v2, I tried out a map approach and it

unread,

Introducing read_map_or and readwrite_map_or to AppSlice

Tl dr; As part of the effort to make AppSlice safer for Tock v2, I tried out a map approach and it

11/17/20

Alistair Francis, … Daniel Hayes6

11/17/20

Permission to use Logo and Diagrams

Im lightly familiar with Tock, but not in depth so Im sure it would be worth my time. I had an idea

unread,

Permission to use Logo and Diagrams

Im lightly familiar with Tock, but not in depth so Im sure it would be worth my time. I had an idea

11/17/20

feplo...@gmail.com, … Pat Pannuto7

9/24/20

GDB support for user level application debugging

Thanks for the information but I am still not hitting breakpoints for application program for some

unread,

GDB support for user level application debugging

Thanks for the information but I am still not hitting breakpoints for application program for some

9/24/20

Steve Barber, Branden Ghena3

7/2/20

RFC: Emulation of MMIO devices for host-side testing

Hi Branden, Thanks for taking a look! I haven't thought about handling interrupts in depth yet. I

unread,

RFC: Emulation of MMIO devices for host-side testing

Hi Branden, Thanks for taking a look! I haven't thought about handling interrupts in depth yet. I

7/2/20

LEE Yu-Chieh, … Amit Levy3

5/8/20

Recommended development board.

There is some imix stock left, but due to the stay at home order in New York/New Jersey, most of them

unread,

Recommended development board.

There is some imix stock left, but due to the stay at home order in New York/New Jersey, most of them

5/8/20

5/1/20

Board-independent tests

We had a discussion on the core call today about board independent tests. The basic concern is that

unread,

Board-independent tests

We had a discussion on the core call today about board independent tests. The basic concern is that

5/1/20

Daniel Hayes, … Amit Levy32

3/30/20

HiFive1 RevB Support?

On 3/28/20 1:37 PM, Daniel Hayes wrote: Thanks for the detail Amit. I have couple of more questions.

unread,

HiFive1 RevB Support?

On 3/28/20 1:37 PM, Daniel Hayes wrote: Thanks for the detail Amit. I have couple of more questions.

3/30/20

3/16/20

Timer/Alarm redesign

I'm sorry I'm behind on this. Stanford is in the midst of evacuating the campus of all

unread,

Timer/Alarm redesign

I'm sorry I'm behind on this. Stanford is in the midst of evacuating the campus of all

3/16/20

3/15/20

Oxidize 1K and CFP request

Hey all! We're running an online-only version of OxidizeConf, called Oxidize 1K, this upcoming

unread,

Oxidize 1K and CFP request

Hey all! We're running an online-only version of OxidizeConf, called Oxidize 1K, this upcoming

3/15/20

Patrick Mooney, … Amit Levy21

3/10/20

Stronger abstraction for Time and Alarm

Following up that this is a good plan. On 3/5/20 12:18 PM, Philip Levis wrote: I'd like to get

unread,

Stronger abstraction for Time and Alarm

Following up that this is a good plan. On 3/5/20 12:18 PM, Philip Levis wrote: I'd like to get

3/10/20

Laura Abbott, … Amit Levy5

2/19/20

protected_size in TBF header

Yes, I hit that as well. I have my own PR which fixes it https://github.com/tock/libtock-rs/pull/147.

unread,

protected_size in TBF header

Yes, I hit that as well. I have my own PR which fixes it https://github.com/tock/libtock-rs/pull/147.

2/19/20

Leon Schuermann, … Vadim Sukhomlinov5

2/17/20

AES kernel abstraction layer

I like idea of defining common abstractions for crypto algorithms, not just AES. Linux kernel Crypto

unread,

AES kernel abstraction layer

I like idea of defining common abstractions for crypto algorithms, not just AES. Linux kernel Crypto

2/17/20

Search

Clear search

Close search

Google apps

Main menu