diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-09-09 23:14:30 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-09-09 23:14:30 +0200 |
| commit | da6cf94fc47f38cab580e9df1c6e6a46894aded5 (patch) | |
| tree | 1f7a4534926a79ee6376770c63cccd2aa9e37442 /kernel/kapi/devices/driver.cpp | |
| parent | 0467dc8f98ccef42290f7f7bd95060bfe198c035 (diff) | |
| parent | b99b79d8080cc1491f96069677d9ce0b7775a4f0 (diff) | |
| download | kernel-da6cf94fc47f38cab580e9df1c6e6a46894aded5.tar.xz kernel-da6cf94fc47f38cab580e9df1c6e6a46894aded5.zip | |
Merge branch 'fmorgner/x86-64-double-fault-handling' into 'develop'
x86_64: handle double faults
See merge request teachos/kernel!59
Diffstat (limited to 'kernel/kapi/devices/driver.cpp')
| -rw-r--r-- | kernel/kapi/devices/driver.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/kapi/devices/driver.cpp b/kernel/kapi/devices/driver.cpp index 5ca92dc8..0f103cbc 100644 --- a/kernel/kapi/devices/driver.cpp +++ b/kernel/kapi/devices/driver.cpp @@ -1,6 +1,7 @@ #include <kapi/capabilities/facet_id.hpp> #include <kapi/devices.hpp> +#include <kstd/memory.hpp> #include <kstd/result.hpp> #include <cstdint> @@ -29,7 +30,7 @@ namespace kapi::devices return kstd::success(); } - auto driver::query_facet(kapi::capabilities::facet_id) -> void * + auto driver::query_facet(kapi::capabilities::facet_id) -> kstd::observer_ptr<void> { return nullptr; } |