<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pub/teachos/kernel.git/kernel/kapi/devices/driver_registry.cpp, branch develop</title>
<subtitle>An educational OS kernel</subtitle>
<link rel='alternate' type='text/html' href='http://source.arknet.ch/pub/teachos/kernel.git/'/>
<entry>
<title>kapi: fix driver registry locking</title>
<updated>2026-07-26T22:08:49+00:00</updated>
<author>
<name>Felix Morgner</name>
<email>felix.morgner@ost.ch</email>
</author>
<published>2026-07-26T22:08:49+00:00</published>
<link rel='alternate' type='text/html' href='http://source.arknet.ch/pub/teachos/kernel.git/commit/?id=12002c540c9de2342d829c5b073c65cfb4549b35'/>
<id>12002c540c9de2342d829c5b073c65cfb4549b35</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>chore: replace "interface" with "facet"</title>
<updated>2026-07-26T00:27:59+00:00</updated>
<author>
<name>Felix Morgner</name>
<email>felix.morgner@ost.ch</email>
</author>
<published>2026-07-26T00:27:59+00:00</published>
<link rel='alternate' type='text/html' href='http://source.arknet.ch/pub/teachos/kernel.git/commit/?id=59f54d012c71e782966e9d083f1ee9459fd3fd70'/>
<id>59f54d012c71e782966e9d083f1ee9459fd3fd70</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>kapi: introduce driver names</title>
<updated>2026-07-25T12:30:10+00:00</updated>
<author>
<name>Felix Morgner</name>
<email>felix.morgner@ost.ch</email>
</author>
<published>2026-07-25T12:30:10+00:00</published>
<link rel='alternate' type='text/html' href='http://source.arknet.ch/pub/teachos/kernel.git/commit/?id=2bf97dc2927da8f051661d104d52fec41222c670'/>
<id>2bf97dc2927da8f051661d104d52fec41222c670</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>kapi: fix driver probing</title>
<updated>2026-07-25T11:47:01+00:00</updated>
<author>
<name>Felix Morgner</name>
<email>felix.morgner@ost.ch</email>
</author>
<published>2026-07-25T11:47:01+00:00</published>
<link rel='alternate' type='text/html' href='http://source.arknet.ch/pub/teachos/kernel.git/commit/?id=501b4f27c5f8e114cc56762e30105112e86b885c'/>
<id>501b4f27c5f8e114cc56762e30105112e86b885c</id>
<content type='text'>
Previously, a driver was only bound after probing was successful.
However, if the probing itself relies (directly or indirectly) on the
device having a bound driver, probing fails. This patchset introduces
a new device state to mark that we are currently probing and thus the
bound driver is not yet definitively bound to the device. This allows
us to bind early, without violating the perceived device state.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Previously, a driver was only bound after probing was successful.
However, if the probing itself relies (directly or indirectly) on the
device having a bound driver, probing fails. This patchset introduces
a new device state to mark that we are currently probing and thus the
bound driver is not yet definitively bound to the device. This allows
us to bind early, without violating the perceived device state.
</pre>
</div>
</content>
</entry>
<entry>
<title>kapi: formally extract device registry</title>
<updated>2026-07-24T15:50:16+00:00</updated>
<author>
<name>Felix Morgner</name>
<email>felix.morgner@ost.ch</email>
</author>
<published>2026-07-24T15:50:16+00:00</published>
<link rel='alternate' type='text/html' href='http://source.arknet.ch/pub/teachos/kernel.git/commit/?id=e99eb52d9923606dd325862a5f2e649eee0b2d3e'/>
<id>e99eb52d9923606dd325862a5f2e649eee0b2d3e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>kapi: add driver registry</title>
<updated>2026-07-23T19:46:16+00:00</updated>
<author>
<name>Felix Morgner</name>
<email>felix.morgner@ost.ch</email>
</author>
<published>2026-07-23T19:09:34+00:00</published>
<link rel='alternate' type='text/html' href='http://source.arknet.ch/pub/teachos/kernel.git/commit/?id=fbc31c3e385363f9eaba93238756a739e09ce873'/>
<id>fbc31c3e385363f9eaba93238756a739e09ce873</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
