What is the translation of " MICROKERNEL " in English?

• microkernel

Examples of using Microkernel in French and their translations into English

Basé sur des outils(microkernel.
Peer-to-Peer Tools-based(microkernel.

Microkernel similaire à celui de Minix.
Using a microkernel design, similar to MINIX.

Pour ces derniers, ce système est basé sur un microkernel.
The design is based on a microkernel model.

Vérifié Microkernel: le remède à tous Linux OS Vulnérabilités?
Verified Microkernel: the Cure for All Linux OS Vulnerabilities?

C'est ce que l'on nomme une architecture"microkernel.
It has something called a Micro Kernel architecture.

Sécurisée: architecture microkernel qui remodèle la sécurité et la fiabilité.
Secure: Microkernel architecture that reshapes security and trustworthiness from the ground up.

Minix est un système d'exploitation"Unix-like" basé sur un microkernel.
MINIX is a Unix-like computer operating system based on a microkernel architecture.

Selon le rapport, ils ont développé un microkernel rapide et facilement ajustable.
According to the report, they have developed a fast and easily adjustable microkernel.

Utiliser une distribution Symfony(standard, cmf-standard, rest…) et/ou un microkernel.
Use the symfony distribution(standard, cmf-standard, rest…) or microkernel.

Document Microkernel constitut la base également utilisée pour mettre en œuvre la persistance MongoDB.
The Document Microkernel is the basis that is also used for implementing MongoDB persistence.

Pour ceux qui n'ont pas encore entendu parler du Hurd, Debian GNU/Hurd est un OS basé sur le microkernel GNU Mach.
For those folks who haven't heard of Hurd, Debian GNU/Hurd is an OS based on the GNU Mach microkernel.

Le microkernel peut faire la performance IPC jusqu'à cinq fois plus efficaces que les systèmes existants.
The microkernel can make IPC performance up to five times more efficient than existing systems.

La prise en charge de la persistance de la base de données relationnelle dans AEM est réalisée à l'aide de Document Microkernel.
Support for relational database persistence in AEM is implemented using the Document Microkernel.

Le microkernel est conçus pour constituer un ensemble d'instructions plus minimes nécessaires au démarrage.
Microkernels are designed to be a more minimal set of instructions necessary for starting up.

Hurd n'est pas encore totalement au point mais si l'idée d'un OS base sur un microkernel vous intéresse allez voir de quoi il retourne!
It's not quite up to production quality, but if the idea of an OS based on a microkernel interests you be sure to check it out!

Le Microkernel et le système d'exploitation sous-jacent est des logiciels qnx, et s'appelle Neutrino.
The Microkernel and underlying operating system is from QNX Software Systems, and is called Neutrino.

Basé sur des outils: Plutôt qu'un runtime monolithique, ROS a adopté un design microkernel qui utilise un grand nombre de petits outils pour faire le build et le run des différents composants ROS.
Tools-based: Rather than a monolithic runtime environment, ROS adopted a microkernel design, which uses a large number of small tools to build and run the various ROS components.

Le microkernel est conçus pour constituer un ensemble d'instructions plus minimes nécessaires au démarrage.
A microkernel is meant to have the minimum set of instructions necessary for starting up a device.

En outre, le système d'exploitation EMUI10 a obtenu le plus haut standard de sécurité de l'industrie, la certification CC EAL5+, qui est le premier système de sécurité et de protection TEE commercialisé et de niveau aéronautique pour Microkernel dans le système d'exploitation.
Additionally, EMUI10 has obtained the industry's highest security standard, the CC EAL5+ certification, the world's first commercialised and aviation-level of security and TEE protection for Microkernel in the operating system.

Il utilise le concept de“microkernel”, qui est différent du“macrokernel” sur Android et autres systèmes.
The OS adopts the design concept of“microkernel”, which is different from the“macrokernel” on Android and other systems.

Les services du microkernel peuvent facilement être surchargés, étendus ou intégrés par des services et plugins personnalisés ou supplémentaires.
Services in the microkernel can be easily overridden, extended or plugged into by custom or additional services.

Le code C du microkernel seL4 intègre correctement les comportements décrits dans ses spécifications abstraites et rien de plus.
The binary code of the seL4 microkernel correctly implements the behaviour described in its abstract specification and nothing more.

Au coeur de la plateforme, un microkernel orchestre le cycle de vie des services de base, comme la gestion des utilisateurs, l'ordonnanceur de jobs, l'envoi de notifications et le stockage de données.
At its heart, a microkernel orchestrates the life cycle of core services, such as managing users and permissions, scheduling jobs, sending out notifications and storing data.