diff --git a/repos/os/src/server/nic_router/component.h b/repos/os/src/server/nic_router/component.h index b5ed338697..90545d785f 100644 --- a/repos/os/src/server/nic_router/component.h +++ b/repos/os/src/server/nic_router/component.h @@ -126,9 +126,9 @@ class Net::Session_component : private Session_component_base, ** Nic::Session ** ******************/ - Mac_address mac_address() { return _mac; } - bool link_state() { return Interface::link_state(); } - void link_state_sigh(Genode::Signal_context_capability sigh) { Interface::link_state_sigh(sigh); } + Mac_address mac_address() override { return _mac; } + bool link_state() override { return Interface::link_state(); } + void link_state_sigh(Genode::Signal_context_capability sigh) override { Interface::link_state_sigh(sigh); } }; @@ -150,7 +150,7 @@ class Net::Root : public Genode::Root_component ** Root_component ** ********************/ - Session_component *_create_session(char const *args); + Session_component *_create_session(char const *args) override; public: diff --git a/repos/os/src/server/nic_router/uplink.h b/repos/os/src/server/nic_router/uplink.h index 3e5ab0541f..30a1375a14 100644 --- a/repos/os/src/server/nic_router/uplink.h +++ b/repos/os/src/server/nic_router/uplink.h @@ -69,8 +69,8 @@ class Net::Uplink : public Uplink_base, ** Net::Interface ** ********************/ - Packet_stream_sink &_sink() { return *rx(); } - Packet_stream_source &_source() { return *tx(); } + Packet_stream_sink &_sink() override { return *rx(); } + Packet_stream_source &_source() override { return *tx(); } public: