6 Jan
2025
6 Jan
'25
2:56 a.m.
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 -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de