Re: How to L4Re on the S32G

Adam Lackorzynski <[email protected]> Mon, 6 Jan 2025 02:56:49 +0100

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

Hi Qiang,

On Sat Jan 04, 2025 at 17:03:21 +0800, qiang xu wrote:
> I would like to know how to run L4Re on the S32G. I couldn’t find any
> related documentation. I’m a beginner in this technical field, so could you
> provide friendly step-by-step instructions?

One option is to use the snapshot from l4re.org as it has a menu-driven
target selection which includes the S32G. This hides quite a few of the
details but gives examples for the S32G right away.
How do you boot your S32G?

Adam
_______________________________________________
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]