TacOS-team / tacos

Système d'exploitation / Operating System
GNU General Public License v3.0
9 stars 4 forks source link

Activer les extensions SSE quand c'est possible #211

Open NicolasFloquet opened 9 years ago

NicolasFloquet commented 9 years ago

Je vois deux approches possibles. Soit on exclue les instructions SSE du kernel, mais on ajoute du code pour que ce soit supporté côté applicatif, soit on ajoute un #ifdef SSE_ENABLED pour définir à la compilation si le kernel accepte les instructions SSE.

MaximeCheramy commented 9 years ago

Je suis favorable à la première option dans un premier temps.