diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc index e9879102a..398c1b2de 100644 --- a/base-hw/src/core/kernel.cc +++ b/base-hw/src/core/kernel.cc @@ -1640,7 +1640,7 @@ void Signal_context::ack() void Signal_context::submit(unsigned const n) { - assert(_submits < -1 - n); + assert(_submits < (unsigned)~0 - n); if (_killer) return; _submits += n; if (_await_ack) return;