December 2023 - Devel - lists.tockos.org

Re: Call for Tock Meeting Agenda Items

by Amit Levy

The whys, whats, and hows of pre-compiled newlib and libc++: https://github.com/tock/libtock-c/pull/353 Alexandru Radovici <msg4alex(a)gmail.com> writes: > If there is time, I would like to add the tockloader-rs [1] subject to the call. George has been working for a while and has some design decisions to make. The questions are in the pull requests. > > I might not be able to stay during the whole call (office Christmas Party), but with you permission, I would like to invite George to the call. > > Best regards, > Alexandru > > [1] https://github.com/tock/tockloader-rs > >> On Dec 15, 2023, at 07:57, Hudson Ayers <hudayers(a)gmail.com> wrote: >> >> >> Please reply with agenda items and +1s for tomorrow's meeting >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Dec. 15, 2023

Re: Call for Tock Meeting Agenda Items

by Alexandru Radovici

If there is time, I would like to add the tockloader-rs [1] subject to the call. George has been working for a while and has some design decisions to make. The questions are in the pull requests. I might not be able to stay during the whole call (office Christmas Party), but with you permission, I would like to invite George to the call. Best regards, Alexandru [1] https://github.com/tock/tockloader-rs > On Dec 15, 2023, at 07:57, Hudson Ayers <hudayers(a)gmail.com> wrote: > > > Please reply with agenda items and +1s for tomorrow's meeting > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Dec. 15, 2023

Call for Tock Meeting Agenda Items

by Hudson Ayers

Please reply with agenda items and +1s for tomorrow's meeting

Dec. 15, 2023

Call for Tock Meeting Agenda Items

by Hudson Ayers

Please reply with agenda items and +1s for tomorrows meeting

Dec. 8, 2023

Call for Tock meeting agenda items

by Amit Levy

Please reply with agenda items and +1s for today's meeting

Dec. 1, 2023