| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 4 days | build: add tsan build | Felix Morgner | 3 | -6/+10 | |
| 4 days | kapi/devices: implement locking discipline | Felix Morgner | 10 | -145/+308 | |
| 4 days | kapi: add tracked mutex tests | Felix Morgner | 2 | -5/+79 | |
| 4 days | kapi: implement a simple, tracked mutex | Felix Morgner | 3 | -0/+63 | |
| 5 days | kernel: add missing ofd test | Felix Morgner | 1 | -0/+14 | |
| 5 days | kernel: fail early on removed device I/O | Felix Morgner | 2 | -0/+70 | |
| 5 days | kernel: add devfs live-update tests | Felix Morgner | 2 | -1/+63 | |
| 5 days | kapi: implement device removal | Felix Morgner | 1 | -6/+76 | |
| 5 days | kapi/device: allow removing devices from busses | Felix Morgner | 3 | -2/+129 | |
| 5 days | kapi: move protocol pointer to base bus | Felix Morgner | 5 | -46/+21 | |
| 5 days | kernel/bus: fix return type in boot_modules_protocol | Felix Morgner | 1 | -1/+2 | |
| 5 days | chore: minor cleanups after refactoring | Felix Morgner | 3 | -22/+18 | |
| 5 days | chore: replace "interface" with "facet" | Felix Morgner | 27 | -406/+428 | |
| 5 days | kapi: introduce the "bus" facet | Felix Morgner | 1 | -0/+10 | |
| 6 days | kapi: introduce driver names | Felix Morgner | 7 | -5/+39 | |
| 6 days | kernel: subscribe devfs to the number registry | Felix Morgner | 4 | -33/+57 | |
| 6 days | 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. | |||||
| 6 days | 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. | |||||
| 6 days | kernel: make device number registry dynamic | Felix Morgner | 2 | -62/+168 | |
| 6 days | kapi: implement interface registry notifications | Felix Morgner | 3 | -10/+219 | |
| 6 days | kapi: add two missing test cases | Felix Morgner | 1 | -2/+55 | |
| 6 days | chore: hide protocol implementations | Felix Morgner | 2 | -35/+40 | |
| 6 days | chore: minor cleanups | Felix Morgner | 2 | -6/+5 | |
| 6 days | kernel: pull out driver initialization | Felix Morgner | 3 | -5/+7 | |
| 6 days | kapi: move interface_id | Felix Morgner | 2 | -4/+3 | |
| 6 days | kapi: rename block and character device | Felix Morgner | 12 | -32/+35 | |
| 6 days | kapi: move block and character device | Felix Morgner | 12 | -35/+46 | |
| 6 days | kernel: move root bus | Felix Morgner | 6 | -32/+32 | |
| 6 days | kernel: remove boot modules registry | Felix Morgner | 16 | -298/+188 | |
| 7 days | kapi: rename interface to interface_id | Felix Morgner | 12 | -30/+30 | |
| 7 days | kapi: rename boot_module to module | Felix Morgner | 3 | -5/+5 | |
| 7 days | kapi: extract real boot module registry singleton | Felix Morgner | 10 | -77/+158 | |
| 7 days | kapi: clean up directory names | Felix Morgner | 5 | -8/+2 | |
| 7 days | kapi: formally extract device registry | Felix Morgner | 8 | -75/+125 | |
| 7 days | kernel: restructure devices and drivers | Felix Morgner | 11 | -37/+88 | |
| 7 days | x86_64: split files for devices and drivers | Felix Morgner | 1 | -0/+3 | |
| 7 days | kapi: fix interface registry tests | Felix Morgner | 2 | -4/+15 | |
| 7 days | kapi: add driver stacking test | Felix Morgner | 1 | -0/+230 | |
| 7 days | kapi: add driver registry tests | Felix Morgner | 1 | -0/+203 | |
| 7 days | kapi/interrupts: add ISR context | Felix Morgner | 1 | -7/+12 | |
| 7 days | kernel: fix device number registry tests | Felix Morgner | 1 | -2/+2 | |
| 7 days | kapi: generalize device interface resolution | Felix Morgner | 4 | -33/+39 | |
| 7 days | kapi: add find overload to find composed interfaces | Felix Morgner | 2 | -2/+36 | |
| 7 days | kernel: generalize test fix | Felix Morgner | 5 | -52/+134 | |
| 7 days | kernel: fix device inode tests | Felix Morgner | 1 | -0/+20 | |
| 7 days | kernel: fix device number registry tests | Felix Morgner | 1 | -4/+44 | |
| 7 days | kernel: fix boot module based tests | Felix Morgner | 2 | -8/+11 | |
| 7 days | kernel/devfs: re-key devfs storage | Felix Morgner | 3 | -17/+11 | |
| 7 days | kernel/rd: fix device numbering | Felix Morgner | 2 | -6/+8 | |
| 7 days | libs/mb2: fix boot module command line bug | Felix Morgner | 1 | -2/+1 | |
 |
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |