Stefan Kalkowski 811410fdbb foc: update to current github version (fix #3402) ...

Instead of hosting our outdated own fork, this commit now uses kernkonzept's
nowadays available github source repositories. This hopefully simplifies
updates, or cherry-picking single fixes.

2019-06-13 12:22:48 +02:00

..

0001-L4RE-Remove-moe-from-switch_ram_base-target.patch

…

0002-FOC-change-l4_task_cap_equal-semantic.patch

…

0003-Sigma0-raise-sigma0-s-priority-to-maximum.patch

…

0005-FOC-Increase-name-buffer-of-JDB-to-32K.patch

…

0006-FOC-adjust-panda-timer-to-version-A6.patch

…

0007-L4RE-fix-x86-syscall-bindings-to-use-in-C-namespace.patch

…

0009-Bootstrap-read-out-comport-on-x86-from-BDA-area.patch

…

0010-L4RE-get-rid-of-__builtin_strlen-usage.patch

…

0011-Ex_regs-Change-user_flags.patch

…

0012-Flush-the-TLB-after-idle-operation.patch

…

0014-Always-enable-user-mode-access-for-performance-monit.patch

…

0015-VMX-disable-event-injection-if-requested-by-VMM.patch

…

0016-svm-provide-cr0-to-guest-if-np-enabled.patch

…

0017-svm-avoid-forceful-exit-on-task-switch.patch

…