diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-20 22:36:02 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-20 22:36:02 +0100 |
| commit | 5f110c1d1b6d3af193e2d490985ccda302a5ec2c (patch) | |
| tree | 5b861bcac0b0a00196b5e421389760c42b0b3238 /source | |
| parent | 95cec022e893359352cb3b4be7c3aed18aeac76b (diff) | |
chore: WG01 paper update.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg01/wg01.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/wg01.tex index d74db20..769208e 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/wg01.tex @@ -122,7 +122,7 @@ inline constexpr auto kInvalidType = 0; template <class Driver> concept IsValidDriver = requires(Driver drv) { - { drv.IsActive() && drv.Type() > kInvalidType }; + { static_assert(drv.IsActive() && drv.Type() > kInvalidType, "Driver is not valid for usage.") }; }; \end{lstlisting} Source: \href{https://github.com/nekernel-org/nekernel/blob/develop/src/libDDK/DriverKit/c%2B%2B/driver_base.h}{Link}.\\ Now, the problem with freestanding development is that such feature may be abused, and it is mitigated by following the TTPI. |