ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 08:51:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,337 Commits 2 Branches 70 Tags 87 MiB
e22cd98a4f
Commit Graph

14 Commits

Author SHA1 Message Date
Norman Feske
da5d182ad3 base: remove 'Native_thread' from public API 
Issue #1832
 2016-04-11 11:51:42 +02:00
Norman Feske
9b0eb720b0 base: remove 'Native_utcb' from public API 
Fixes #1905
 2016-03-17 17:02:04 +01:00
Norman Feske
2e701f9afa base: update include guards 
This patch cleans up the include guards, assisted by the
tool/fix_include_ifndef script.
 2016-03-07 12:34:45 +01:00
Christian Prochaska
6bf4fd3340 nova: 64-bit guest support 
Issue #1791
 2015-11-29 18:17:06 +01:00
Alexander Boettcher
0f2c2a675a nova: support write combining 
Fixes #1566
 2015-08-31 09:09:22 +02:00
Alexander Boettcher
df662cc2f3 nova: use kernel branch with quota handling 
Fixes #1601
 2015-08-21 10:59:45 +02:00
Christian Prochaska
2337dc03f4 nova: use branch supporting changing PDPTE by VMM 
Fixes #1637
 2015-08-21 10:58:59 +02:00
Alexander Boettcher
d86380d744 nova: provide assessors in utcb for efer register 
Issue #1413
 2015-02-27 11:48:05 +01:00
Alexander Boettcher
a31378476d nova: use in core one pager per CPU 
Fixes #1394
 2015-02-27 11:40:58 +01:00
Alexander Boettcher
1d920fa1b5 nova: fix usage of portal permission 
The commit
- fixes the syscall bindings for using portal permissions
- revokes PT_CTRL permission after pager in core set local badge name
- revokes PT_CTRL permission after server entrypoint code set local badge name

Fixes #1335
 2015-01-06 12:39:11 +01:00
Alexander Boettcher
51489e2f82 vmm: fix overmap attempts by seoul and vbox 
If the debug branch of the nova kernel is used, following messages are printed
by the kernel during vCPU setup phase:

[0] overmap attempt OBJ - tree - ...

Fixes #1324
 2014-12-19 13:58:46 +01:00
Alexander Boettcher
e70c13ce1f nova: update to r6 nova kernel branch 
- adds general support for semaphore timeouts
- fixes PCID feature (aka tagged TLB) seeen on Lenovo X201

Fixes #1211
 2014-07-24 10:18:06 +02:00
Norman Feske
9f43aa4363 base-nova: fully qualify Utcb type 2014-05-27 11:14:41 +02:00
Norman Feske
ca971bbfd8 Move repositories to 'repos/' subdirectory 
This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.

Issue #1082
 2014-05-14 16:08:00 +02:00