关于这个播客 🔗
Flo and Julian talk to their guests about engineering microkernels, operating systems and the community around these technologies.
更新频率:
every 43 days
平均音频长度:
65 minutes
英语
美国
11 集
自从 2019年12月18日
episodic
最新一集 🔗
Show Notes and Links
Michael
Roitzsch
returns to Syslog and we talk about scheduling in operating
systems. Michael has focussed his research on soft real-time systems
and explored, among other things, how good scheduling can help with
smooth video display. In this episode, we introduce basic sc...
以前的节目 🔗
Show Notes and Links
Werner Haas, resident hardware expert and colleague at Cyberus
Technology, joins Flo
and Julian to talk about the state of processor hardware in 2020.
We discuss instruction set archicture (ISA) in the context of the x86
vs. ARM vs. RISC-V debate and why CPU ISA might not...
Show Notes and Links
In this episode, we talk with Martin Decky
about HelenOS. HelenOS is a modular
multiserver operating system based on a custom microkernel. It has
been implemented by a group of people at the Charles
University in Prague and is unusual for being a
non-commercial operating sy...
Show Notes and Links
Flo and Julian managed to get Marius Melzer
into the recording studio and talk with him about his passion: Formal
Verification. In this episode, we make a broader sweep compared to our
earlier spotlight on Ada/SPARK
and touch on many projects that are on-going in the formal...
Show Notes and Links
Flo and Julian invited Jo Van
Bulck to the Syslog
Podcast. Jo is probably best known for discovering the
Foreshadow vulnerability in Intel
CPUs, but his research is into the broader security of Trusted
Execution Environments (TEEs). In this episode, we’ve picked the most
hi...
Show Notes and Links
Flo and Julian talk with Michael Hohmuth, who is the head and
co-founder of Kernkonzept. Michael was
already interested in operating systems before he joined the OS group
at TU Dresden. He started to write the
first L4 variant in a high-level
language when the state of the
...
Show Notes and Links
Flo and Julian talk with Michael
Roitzsch
who is the acting head of the Chair of Operating Systems at our alma
mater and researcher at the Barkhausen
Institute. Michael currently
participates in the PEPP-PT project and
shares his insights on the technical and political chal...
Show Notes and Links
Flo and Julian talk with Michael
Engel who went from
teaching operating systems fundamentals in Germany to researching
sustainability at the NTNU in Norway.
Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
Send feedback to podcast@ukv...
Show Notes and Links
Flo and Julian talk with Norman Feske, one of the founders of Genode
Labs, about how to turn an idea into a
company. We touch on operating system research, the Genode OS
Framework, and Sculpt
OS.
Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC ...
Show Notes and Links
Flo and Julian talk to Alexander Senier about
Ada,
SPARK and how to build reliable
and trustworthy software. We also talk about Alexander’s company,
Componolit.
Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
Send feedback to podcas...
认领这个播客
Why to claim podcasts?
If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes
podcast pages.
It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
✓
Manually refresh the RSS feed to sync up
✓
Get a verified badge (
✓
) alongside with your podcast name on Listen Notes
✓
Post 分类广告 for sponsorship,
guests, co-hosts,
cross-promotion...
✓
Respond to listener comments on Listen Notes
✓
Use speech-to-text techniques to transcribe your show and
edit transcripts
✓
Improve the presence of your podcasts, e.g., self-service
播客创作者访谈...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
我们的官方 X（原 Twitter）账户 will retweet to promote
your show to our followers.
Coming soon:
◯ Self-service promotion on Listen Notes
◯ Track your podcast stats on Listen
Notes, e.g., listens, page
views...
◯ Manage episodes
