ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-26 06:09:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-nova/src/core
History
Alexander Boettcher 0db81f66ae nova: propagate vga text info via platform_info 
Issue #2880
2018-07-03 09:39:31 +02:00
..
include
base-nova: increment 'pause' semaphore only when recall handler uses it in reply
2018-05-30 12:26:20 +02:00
nova
core: install core-<kernel>.o at bin/
2017-05-02 15:29:02 +02:00
spec
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
bios_data_area.cc
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
core_log_out.cc
base-*: rename core_log.cc to core_log_out.cc
2017-12-21 15:01:46 +01:00
core_region_map.cc
base: support to attach RAM dataspaces readonly
2018-05-30 13:36:27 +02:00
core_rpc_cap_alloc.cc
Adjust file headers to refer to the AGPLv3
2017-02-28 12:59:29 +01:00
core-bss.ld
core: unify handling of boot modules
2016-11-08 15:26:27 +01:00
echo.cc
nova: fix syscall bindings with GCC 6
2017-05-31 13:15:52 +02:00
io_mem_session_support.cc
Follow practices suggested by "Effective C++"
2018-01-17 12:14:35 +01:00
ipc_pager.cc
nova: enable nx bit handling for x86_64
2017-11-01 08:39:48 +01:00
irq_session_component.cc
Follow practices suggested by "Effective C++"
2018-01-17 12:14:35 +01:00
native_cpu_component.cc
nova: use 'Native_cpu' component for thread initialization
2017-03-15 12:24:42 +01:00
native_pd_component.cc
Follow practices suggested by "Effective C++"
2018-01-17 12:14:35 +01:00
pager.cc
base-nova: increment 'pause' semaphore only when recall handler uses it in reply
2018-05-30 12:26:20 +02:00
pd_session_support.cc
core: restrict mapping size recursively on regions
2018-05-31 12:28:15 +02:00
platform_pd.cc
Follow practices suggested by "Effective C++"
2018-01-17 12:14:35 +01:00
platform_thread.cc
nova: use kernel branch r10
2018-06-29 10:44:58 +02:00
platform.cc
nova: propagate vga text info via platform_info
2018-07-03 09:39:31 +02:00
ram_dataspace_support.cc
Follow practices suggested by "Effective C++"
2018-01-17 12:14:35 +01:00
rpc_cap_factory.cc
core: equip RPC-cap-factory slab with static block
2017-05-31 13:16:13 +02:00
thread_start.cc
nova: support tracing of exec. time of core thread
2018-02-14 20:41:04 +01:00