Re: [Xen-devel] [GSoc] Adding Floating Point support to Mini-OS

2017-03-29 Thread Juergen Gross
On 29/03/17 20:53, Felix Schmoll wrote: > Hi, > > while looking at this some more I came to the following > questions/assumptions, so I'd be grateful if you could shortly address them: > > -While implementing our own kernel last semester me and my team-mate > came to believe that pusha/popa were

Re: [Xen-devel] [GSoc] Adding Floating Point support to Mini-OS

2017-03-29 Thread Samuel Thibault
Hello, Felix Schmoll, on mer. 29 mars 2017 20:53:14 +0200, wrote: > -While implementing our own kernel last semester me and my team-mate > came to believe that pusha/popa were faster that pushing/popping the > individual registers, since it is just a single command. The Mini-OS > kernel however do

[Xen-devel] [GSoc] Adding Floating Point support to Mini-OS

2017-03-29 Thread Felix Schmoll
Hi, while looking at this some more I came to the following questions/assumptions, so I'd be grateful if you could shortly address them: -While implementing our own kernel last semester me and my team-mate came to believe that pusha/popa were faster that pushing/popping the individual registers,