kernel-intro-sources: add elixir reference

[arnout]

This reference exists in the embedded system development slides, but not in the kernel training. Elixir is kind of important if you ask me :-)

While using the bootlin materials for an internal training, there are a few improvements I made (at least, I consider them improvments myself). Since you probably don't agree with all of them, I'm making separate PRs for each. Feel free to close the PR if you disagree with the idea.

[miquelraynal]

I think I was the one who removed the slide in the first place. There are a number of reasons why I considered removing this:

• I believe if you are down to learning how the kernel works internally, you already are familiar with some text editor. And the text editor mostly does not matter.
• We have URLs towards Elixir all over the place.
• We already give the "take whatever editor" advise in the labs (one of the first labs) and we even advise to use Elixir in one of the vert first labs.

And most importantly, I wanted to reduce the time before people were getting into some real coding, which is usually a part that is enjoyed by trainees, as the introduction was a bit too long.

I don't have any strong feeling either, so I'll let others comment :-)

[Tropicao]

Hello,
to add my 2 cents, I am slightly in favor of not adding such change. My arguments will be pretty similar to some from Miquel:

• this is already covered in the labs, where people will actually start manipulating the kernel source code (but indeed, not with as many details as with this change)
• it is up to people to select their development tools, and they will likely already have their own before starting learning about kernel development (for the common tools like text editor I mean)

[arnout]

It was useful for me, but I understand your reasoning. Closing.

[Tropicao]

ACK. I've propagated the comment request internally, and the overall opinion was shared by other trainers/colleagues.
Nonetheless, many thanks for your multiple other contributions to the training materials !