753e78d122
seoul: adjust to g++ 8.3.0
...
Issue #3307
2019-05-27 14:52:52 +02:00
3556a40f81
seoul: adjustments to compile with GCC 8.3.0
...
Issue #3352
2019-05-27 14:46:53 +02:00
b3f288c035
seoul: avoid corrupted cr0 and GP on debug wrmsr
...
- fix bug in instruction emulator on clts - mark cr0 as changed
- don't cause GP on debug control wrmsr
Issue #3111
2019-05-16 13:11:00 +02:00
8840ca96a9
seoul: use vm_session interface
...
and remove any dependency on the NOVA kernel interface
Issue #3111
2019-05-06 16:15:26 +02:00
1705aab290
seoul: PS2 mouse wheel support
...
fixes #3234
2019-04-01 19:33:46 +02:00
Ehmry -
c5786b212b
Update Seoul contrib code for new Fifo accessors
...
Ref #3135
2019-02-19 11:08:17 +01:00
5473a36f81
seoul: produce hash stable port
...
Remove line printing the user name and the date in generated source code.
Fixes #3004
2018-10-29 09:36:21 +01:00
bb768c2cab
seoul: adjust Intel network model to recent VM
...
Issue #2715
2018-03-27 13:44:26 +02:00
3bcb45b4e7
seoul: support g++ -Weffc++ option
...
Issue #2715
2018-03-27 13:43:10 +02:00
8e8878f187
seoul: show vga messages during early disc boot
...
Issue #2715
2018-03-27 13:43:10 +02:00
bc2ef2b1b2
seoul: avoid gcc6 warnings
2017-05-31 13:15:53 +02:00
6bf4fd3340
nova: 64-bit guest support
...
Issue #1791
2015-11-29 18:17:06 +01:00
21e86227bc
seoul: make input available via bios
...
Enables us to interact with GRUB bootloader during early boot.
Issue #1702
2015-09-30 15:48:11 +02:00
a574f73005
seoul: dummy 'control register access' VM exit handler
...
This exit handler is called by the NOVA kernel now when the VM uses PAE
with nested paging and the PDPTE registers need to get updated. With this
commit, an error message is printed if this situation occurs.
Fixes #1640
2015-08-21 10:58:59 +02:00
caa61c268b
seoul: adapt port files to the updated repository
...
Fixes #1526
2015-05-26 09:40:02 +02:00
513be78c05
seoul: adapt to nitpicker and use fixed seoul repo
...
Fixes #1307
2014-12-05 11:01:24 +01:00
0b0074d2ff
seoul: update pae branch
...
Fixes #1262
2014-10-10 14:46:14 +02:00
b32b6948c7
seoul: use pae branch of seoul
...
Fixes #1262
2014-10-10 13:02:31 +02:00
27d76f77d1
seoul: update branch to using vbios emulators
...
* use seoul branch containing vbios emulator
* report the memory model in the VBE mode info as otherwise the
Genode framebuffer driver will ignore this mode
Fixes #1261
2014-10-10 13:02:31 +02:00
5d06078d27
x86 vmm: add general multiprocessor support
...
* repos/ports/include/vmm
- add support to specify cpu location during vCPU construction
* seoul
- update to latest seoul branch supporting smp
- adjust to vmm interface changes
- vCPUs will be put in a round robin fashion on the available host CPUs,
beginning with the next CPU after the default (boot) CPU
- number of vCPUs can be specified in run script
* virtualbox
- adjust to vmm interface changes
- uses still one vCPU, placed on default (boot) CPU
Fixes #1212
2014-07-24 10:18:07 +02:00
615830e107
Enable hash checks for ports mechanism
2014-05-27 13:45:03 +02:00
6adbb9e438
ports: migrate to new ports mechanism
...
Issue #1082
2014-05-27 11:14:43 +02:00
Alexander Boettcher
Christian Prochaska
Sebastian Sumpf
Ehmry -
Bernhard Kauer
Norman Feske