Stefan Kalkowski f42c21f16b platform_info: add kernel information (fix #3295)

2019-05-06 16:15:26 +02:00

..

core

platform_info: add kernel information (fix #3295)

2019-05-06 16:15:26 +02: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

vm_session: adjustments to work with seoul vmm

2019-05-06 16:15:26 +02:00

test/platform

Add missing override annotations

2019-02-19 11:12:11 +01:00

timer/nova

timeout: use uint64_t for all plain time values

2019-05-06 16:15:26 +02:00