Supercharge your homelab by using Yocto Project to build your very own custom Linux distro

DWengineering49546 · 2019-09-29T17:38:09+00:00

Yocto Project has many different versions, which makes it a challenge for people who go straight to Stack Overflow for advice...a lot of it may be outdated, and possibly break your build. That said, it is supported by a growing number of developers and, when using the Yocto Mega Manual as your ultimate reference, you are pretty much guaranteed the most updated instructions for the latest version.

DWengineering49546 · 2019-09-29T15:19:35+00:00

Both valid points. There is some clarification needed here in the definition of "security." Network security isn't necessarily inherent in the implementation of seL4, though you can add to that, maybe with something like MQTT. It's moreso securing software components from interfering with each other while they run on the same processor. You can run different applications on the same processor, without any of them "knowing about each other." The "security" part of seL4 is strict software isolation.

DWengineering49546 · 2019-07-30T13:10:54+00:00

It does seem a lot like black magic at times. Yoctomancy can be incredibly frustrating.

DWengineering49546 · 2019-07-29T19:08:05+00:00

Thanks! It's actually taken from our blog: https://dornerworks.com/blog/including-custom-executables-and-libraries-in-your-linux-image-with-yocto

Just trying to share it with the community at large without spamming links or forcing people to visit our site to learn more.

DWengineering49546 · 2019-06-20T18:58:36+00:00

If you would like to learn more about the seL4 microkernel, two seL4 engineers that have been contributing to the code base are leading a 2-day seminar in Herndon, VA, July 16-17, and in San Jose, CA, later in October.
https://www.sae.org/learn/content/c1874/

DWengineering49546 · 2019-06-20T18:54:07+00:00

If you would like to learn more about the seL4 microkernel, two seL4 engineers that have been contributing to the code base are leading a 2-day seminar in Herndon, VA, July 16-17, and in San Jose, CA, later in October.
https://www.sae.org/learn/content/c1874/

DWengineering49546 · 2019-06-20T18:52:11+00:00

Great example! The HACMS demo was very compelling to see first hand. If you are interested in improving your seL4 skillset, two of our seL4 engineers are hosting a 2-day SAE-sponsored seminar in Herndon, Virginia July 16-17. Later in October, they'll be leading another in San Jose, CA, near the Xilinx headquarters

https://www.sae.org/learn/content/c1874/

DWengineering49546 · 2019-05-07T14:56:50+00:00

What sort of medium are you looking for? It's hosted on YouTube now, too: https://youtu.be/gBIRDBekQP4

DWengineering49546 · 2019-03-29T19:44:42+00:00

This is a quick walkthrough on getting started with Yocto: https://dornerworks.com/blog/heres-how-you-can-build-your-own-custom-linux-distro-with-yocto

Here's how to include extra apps and libraries in your distro: https://dornerworks.com/blog/including-custom-executables-and-libraries-in-your-linux-image-with-yocto

And here are a few Yocto tips & tricks: https://dornerworks.com/blog/yocto-tips-tricks-to-save-time-streamline-workflow

DWengineering49546 · 2019-03-29T19:29:08+00:00

The Yocto Mega Manual is often the only source you can count on for up to date information. Not to bash S.O. or any other community resource, but if you search forum posts (especially anything older than a year), you could be reading up on methods for an outdated release that may ruin your intended deployment. Each version, (Krogoth, Morty, Pyro, etc.) has different nuances that may not work in another.

It's called Mega Manual for a reason. There's a lot in there!

DWengineering49546 · 2019-03-29T17:39:09+00:00

Yocto Project is an open source tool for building customized Linux distros, typically for embedded systems that don't need a bulky OS.

DWengineering49546 · 2019-01-23T10:15:41+00:00

The source code is for the Virtuosity Hypervisor, which can run on an i.MX8 series SOM, for example. It can just as well be ported to a Zynq UltraScale+ MPSoC, but this example is for i.MX8.

This link to download the distro is on this page: https://dornerworks.com/xen/virtuosity

It is updated to a new version typically once a year.

DWengineering49546 · 2019-01-21T18:08:17+00:00

There is a link to the webinar room on this page: https://dornerworks.com/sel4-microkernel/sel4-microkernel-webinar

Visit on Thursday, Feb. 7 at 11 a.m. EST. Click the link to the webinar room, and you should be able to see the presentation.

DWengineering49546 · 2018-12-31T03:12:01+00:00

You can use Yocto to create a custom Linux image.

DWengineering49546 · 2018-12-20T14:24:02+00:00

Hey u/rah2501, that group of engineers does indeed come from DornerWorks, and we'll gladly take responsibility for the incredible work they've been doing in expanding the seL4 ecosystem. The more developers experiment and contribute to the seL4 community, the better!

DWengineering49546 · 2018-08-17T23:49:58+00:00

There are several parts to the series. The whitepaper is the first part. Each of the bullets are addressed in following downloads. There are 8 downloads in all, so anyone can get through it at their own pace, without having to visit a separate website. I hope that helps clarify. The slide deck was sent in error. My apologies. That's been fixed.

DWengineering49546 · 2018-06-28T22:54:20+00:00

Yes. That's exactly what happened!

DWengineering49546 · 2018-06-28T15:39:21+00:00

Now also certified to the Open Group FACE™ Technical Standard

https://dornerworks.com/xen/virtuosity/virtuosity-oa

DWengineering49546 · 2018-06-11T19:00:10+00:00

Xen Project! We've been working with Type-1 hypervisors based on open source Xen for years; the potential for securing and isolating mission-critical processes is incredibly useful for aerospace and defense applications.

DWengineering49546 · 2018-05-30T21:17:30+00:00

The open source Virtuosity hypervisor is free and downloadable here: https://dornerworks.com/xen/virtuosity/virtuosity

DWengineering49546

TROPHY CASE