Search results

...f monolithic kernel, [[microkernel]] and [[hybrid kernel]]-based operating systems|580px]] ...computer hardware]]. A set of primitives or [[system call]]s implement all operating system services such as [[Process (computing)|process management]], [[Concu ...

...[[Cray X1|X1]], [[Cray XT3|XT3]], [[Cray XT4|XT4]], [[Cray XT5|XT5]]<br/>[[Microkernel]]: [[Cray Y-MP|Y-MP]], [[Cray C90|C90]], [[Cray T3D|T3D]], [[Cray T3E|T3E]] | kernel type = [[Monolithic kernel|Monolithic]] (some)<br/>[[Microkernel]] (some) ...

* [[Mach (kernel)]], an operating systems kernel technology * [[GNU Mach]], the microkernel upon which GNU Hurd is based ...

{{Short description|Operating system kernel}} ...t.edu|access-date=2018-01-25}}</ref> and also a class of similar operating systems. ...

...em's trusted computing base is paramount to its overall security. Modern [[operating system]]s strive to reduce the size of the TCB{{Citation needed lead|date=F | title = Design and Verification of Secure Systems ...

{{short description|Operating system kernel designed as a replacement for Unix}} ...s://www.gnu.org/software/hurd/faq/multiserver_microkernel.html|Multiserver microkernel}} ...

{{Short description|Unix-like operating system}} | kernel type = [[Microkernel]] ...

{{Short description|Real-time operating system (RTOS) software}} ...oper = [[BlackBerry Limited|BlackBerry]] (formerly [[#History|QNX Software Systems]]) ...

'''Meiko Scientific Ltd.''' was a British [[supercomputer]] company based in [[Bristol]], founded by members of the design team working on the [[Inmo ...cessor. Nine weeks later in July 1985, it demonstrated a transputer system based on experimental [[16-bit computing|16-bit]] transputers at the [[SIGGRAPH]] ...

| name = L4 microkernel family | kernel type = [[Microkernel]] ...

{{Short description|Operating system microkernel}} | operating system = ...

{{Short description|Computer operating system}} '''Tru64 UNIX''' is a discontinued [[64-bit]] [[UNIX]] [[operating system]] for the [[DEC Alpha|Alpha]] [[instruction set architecture]] (ISA) ...

...re.svg|thumb|450px|Structure of monolithic and microkernel-based operating systems, respectively]] ...t of [[software]] that can provide the mechanisms needed to implement an [[operating system]] (OS). These mechanisms include low-level [[address space]] managem ...

| kernel_type = [[Microkernel]] ([[GNU Hurd]]) or [[Monolithic kernel]] (GNU [[Linux-libre]], fork of [[L ...ite web | url = https://www.gnu.org/ |title = What is GNU? |work = The GNU Operating System | date = September 4, 2009 | publisher = [[Free Software Foundation] ...

{{Short description|Symbolics operating system based on Lisp}} ...Object-oriented operating system|Object-oriented]]<!-- Hybrid, Monolithic, Microkernel, Exokernel, Nanokernel, etc. --> ...

...m of [[Microsoft Windows]] on [[Intel]] processors. AIM's new hardware was based on IBM's [[IBM POWER architecture|POWER architecture]], a second-generation ...uild open-standard computers running an industry-wide variety of operating systems. ...

{{short description|Computer operating system}} ..., [[FreeBSD]]<ref name="apple_bsd_overview" /> and other [[BSD]] operating systems,<ref>{{Cite book |title=NeXTstep Concepts |publisher=[[NeXT]] |chapter=1. S ...

| title = Programming languages for distributed computing systems ...arch.vu.nl/en/publications/programming-languages-for-distributed-computing-systems-2 ...

Drivers are hardware-dependent and operating-system-specific. They usually provide the [[Interrupt handler|interrupt han ...acting as a translator between a hardware device and the applications or [[operating system]]s that use it.<ref name="dev1"/> Programmers can write higher-level ...

{{short description|Series of Unix operating systems from IBM}} {{History of IBM mainframe operating systems|unix}} ...