This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2025-06-12 04:08:28 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
Files
653f653c672eaf607ff9abff43133ddda56687d7
genode
/
repos
/
base-nova
/
src
History
Norman Feske
8f2212ea1e
nova: disable -Wsuggest-override for the kernel
...
Issue
#3159
2019-02-19 11:12:12 +01:00
..
core
Add missing override annotations
2019-02-19 11:12:11 +01:00
include
Follow practices suggested by "Effective C++"
2018-01-17 12:14:35 +01:00
kernel
/nova
nova: disable -Wsuggest-override for the kernel
2019-02-19 11:12:12 +01:00
lib
base: remove dependency from deprecated APIs
2019-02-19 11:08:17 +01:00
test
/platform
Add missing override annotations
2019-02-19 11:12:11 +01:00
timer
/nova
Add missing override annotations
2019-02-19 11:12:11 +01:00
