Andy Bui

> The conceptual side in the pre-RFC discussion on alternative designs etc should be resolved first before people spend a lot of time reviewing details. Yep, just wanted to get...

> Is this a duplicate of https://github.com/seL4/seL4/issues/540? Woops, seems like it, I'm happy to close this. Is there any real preference for a potential fix here? Since this seems to...

> So how much does Cortex-A78AE differ from Cortex-A78? That is, are the AE differences visible to seL4? If not, perhaps just call it Cortex-A78? Or leave this to be...

> So, what's the plan for this? It does not seem like a good idea to merge a port that needs a lot of tests disabled.. Indeed, on the TODO...

https://github.com/seL4/seL4/actions/runs/7823562148/job/21344707601?pr=1135 Is the preprocess failure suggesting changes to me? Not sure I understand what it's trying to say. Requested re-review for new commit.

Cursory comparison of the TX1 benchmark run with the 2024-02-09 results here https://sel4.systems/About/Performance/home.pml: Figures in cycles (std dev) Mainline (Non-shareable mappings): Call: 403 (5) Reply: 415 (0) MCS Call: 433...

> Did you manage to fix the timer problems in sel4test? Unfortunately no. We don't use libplatsupport so I'll need to find the bandwidth to take a deeper look.

Hey, no problem, this was just something I found out awhile ago, a patch should be easy.

Yes, my anecdote is that I use the seL4 docs/tutorial to refresh myself on the fastpath condition, it would be easier if it was in the manual :)

The doc lists 5 dot points for fastpath conditions and it might not be so simple for beginners: - seL4_Call or seL4_ReplyRecv must be used. - The data in the...