Hi Ivan,
where I can find info about:
"Add support for ARM platforms to use SMC forwarding.
Note that this requires a kernel option to be set that right now is not
set by default on any ARM platforms in Microkit."
I want to enable SMC forwarding.
Best,
On Thursday, March 6, 2025, Ivan Vel
On 8 Mar 2025, at 06:34, Isaac Beckett via Devel wrote:
>
> Is there any work ongoing to use seL4 for a general purpose operating system?
> Like, a situation where you may have e.g. PC style hardware that can have all
> sorts of reconfiguration between power-off and next boot, or even while
>
Hello! I saw Microkit 2.0 has just been released, and it’s prompted a question
I’ve been thinking about since before Microkit, when CaMKes was the main thing:
Both Microkit and Camkes are designed for embedded and/or static systems, where
there is no detection/configuration of hardware at runtim
On Fri, Mar 7, 2025 at 8:37 PM Isaac Beckett via Devel
wrote:
> Hello! I saw Microkit 2.0 has just been released, and it’s prompted a
> question I’ve been thinking about since before Microkit, when CaMKes was
> the main thing:
>
> Both Microkit and Camkes are designed for embedded and/or static s
On 8 Mar 2025, at 10:29, Andrew Warkentin via Devel wrote:
>
> I was trying to base the QNX-like OS I'm writing <
> https://gitlab.com/uxrt/uxrt-toplevel> on seL4, but I gave up and decided
> to fork it when I couldn't efficiently implement QNX-like IPC (which
> involves copying arbitrary-length
