genode/bbl.port at ece48d7df51888a171ba5c2a4550ea0164f4c04a - genode - Gitea

ExternalVendorCode/genode

mirror of https://github.com/genodelabs/genode.git synced 2024-12-25 16:31:06 +00:00

Stefan Kalkowski ca60e24ad9 hw: run core threads in privileged mode

* introduce new syscall (core-only) to create privileged threads
* take the privilege level of the thread into account
  when doing a context switch
* map kernel segment as accessable for privileged code only

Ref #2091

2017-10-19 13:31:17 +02:00

9 lines

190 B

Plaintext

Raw Blame History

 LICENSE   := BSD-3-Clause
 VERSION   := git
 DOWNLOADS := bbl.git
 URL(bbl) = https://github.com/skalk/bbl-lite.git
 REV(bbl) = 20e03dfa317747dd39175f9fc3c15c50b702ac04
 DIR(bbl) = src/lib/bbl