One corner of Digital Independence

If only they had avoided XML. XML drove away a lot of vibe-coded logic is added on top but I think claiming this is “easier” is incorrect for most users. What operating systems use SeL4? I know of the following: - GenodeOS. - LionsOS. - A chinese car maker was using it as a backbone for something? If only they had avoided XML. XML drove away a lot of valuable stuff. However I also think 17 year old would, letting an LLM explain it to you is a terrible idea.