alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
44ace04b95a24464f67936d573dc55014e1ee516
genode/repos/base-hw/src/core
History
Stefan Kalkowski 8cc48d5688 hw: be more accurate in synchronizing ASID/Pages 
Fix #3651
2020-02-20 12:11:23 +01:00
..
hw
kernel: differentiate board-specific components
2019-05-27 14:46:52 +02:00
kernel
hw: optimize ipc capability allocation
2020-02-20 12:11:22 +01:00
spec
hw: be more accurate in synchronizing ASID/Pages
2020-02-20 12:11:23 +01:00
capability.cc
…
core_log_out.cc
…
core_region_map.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
cpu_session_support.cc
core: add kernel-specific UTCB quota bookkeeping
2020-02-20 12:11:21 +01:00
cpu_thread_allocator.h
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
env.cc
…
io_mem_session_support.cc
…
irq_session_component.cc
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
irq_session_component.h
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
kernel_log.cc
…
map_local.h
…
native_pd_component.cc
…
native_pd_component.h
Add missing override annotations
2019-02-19 11:12:11 +01:00
native_utcb.cc
…
object.h
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
pager.cc
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
pager.h
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
platform_pd.cc
hw: optimize ipc capability allocation
2020-02-20 12:11:22 +01:00
platform_pd.h
hw: optimize ipc capability allocation
2020-02-20 12:11:22 +01:00
platform_thread.cc
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
platform_thread.h
base-hw: add trace execution time support
2019-12-19 17:01:42 +01:00
platform.cc
base: add affinity space info to platform info
2020-02-04 15:51:10 +01:00
platform.h
hw: add system call for irq mode setting
2019-08-21 13:25:25 +02:00
ram_dataspace_support.cc
base/core: use references instead of pointers
2019-02-12 10:33:13 +01:00
region_map_support.cc
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
rpc_cap_factory.h
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
signal_broker.h
…
signal_source_component.h
hw: turn Kernel_object into Genode::Constructible
2019-11-19 14:42:23 +01:00
stack_area_addr.cc
…
thread_start.cc
base-hw: trace execution time of core threads
2019-12-19 17:01:43 +01:00
util.h
…
vm_session_component.cc
hw: introduce virtualization support for ARMv8
2019-11-21 14:29:36 +01:00
vm_session_component.h
hw: introduce virtualization support for ARMv8
2019-11-21 14:29:36 +01:00