I had a chance over the past couple weeks to speak with Lawrence Esswood
on the Pixel team at Google and with Tony Chen & Nasmus Sakib on the
Pluton team at Microsoft about their use of Tock.
I'm planning to follow up with both after the holidays. With Lawrence
there is some specific follow ups related to memory tagging, but also to
keep the conversation going. With Tony & Nasmus, we'll set up additional
conversations with some of the developers who have some feedback and
thoughts, particuarly on libtock-c.
# Some high-level common points
1. Both groups have been using Tock for a while (at least a year in
both cases) and both did a fairly broad survey to decide what to use.
2. Both are not yet shipping products, but both are on the path to
shipping Tock in their products
3. Both are basically targeting secure elements within a larger SoC
4. Both are working with tagged memory, which is cool.
# Lawrence @ Pixel
Background: Lawrence was a PhD student of Robert Watson's at Cambridge
working on CHERI. He's been at Google for a bit more than a year working
on the (future) secure element for Pixel.
* They have a separate fork of Tock than Ti50. Two promising and
noteworthy differences:
* They have already done a rebase to upgrade to Tock 2.0, meaning
they've already experienced the downside of forking and seemed to
have weathered OK.
* They have particular and very interesting things in the plan to
contribute upstream now that they have more cycles (basically the
team is growing). One is support for 64-bit platforms, another is
zero-copy I/O. Lawrence already had a very good handle on the
trade-off involved and was very prepared to both defend the choices,
how to limit impact on non-users, and also prepared to be convinced
of different designs or that it may not make sense upstream (I was
convinced that in some form both of these make sese)
* Their use case is very similar to what we envisioned Tock being
particularly good for.
* They are/will be a team of people working on the kernel and a
_separate_ team of "developers" building applications. All from
Google, but nonetheless different
* Code size is a non-issue for them. Everything is in SRAM, but they
have between 1MB-10MB of SRAM and it's just not something they've run
into at all so far.
# Pluton
* Pluton is basically a general hardware component they are expecting to
have on all Windows PCs/laptops/whatever baked into the SoC from a
variety of vendors starting pretty soon
* So this is another microcontroller-on-die-with-a-CPU
* They chose and are basically sticking with Tock
* Tony Chen (the main guy:
https://www.microsoft.com/en-us/research/people/tonychen/) said he
wasn't sure if there is hardware shipping yet, but said there will be
at some point, presumably in the not so far future, but idk
* For them, future applications will be written in Rust, but they have a
bunch of existing applications that are in C
* They are using libtock-c and they have feedback/suggestions/requests
(one of the people in the meeting was IMing with some of the devlopers
who told confirmed, so we'll maybe here more)
* Pluton doesn't necessarily have CHERI, but likely will have
capabilities hardware (it's going to be a vendor-specific choice).
They are probably going to replace MPU/PMP with capabilities where
they can.
* Evolution was very much: we had a home-baked non-OS from the xbox
days, it slowly evolved to be more and more complex, we surveyed for
what kind of more "real" OS made sense, and Tock makes the most sense.
Sorry for the late notice, but today's meeting overlaps with a mandatory
NSF POSE kick-off meeting which Branden and I will be attending.
Everyone else is welcome, but not required to attend.
Details:
Wednesday, 12/13/2023
Time: 1:00-2:30 ET
Zoom Link: https://venturewell.zoom.us/j/94152377487?pwd=cGxzbGJtczhEODJZQVdKSjJpNEc5d…
Meeting ID: 941 5237 7487
Passcode: 77807699
-Amit
I'm teaching Tuesday/Thursday, so I can likely make weekly sessions on
Wednesdays.
A little unclear what "full commitment" to the program means. That kickoff
week _will_ conflict with my classes in places, and memories of Brad's
icorps time has me concerned as well.
Thanks,
Branden Ghena
Northwestern University
On Sat, Dec 9, 2023 at 2:51 PM Patrick Pannuto via Pose <
pose(a)lists.tockos.org> wrote:
> That's kinda disappointing, though I get the re-use what you have.
>
> Caveated on not talking with Lauren about it at all yet, I can technically
> make all of these as I'm on parental leave the first half of next year —
> but I'm also supposed to be on leave.., which has me a little hesitant to
> sign up for a full i-corps program :/
>
> On Fri, Dec 8, 2023 at 3:49 AM Brad Campbell via Pose <
> pose(a)lists.tockos.org> wrote:
>
>> Huh? This is just I-Corps? Why is this being announced so late? Training
>> is one thing, but, having done it, 100 interviews is literally a full time
>> job.
>>
>> In any case, I teach Wednesdays 2-3:15, so...I can't make the sessions. I
>> corps is for grad students who have few fixed commitments, I don't
>> understand how they expect PIs to accommodate this.
>>
>> -Brad
>>
>> On Fri, Dec 8, 2023, 1:12 AM Amit Levy via Pose <pose(a)lists.tockos.org>
>> wrote:
>>
>>>
>>>
>>> ---------- Forwarded message ---------
>>> From: NSF POSE <pose(a)nsf.gov>
>>> Date: Thu, Dec 7, 2023 at 1:53 PM
>>> Subject: POSE Phase II: Slides/Intro to Instructional Team
>>> To: Stanton, Jeffrey M. <jstanton(a)nsf.gov>
>>> Cc: Atherton, Peter S. <PATHERTO(a)nsf.gov>, Wasko, Molly M. <
>>> mwasko(a)nsf.gov>
>>>
>>>
>>> Dear POSE Phase II Principal Investigators,
>>>
>>>
>>>
>>> Sincerest thanks for those who were able to join the POSE Phase II
>>> information session yesterday afternoon. Please find attached the slides
>>> that were presented and feel free to share them with members of your
>>> team. Here are a few follow-up things to know:
>>>
>>>
>>>
>>> Registration Deadline: Friday, 12/8/2023
>>>
>>> Registration Link: *Registration Link
>>> <https://urldefense.com/v3/__https://nsfiip.force.com/mywork__;!!Mih3wA!GAc9…> *
>>>
>>> Onboarding Session with lead instructor David Charron (all team members
>>> should participate).
>>>
>>> Day: Wednesday, 12/13/2023
>>>
>>> Time: 1:00-2:30 ET
>>>
>>> Zoom Link: *Webinar Zoom Link
>>> <https://urldefense.com/v3/__https://venturewell.zoom.us/j/94152377487?pwd=c…>*
>>>
>>> Meeting ID: 941 5237 7487
>>> Passcode: 77807699
>>>
>>>
>>>
>>> Schedule: The dates and times in the schedule are set and will not be
>>> changed. For Wednesday weekly sessions, your team will be able to request
>>> the block of time to attend: either 1:00-3:00 or 2:00-4:00. If you have
>>> team members that absolutely must miss 1-2 sessions, or parts of a session,
>>> we can make some accommodations as long as you are covered by the rest of
>>> your team. If you are attending a conference for ecosystem discovery and
>>> interviews you are still expected to participate in the weekly sessions.
>>> We allow excused absences for family and medical emergencies. Please notify
>>> NSF of all absences.
>>>
>>>
>>>
>>> If you need a consultation to help in identifying your team members
>>> and/or you would like assistance finding an industry mentor, please reach
>>> out and we can set up a meeting.
>>>
>>>
>>>
>>> We appreciate your candid feedback, and we recognize that both the
>>> timing and time commitment are challenging. Based on feedback from prior
>>> I-Corps participants, we expect that you will find the experience
>>> invaluable in the success of your project. We truly appreciate your efforts.
>>>
>>>
>>>
>>> See you next week!
>>>
>>>
>>>
>>> Molly Wasko, Ph.D.
>>>
>>> Program Director, I-Corps
>>>
>>> Division of Translational Impacts
>>>
>>> Directorate for Technology, Innovation and Partnerships
>>>
>>> National Science Foundation
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>> Dear POSE Phase II Principal Investigator,
>>>
>>>
>>>
>>> As part of your POSE Phase II award, NSF is providing a required
>>> training program on ecosystem discovery, governance, and sustainability.
>>> The program begins on January 16, 2024. We will hold a short webinar
>>> next week on Wednesday, 12/6 at 3:00-4:00pm ET to introduce the training
>>> program and answer questions. Please ensure that you or one of your POSE
>>> team members attends, as the session will provide information and support
>>> on how to register for the training. Feel free to pass the webinar
>>> invitation on to your other POSE team members.
>>>
>>>
>>>
>>> *Webinar Zoom Link
>>> <https://urldefense.com/v3/__https://venturewell.zoom.us/j/94152377487?pwd=c…>*
>>>
>>> Meeting ID: 941 5237 7487
>>> Passcode: 77807699
>>>
>>>
>>>
>>> The training registration process is now open, and we encourage you to
>>> explore it at your earliest convenience. *The deadline for
>>> registration is one week from today: Friday 12/8/2023. *This program is
>>> an adaptation of the highly successful NSF I-Corps program and is designed
>>> to provide best practices, mentored guidance, and support for your teams
>>> during the ecosystem discovery process. As principal investigator, you
>>> should register on behalf of your team. Your team only needs to submit one
>>> registration.
>>>
>>>
>>>
>>> *Registration Link
>>> <https://urldefense.com/v3/__https://nsfiip.force.com/mywork__;!!Mih3wA!GAc9…> *
>>>
>>>
>>>
>>> As part of the registration process, each POSE Phase II team will need to
>>> *identify 3 team members to participate *and assign them to specific
>>> roles: EL, TL and IM. A critical factor in registering team members is
>>> their ability to commit to full participation in the program. Please
>>> review the program schedule below (and attached) along with descriptions of
>>> the team roles.
>>>
>>> *Program Summary:*
>>>
>>> 3.5 Day Kick-Off on 1/16-1/19
>>>
>>> 5 weekly sessions on Wednesdays – choose the 1:00-3:00 or 2:00-4:00 time
>>> block
>>>
>>> 2 Day Finale on 2/29 and 3/1
>>>
>>>
>>>
>>> *POSE I-Corps Schedule:*
>>>
>>>
>>>
>>> *Event Name*
>>>
>>> *Event Description*
>>>
>>> *Date*
>>>
>>> *Event Time (Eastern Time)*
>>>
>>> *Onboarding*
>>>
>>>
>>>
>>> NSF Intro
>>>
>>> Registration and Q&A
>>>
>>> 12/6/2023
>>>
>>> 3:00-4:00pm
>>>
>>>
>>>
>>> POSE Onboard
>>>
>>> Prepare the Teams for
>>>
>>> Kick-Off
>>>
>>> 12/13/2023
>>>
>>> 1:00-2:30pm
>>>
>>> *Kick-Off*
>>>
>>>
>>>
>>> Week 1
>>>
>>> Introductions
>>>
>>> 1/16/2024
>>>
>>> 1:00-5:00pm
>>>
>>> Class 1
>>>
>>> Week 1
>>>
>>> BMC and Methodology
>>>
>>> 1/17/2024
>>>
>>> 10:00am-3:00pm, Conduct 5+ Interviews,
>>>
>>> and 6:00-8:00pm Office Hours
>>>
>>> Class 2
>>>
>>> Week 1
>>>
>>> VPs
>>>
>>> 1/18/2024
>>>
>>> 10:00am-2:30pm, Conduct 5+ Interviews,
>>>
>>> and 6:00-8:00pm Office Hours
>>>
>>> Class 3
>>>
>>> Week 1
>>>
>>> CS and Roles
>>>
>>> 1/19/2024
>>>
>>> 10:00am-2:30pm
>>>
>>> *Weekly Sessions*
>>>
>>> Class 4
>>>
>>> Wed - Week 2
>>>
>>> CS & Impact
>>>
>>> 1/24/2024
>>>
>>> Block A 1:00-3:00pm or Block B 2:00-4:00pm
>>>
>>> and 30 minute Office Hours during the week
>>>
>>> Class 5
>>>
>>> Wed - Week 3
>>>
>>> Channels & Relationships
>>>
>>> 1/31/2024
>>>
>>> Block A 1:00-3:00pm or Block B 2:00-4:00pm
>>>
>>> and 30 minute Office Hours during the week
>>>
>>> Class 6
>>>
>>> Wed - Week 4
>>>
>>> Revenues/Sustainability
>>>
>>> 2/7/2024
>>>
>>> Block A 1:00-3:00pm or Block B 2:00-4:00pm
>>>
>>> and 30 minute Office Hours during the week
>>>
>>> Class 7
>>>
>>> Wed - Week 5
>>>
>>> Governance & ARP
>>>
>>> 2/14/2024
>>>
>>> Block A 1:00-3:00pm or Block B 2:00-4:00pm
>>>
>>> and 30 minute Office Hours during the week
>>>
>>> Class 8
>>>
>>> Wed - Week 6
>>>
>>> Milestones/Timelines & ARC
>>>
>>> 2/21/2024
>>>
>>> Block A 1:00-3:00pm or Block B 2:00-4:00pm
>>>
>>> and 30 minute Office Hours during the week
>>>
>>> *Lessons Learned*
>>>
>>> Class 9
>>>
>>> Week 7
>>>
>>> Penultimate Day
>>>
>>> 2/29/2024
>>>
>>> 11:30am-6:00pm
>>>
>>> Class 10
>>>
>>> Week 7
>>>
>>> Final Presentations
>>>
>>> 3/1/2024
>>>
>>> 10:00am-3:00pm
>>>
>>> *All team members must attend all sessions, including the full kick-off,
>>> weekly sessions in the assigned Block and lessons learned.
>>>
>>>
>>>
>>> *Entrepreneurial Lead (EL *This is the person will act as the team
>>> lead/organizer who will focus on outreach, identifying and setting up
>>> interviews with stakeholders and preparing weekly report outs. This person
>>> could include PhD students, PostDocs or early-stage investigators seeking
>>> an opportunity to develop leadership and industry skills.
>>>
>>>
>>>
>>> *Technical Lead (TL):* The Technical Lead is typically the Principal
>>> Investigator (PI) or co-PI or other senior team member who possesses deep
>>> expertise in the technology/innovation being developed and has
>>> decision-making authority over project direction. The TL works with the
>>> team to ensure that technical aspects of the innovation align with
>>> identified OSE community needs and opportunities.
>>>
>>>
>>>
>>> *Industry Mentor (IM):* This team member is someone with extensive
>>> experience developing OSEs with deep understanding of how they operate.
>>> This person plays a pivotal role by offering insights from their
>>> perspective of industry practices, OSE governance, OSE standards and
>>> sustainability models. The IM works with the team to ensure there are
>>> linkages between the work being done internally with the real-world needs
>>> of external OSE stakeholders.
>>>
>>>
>>>
>>> *The deadline for registration is Friday 12/8/2023. *
>>>
>>>
>>>
>>> Thank you. We look forward to seeing you at next week’s webinar. In the
>>> interim, if you have questions, please reply to pose(a)nsf.gov.
>>>
>>>
>>> -------------------- End of forwarded message --------------------
>>> _______________________________________________
>>> Pose mailing list -- pose(a)lists.tockos.org
>>> To unsubscribe send an email to pose-leave(a)lists.tockos.org
>>>
>> _______________________________________________
>> Pose mailing list -- pose(a)lists.tockos.org
>> To unsubscribe send an email to pose-leave(a)lists.tockos.org
>>
>
---------- Forwarded message ---------
From: NSF POSE <pose(a)nsf.gov>
Date: Thu, Dec 7, 2023 at 1:53 PM
Subject: POSE Phase II: Slides/Intro to Instructional Team
To: Stanton, Jeffrey M. <jstanton(a)nsf.gov>
Cc: Atherton, Peter S. <PATHERTO(a)nsf.gov>, Wasko, Molly M. <mwasko(a)nsf.gov>
Dear POSE Phase II Principal Investigators,
Sincerest thanks for those who were able to join the POSE Phase II
information session yesterday afternoon. Please find attached the slides
that were presented and feel free to share them with members of your
team. Here are a few follow-up things to know:
Registration Deadline: Friday, 12/8/2023
Registration Link: *Registration Link <https://nsfiip.force.com/mywork> *
Onboarding Session with lead instructor David Charron (all team members
should participate).
Day: Wednesday, 12/13/2023
Time: 1:00-2:30 ET
Zoom Link: *Webinar Zoom Link
<https://venturewell.zoom.us/j/94152377487?pwd=cGxzbGJtczhEODJZQVdKSjJpNEc5d…>*
Meeting ID: 941 5237 7487
Passcode: 77807699
Schedule: The dates and times in the schedule are set and will not be
changed. For Wednesday weekly sessions, your team will be able to request
the block of time to attend: either 1:00-3:00 or 2:00-4:00. If you have
team members that absolutely must miss 1-2 sessions, or parts of a session,
we can make some accommodations as long as you are covered by the rest of
your team. If you are attending a conference for ecosystem discovery and
interviews you are still expected to participate in the weekly sessions.
We allow excused absences for family and medical emergencies. Please notify
NSF of all absences.
If you need a consultation to help in identifying your team members and/or
you would like assistance finding an industry mentor, please reach out and
we can set up a meeting.
We appreciate your candid feedback, and we recognize that both the timing
and time commitment are challenging. Based on feedback from prior I-Corps
participants, we expect that you will find the experience invaluable in the
success of your project. We truly appreciate your efforts.
See you next week!
Molly Wasko, Ph.D.
Program Director, I-Corps
Division of Translational Impacts
Directorate for Technology, Innovation and Partnerships
National Science Foundation
Dear POSE Phase II Principal Investigator,
As part of your POSE Phase II award, NSF is providing a required training
program on ecosystem discovery, governance, and sustainability. The program
begins on January 16, 2024. We will hold a short webinar next week on
Wednesday, 12/6 at 3:00-4:00pm ET to introduce the training program and
answer questions. Please ensure that you or one of your POSE team members
attends, as the session will provide information and support on how to
register for the training. Feel free to pass the webinar invitation on to
your other POSE team members.
*Webinar Zoom Link
<https://venturewell.zoom.us/j/94152377487?pwd=cGxzbGJtczhEODJZQVdKSjJpNEc5d…>*
Meeting ID: 941 5237 7487
Passcode: 77807699
The training registration process is now open, and we encourage you to
explore it at your earliest convenience. *The deadline for registration is
one week from today: Friday 12/8/2023. *This program is an adaptation of
the highly successful NSF I-Corps program and is designed to provide best
practices, mentored guidance, and support for your teams during the
ecosystem discovery process. As principal investigator, you should register
on behalf of your team. Your team only needs to submit one registration.
*Registration Link <https://nsfiip.force.com/mywork> *
As part of the registration process, each POSE Phase II team will need
to *identify
3 team members to participate *and assign them to specific roles: EL, TL
and IM. A critical factor in registering team members is their ability to
commit to full participation in the program. Please review the program
schedule below (and attached) along with descriptions of the team roles.
*Program Summary:*
3.5 Day Kick-Off on 1/16-1/19
5 weekly sessions on Wednesdays – choose the 1:00-3:00 or 2:00-4:00 time
block
2 Day Finale on 2/29 and 3/1
*POSE I-Corps Schedule:*
*Event Name*
*Event Description*
*Date*
*Event Time (Eastern Time)*
*Onboarding*
NSF Intro
Registration and Q&A
12/6/2023
3:00-4:00pm
POSE Onboard
Prepare the Teams for
Kick-Off
12/13/2023
1:00-2:30pm
*Kick-Off*
Week 1
Introductions
1/16/2024
1:00-5:00pm
Class 1
Week 1
BMC and Methodology
1/17/2024
10:00am-3:00pm, Conduct 5+ Interviews,
and 6:00-8:00pm Office Hours
Class 2
Week 1
VPs
1/18/2024
10:00am-2:30pm, Conduct 5+ Interviews,
and 6:00-8:00pm Office Hours
Class 3
Week 1
CS and Roles
1/19/2024
10:00am-2:30pm
*Weekly Sessions*
Class 4
Wed - Week 2
CS & Impact
1/24/2024
Block A 1:00-3:00pm or Block B 2:00-4:00pm
and 30 minute Office Hours during the week
Class 5
Wed - Week 3
Channels & Relationships
1/31/2024
Block A 1:00-3:00pm or Block B 2:00-4:00pm
and 30 minute Office Hours during the week
Class 6
Wed - Week 4
Revenues/Sustainability
2/7/2024
Block A 1:00-3:00pm or Block B 2:00-4:00pm
and 30 minute Office Hours during the week
Class 7
Wed - Week 5
Governance & ARP
2/14/2024
Block A 1:00-3:00pm or Block B 2:00-4:00pm
and 30 minute Office Hours during the week
Class 8
Wed - Week 6
Milestones/Timelines & ARC
2/21/2024
Block A 1:00-3:00pm or Block B 2:00-4:00pm
and 30 minute Office Hours during the week
*Lessons Learned*
Class 9
Week 7
Penultimate Day
2/29/2024
11:30am-6:00pm
Class 10
Week 7
Final Presentations
3/1/2024
10:00am-3:00pm
*All team members must attend all sessions, including the full kick-off,
weekly sessions in the assigned Block and lessons learned.
*Entrepreneurial Lead (EL *This is the person will act as the team
lead/organizer who will focus on outreach, identifying and setting up
interviews with stakeholders and preparing weekly report outs. This person
could include PhD students, PostDocs or early-stage investigators seeking
an opportunity to develop leadership and industry skills.
*Technical Lead (TL):* The Technical Lead is typically the Principal
Investigator (PI) or co-PI or other senior team member who possesses deep
expertise in the technology/innovation being developed and has
decision-making authority over project direction. The TL works with the
team to ensure that technical aspects of the innovation align with
identified OSE community needs and opportunities.
*Industry Mentor (IM):* This team member is someone with extensive
experience developing OSEs with deep understanding of how they operate.
This person plays a pivotal role by offering insights from their
perspective of industry practices, OSE governance, OSE standards and
sustainability models. The IM works with the team to ensure there are
linkages between the work being done internally with the real-world needs
of external OSE stakeholders.
*The deadline for registration is Friday 12/8/2023. *
Thank you. We look forward to seeing you at next week’s webinar. In the
interim, if you have questions, please reply to pose(a)nsf.gov.
-------------------- End of forwarded message --------------------