| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2026-07-30 | kernel/devices: generalize pseudo signature | Felix Morgner | 2 | -31/+22 | |
| 2026-07-30 | kernel: implement dev zero and null | Felix Morgner | 15 | -9/+618 | |
| 2026-07-30 | kernel: add support for character devices | Felix Morgner | 4 | -4/+29 | |
| 2026-07-30 | kerne/fs: add more reserved numbers | Felix Morgner | 1 | -0/+15 | |
| 2026-07-29 | kernel: allow reallocation of minor numbers | Felix Morgner | 2 | -1/+25 | |
| 2026-07-29 | kernel: improve minor number allocation | Felix Morgner | 2 | -11/+29 | |
| 2026-07-28 | chore: post refactoring cleanup | Felix Morgner | 1 | -6/+0 | |
| 2026-07-28 | x86_64: split lapic according to UDM | Felix Morgner | 7 | -39/+5 | |
| 2026-07-27 | x86_64: port PIT to devices resources | Felix Morgner | 1 | -1/+2 | |
| 2026-07-27 | kapi: fix device resource lookup | Felix Morgner | 2 | -5/+321 | |
| 2026-07-27 | kapi: add device resources | Felix Morgner | 2 | -0/+444 | |
| 2026-07-27 | kapi: fix driver registry locking | Felix Morgner | 4 | -12/+125 | |
| 2026-07-26 | kapi/bus: extend stress tests | Felix Morgner | 1 | -2/+79 | |
| 2026-07-26 | build: separate normal from stress tests | Felix Morgner | 1 | -6/+12 | |
| 2026-07-26 | kapi/bus: lock correct mutex | Felix Morgner | 1 | -1/+1 | |
| 2026-07-26 | build: add tsan build | Felix Morgner | 3 | -6/+10 | |
| 2026-07-26 | kapi/devices: implement locking discipline | Felix Morgner | 10 | -145/+308 | |
| 2026-07-26 | kapi: add tracked mutex tests | Felix Morgner | 2 | -5/+79 | |
| 2026-07-26 | kapi: implement a simple, tracked mutex | Felix Morgner | 3 | -0/+63 | |
| 2026-07-26 | kernel: add missing ofd test | Felix Morgner | 1 | -0/+14 | |
| 2026-07-26 | kernel: fail early on removed device I/O | Felix Morgner | 2 | -0/+70 | |
| 2026-07-26 | kernel: add devfs live-update tests | Felix Morgner | 2 | -1/+63 | |
| 2026-07-26 | kapi: implement device removal | Felix Morgner | 1 | -6/+76 | |
| 2026-07-26 | kapi/device: allow removing devices from busses | Felix Morgner | 3 | -2/+129 | |
| 2026-07-26 | kapi: move protocol pointer to base bus | Felix Morgner | 5 | -46/+21 | |
| 2026-07-26 | kernel/bus: fix return type in boot_modules_protocol | Felix Morgner | 1 | -1/+2 | |
| 2026-07-26 | chore: minor cleanups after refactoring | Felix Morgner | 3 | -22/+18 | |
| 2026-07-26 | chore: replace "interface" with "facet" | Felix Morgner | 27 | -406/+428 | |
| 2026-07-25 | kapi: introduce the "bus" facet | Felix Morgner | 1 | -0/+10 | |
| 2026-07-25 | kapi: introduce driver names | Felix Morgner | 7 | -5/+39 | |
| 2026-07-25 | kernel: subscribe devfs to the number registry | Felix Morgner | 4 | -33/+57 | |
| 2026-07-25 | kernel: bootstrap device_number_registry | Felix Morgner | 2 | -37/+54 | |
| Previously, the device number registry would only receive devices from the interface registry that where published **after** the device number registry was constructed. This introduced a subtle state race, in which the device number registry would miss devices that already had published interfaces. | |||||
| 2026-07-25 | kapi: fix driver probing | Felix Morgner | 1 | -1/+5 | |
| 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. | |||||
| 2026-07-25 | kernel: make device number registry dynamic | Felix Morgner | 2 | -62/+168 | |
| 2026-07-25 | kapi: implement interface registry notifications | Felix Morgner | 3 | -10/+219 | |
| 2026-07-25 | kapi: add two missing test cases | Felix Morgner | 1 | -2/+55 | |
| 2026-07-25 | chore: hide protocol implementations | Felix Morgner | 2 | -35/+40 | |
| 2026-07-25 | chore: minor cleanups | Felix Morgner | 2 | -6/+5 | |
| 2026-07-25 | kernel: pull out driver initialization | Felix Morgner | 3 | -5/+7 | |
| 2026-07-24 | kapi: move interface_id | Felix Morgner | 2 | -4/+3 | |
| 2026-07-24 | kapi: rename block and character device | Felix Morgner | 12 | -32/+35 | |
| 2026-07-24 | kapi: move block and character device | Felix Morgner | 12 | -35/+46 | |
| 2026-07-24 | kernel: move root bus | Felix Morgner | 6 | -32/+32 | |
| 2026-07-24 | kernel: remove boot modules registry | Felix Morgner | 16 | -298/+188 | |
| 2026-07-24 | kapi: rename interface to interface_id | Felix Morgner | 12 | -30/+30 | |
| 2026-07-24 | kapi: rename boot_module to module | Felix Morgner | 3 | -5/+5 | |
| 2026-07-24 | kapi: extract real boot module registry singleton | Felix Morgner | 10 | -77/+158 | |
| 2026-07-24 | kapi: clean up directory names | Felix Morgner | 5 | -8/+2 | |
| 2026-07-24 | kapi: formally extract device registry | Felix Morgner | 8 | -75/+125 | |
| 2026-07-24 | kernel: restructure devices and drivers | Felix Morgner | 11 | -37/+88 | |
 |
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |