ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-20 17:32:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-nova/src
History
Christian Helmuth 18f90ca1e3 nova: request stack pointer on page fault 
The SP value is part of the Page_fault_info object but was not requested
from the kernel on portal creation.
2020-01-02 15:30:28 +01:00
..
core
nova: request stack pointer on page fault
2020-01-02 15:30:28 +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