genode/repos/base-hw/src/core/spec/arm_v7/virtualization
Stefan Kalkowski fa1aa33f83 hw: sanitize arm trustzone/virtualization services
Those services are not SoC specific and have to reside at a generic place.

Fix #3445
2019-08-13 12:02:26 +02:00
..
kernel base-hw: fix compile errors with GCC 8.3.0 2019-05-27 14:46:54 +02:00
exception_vector.s hw: use eret in hyp mode to switch mode 2019-05-06 16:15:25 +02:00
platform_services.cc hw: sanitize arm trustzone/virtualization services 2019-08-13 12:02:26 +02:00
vm_session_component.cc vm_session: support to trace vCPU 2019-05-06 16:15:26 +02:00
vm_session_component.h vm_session: support to trace vCPU 2019-05-06 16:15:26 +02:00