Abdelatif Guettouche

What's going to be stored in this field from the driver side? @xiaoxiang781216 do you have a usage for this? (just curious).

> > What's going to be stored in this field from the driver side? > > @xiaoxiang781216 do you have a usage for this? (just curious). > > the flash...

Since the FPU state is stored in the interrupt stack frame, isn't the issue more generic with lazy context switching?

> In fact, the context switch during the usleep() call does NOT save the FPU regs in TCB since FS is 2 at that time. Now we only have a...

I was talking about the current layout in general and not particularly about the FPU test. I believe that since we are lazily saving/restoring FPU state, it should not be...

> > I was talking about the current layout in general and not particularly about the FPU test. I believe that since we are lazily saving/restoring FPU state, it should...

> I didn't know that the CI will build every sim configuration. It looks like the Micropython isn't building in the CI. The micropython config is building, it's failing though,...

For the config stage, will this combine `dirlinks` and `context` with the steps performed in `configure.sh`?

@patacongo in the past refused to use technologies that will require someone else to maintain. Basically, he wanted to avoid situations where parts of the project depend on a tool...

@xiaoxiang781216 please see the latest issue: https://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_barrier_destroy.html It says (at the bottom): > The [EBUSY] error for a barrier that is in use or an already initialized barrier object is...