| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 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 | 2 | -1/+6 | |
| 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 | 4 | -15/+359 | |
| 6 days | kapi: add two missing test cases | Felix Morgner | 1 | -2/+55 | |
| 7 days | chore: hide protocol implementations | Felix Morgner | 4 | -69/+74 | |
| 7 days | chore: minor cleanups | Felix Morgner | 4 | -11/+10 | |
| 7 days | kernel: pull out driver initialization | Felix Morgner | 3 | -5/+7 | |
| 7 days | kapi: fix missing member implementation | Felix Morgner | 1 | -1/+4 | |
| 7 days | kapi: move interface_id | Felix Morgner | 9 | -31/+61 | |
| 7 days | kapi: rename block and character device | Felix Morgner | 15 | -45/+48 | |
| 7 days | kapi: move block and character device | Felix Morgner | 16 | -52/+63 | |
| 7 days | kernel: move root bus | Felix Morgner | 6 | -32/+32 | |
| 7 days | kernel: remove boot modules registry | Felix Morgner | 23 | -485/+283 | |
| 7 days | x86_64: clean up isa drivers | Felix Morgner | 6 | -18/+29 | |
| 7 days | kapi: rename interface to interface_id | Felix Morgner | 26 | -64/+63 | |
| 7 days | kapi: rename boot_module to module | Felix Morgner | 8 | -22/+21 | |
| 7 days | kapi: extract real boot module registry singleton | Felix Morgner | 16 | -222/+261 | |
| 7 days | kapi: clean up directory names | Felix Morgner | 10 | -22/+18 | |
| 7 days | kapi: formally extract device registry | Felix Morgner | 12 | -122/+187 | |
| 7 days | kernel: restructure devices and drivers | Felix Morgner | 15 | -40/+93 | |
| 7 days | x86_64: split files for devices and drivers | Felix Morgner | 13 | -106/+185 | |
| 7 days | kapi: fix interface registry tests | Felix Morgner | 2 | -4/+15 | |
| 7 days | kstd: fix smart pointer pretty printers | Felix Morgner | 1 | -4/+30 | |
| 7 days | kapi: fix device pretty printer | Felix Morgner | 1 | -1/+4 | |
| 7 days | kapi: add driver stacking test | Felix Morgner | 2 | -0/+231 | |
| 7 days | kapi: add driver registry tests | Felix Morgner | 1 | -0/+203 | |
| 7 days | kapi/interrupts: add ISR context | Felix Morgner | 4 | -16/+29 | |
| 7 days | kernel: fix device number registry tests | Felix Morgner | 1 | -2/+2 | |
| 7 days | kapi: generalize device interface resolution | Felix Morgner | 6 | -50/+69 | |
| 7 days | kapi: add find overload to find composed interfaces | Felix Morgner | 3 | -2/+43 | |
| 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 | 2 | -3/+2 | |
| 7 days | kapi: let drivers choose their major number | Felix Morgner | 9 | -25/+78 | |
| 7 days | kapi/device: remove init() | Felix Morgner | 21 | -139/+29 | |
| 8 days | kernel: port ram disk to new driver architecture | Felix Morgner | 16 | -431/+395 | |
| 8 days | x86_64: port legacy PIT driver to new architecture | Felix Morgner | 10 | -28/+199 | |
| 8 days | kapi: call device_attached when adding a child | Felix Morgner | 1 | -1/+5 | |
| 8 days | kapi: add driver registry | Felix Morgner | 10 | -2/+277 | |
| 8 days | kapi: introduce driver and bus protocol | Felix Morgner | 7 | -0/+231 | |
| 8 days | kstd: fix gdb pretty printers for pointers | Felix Morgner | 2 | -4/+34 | |
| 8 days | kstd: fix some shared_ptr bugs | Felix Morgner | 1 | -12/+16 | |
| 8 days | kstd: improve shared_ptr implementation | Felix Morgner | 1 | -175/+308 | |
| 8 days | kernel/devices: add storage tests | Felix Morgner | 1 | -0/+48 | |
 |
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |