Alexander Boettcher 734752d6b5 base-nova: show size of framebuffer correctly

2020-02-04 15:51:09 +01:00

..

core

base-nova: show size of framebuffer correctly

2020-02-04 15:51:09 +01:00

include

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

kernel/nova

nova: adjust to g++ 8.3.0

2019-05-27 14:52:52 +02:00

lib

nova: handle rpc_entrypoint destruction better

2019-12-20 11:31:39 +01: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