Meta tags:

Headings (most frequently used words):

microkernel, contents, history, introduction, inter, process, communication, servers, device, drivers, essential, components, and, minimality, performance, security, third, generation, examples, nanokernel, see, also, references, further, reading,

Text of the page (most frequently used words):
the (314), and (122), #kernel (75), system (73), systems (49), operating (48), #microkernel (47), for (46), that (46), this (43), ipc (42), microkernels (38), with (37), from (31), performance (27), user (25), drivers (23), are (23), servers (23), was (22), code (21), device (20), server (20), retrieved (19), memory (19), have (19), not (19), which (19), computer (18), mach (18), edit (18), design (18), doi (17), based (16), can (16), time (15), monolithic (15), kernels (15), acm (15), also (15), programs (15), file (14), 1145 (14), more (14), all (13), space (13), liedtke (13), cite (13), other (13), security (13), were (13), may (12), process (12), qnx (12), synchronous (12), message (12), communication (12), some (12), only (12), such (12), real (11), tanenbaum (11), unix (11), part (11), original (11), april (11), citeseerx (11), mode (11), has (11), first (11), minimality (11), september (10), access (10), protection (10), jochen (10), gernot (10), heiser (10), nanokernel (10), archived (10), pdf (10), level (10), high (10), used (10), than (10), been (10), most (10), services (10), asynchronous (10), june (9), articles (9), virtual (9), software (9), brinch (9), hansen (9), s2cid (9), but (9), hardware (9), implementation (9), these (9), principle (9), data (9), they (9), client (9), running (9), page (8), network (8), management (8), driver (8), like (8), linux (8), minix (8), small (8), conference (8), proceedings (8), elphinstone (8), kevin (8), mechanism (8), work (8), term (8), provide (8), mechanisms (8), would (8), any (8), implemented (8), wikipedia (7), august (7), api (7), per (7), 4000 (7), mac (7), sel4 (7), torvalds (7), uses (7), help (7), workshop (7), formal (7), symposium (7), principles (7), 2007 (7), generation (7), requires (7), therefore (7), allows (7), inter (7), many (7), about (6), policy (6), cs1 (6), deprecated (6), control (6), switch (6), history (6), eros (6), 2006 (6), january (6), including (6), passing (6), december (6), tcb (6), required (6), number (6), however (6), overhead (6), into (6), service (6), must (6), their (6), had (6), development (6), use (5), statements (5), 2010 (5), boot (5), general (5), resource (5), next (5), scheduling (5), architectures (5), nucleus (5), multi (5), debate (5), make (5), basic (5), parameter (5), november (5), 2005 (5), 2016 (5), approach (5), sosp (5), still (5), communications (5), redox (5), where (5), functionality (5), response (5), while (5), proof (5), its (5), provides (5), properties (5), even (5), example (5), set (5), could (5), trusted (5), common (5), needed (5), devices (5), furthermore (5), does (5), built (5), call (5), changes (5), processes (5), cpu (5), application (5), require (5), address (5), networking (5), timeouts (5), versions (5), contents (4), search (4), using (4), maint (4), url (4), unsourced (4), references (4), org (4), journal (4), context (4), hybrid (4), embedded (4), source (4), discontinued (4), william (4), rashid (4), david (4), harmonyos (4), capability (4), support (4), shapiro (4), reliable (4), march (4), reference (4), architecture (4), further (4), 2000 (4), 2009 (4), hypervisor (4), assurance (4), physical (4), applications (4), referred (4), amount (4), picokernel (4), examples (4), complete (4), proofs (4), led (4), performed (4), evaluation (4), simple (4), well (4), those (4), introduced (4), should (4), commercial (4), poor (4), his (4), since (4), means (4), between (4), typically (4), protocol (4), traditional (4), arbitrary (4), top (4), program (4), execution (4), scheduler (4), threads (4), allow (4), less (4), problem (4), them (4), ready (4), receive (4), buffer (4), when (4), during (4), sender (4), receiver (4), messages (4), allowed (4), grew (4), new (4), article (4), hide (4), move (4), sidebar (4), view (3), privacy (3), additional (3), terms (3), 2026 (3), 2012 (3), category (3), concepts (3), fault (3), queue (3), thread (3), interrupt (3), components (3), oriented (3), distributed (3), comparison (3), richard (3), thomas (3), rtos (3), amigaos (3), type (3), amiga (3), chorusos (3), machine (3), keykos (3), integrity (3), environment (3), gnu (3), off (3), exec (3), secure (3), 1992 (3), peter (3), 2017 (3), herder (3), isbn (3), link (3), klein (3), gerwin (3), 2014 (3), comprehensive (3), verification (3), isolation (3), virtualization (3), 2011 (3), science (3), research (3), elkaduwe (3), dhammika (3), michael (3), october (3), model (3), ieee (3), pacific (3), achieved (3), multiserver (3), 1997 (3), availability (3), what (3), chen (3), bershad (3), project (3), toward (3), multiprogramming (3), regnecentralen (3), read (3), least (3), one (3), case (3), supports (3), executing (3), privileged (3), essentially (3), third (3), recent (3), criteria (3), defined (3), frequently (3), direct (3), privileges (3), minimal (3), shown (3), results (3), good (3), over (3), advantages (3), separate (3), result (3), cache (3), two (3), processor (3), sending (3), another (3), back (3), copying (3), directly (3), essential (3), low (3), interact (3), bootstrap (3), started (3), include (3), via (3), usually (3), related (3), similar (3), although (3), spaces (3), supported (3), having (3), avoided (3), windows (3), various (3), rather (3), computers (3), being (3), will (3), party (3), easily (3), reply (3), send (3), without (3), invoking (3), generally (3), resulting (3), mcpi (3), much (3), called (3), stacks (3), growth (3), bsd (3), existing (3), early (3), efforts (3), links (3), developed (3), tools (3), main (3), add (2), topic (2), languages (2), toggle (2), table (2), mobile (2), developers (2), contact (2), organization (2), foundation (2), status (2), containing (2), potentially (2), dated (2), 2015 (2), location (2), missing (2), publisher (2), needing (2), 2025 (2), short (2), description (2), wikidata (2), interface (2), live (2), supporting (2), loader (2), ring (2), preemptive (2), block (2), loadable (2), module (2), unikernel (2), features (2), engineering (2), wulf (2), andrew (2), dan (2), genode (2), phantom (2), helenos (2), amoeba (2), threadx (2), symbian (2), psion (2), hosted (2), macintosh (2), midori (2), hydra (2), hurd (2), family (2), linus (2), again (2), state (2), 1994 (2), big (2), information (2), bos (2), 1109 (2), reading (2), life (2), adeos (2), andronick (2), sewell (2), kolanski (2), rafal (2), february (2), alexander (2), second (2), integration (2), capabilities (2), nova (2), home (2), derrin (2), philip (2), 1st (2), simon (2), verified (2), jonathan (2), confinement (2), 2018 (2), computing (2), 9th (2), asia (2), designs (2), improve (2), chubb (2), gray (2), charles (2), luke (2), 1959 (2), hdl (2), jaeger (2), trent (2), uhlig (2), volkmar (2), sigops (2), sawmill (2), härtig (2), hermann (2), schönberg (2), sebastian (2), vol (2), carl (2), technical (2), california (2), 6th (2), hot (2), lions (2), peer (2), 1971 (2), michigan (2), terminal (2), toolkit (2), 2024 (2), years (2), 133 (2), construction (2), 250 (2), 1993 (2), asheville (2), north (2), carolina (2), structure (2), done (2), 1996 (2), towards (2), www (2), your (2), gen (2), apple (2), cmu (2), 1986 (2), 1981 (2), 1969 (2), pioneer (2), true (2), see (2), refers (2), forms (2), sometimes (2), normal (2), abstraction (2), layer (2), emphasize (2), size (2), paper (2), claimed (2), considered (2), largely (2), come (2), same (2), historically (2), free (2), nintendo (2), mathematical (2), proved (2), actually (2), followed (2), out (2), end (2), concern (2), novel (2), approaches (2), goal (2), besides (2), simplified (2), recently (2), version (2), published (2), critical (2), issues (2), entirely (2), department (2), defense (2), shall (2), implement (2), significant (2), minimizing (2), designed (2), fact (2), consequence (2), thus (2), always (2), possible (2), relative (2), instead (2), handling (2), build (2), ibm (2), never (2), exhibits (2), few (2), single (2), potential (2), problems (2), demonstrated (2), own (2), careful (2), especially (2), following (2), costs (2), reduced (2), order (2), magnitude (2), compared (2), across (2), obtaining (2), inherently (2), obtained (2), addition (2), buffers (2), key (2), efficient (2), startup (2), image (2), how (2), located (2), procedure (2), simplify (2), inside (2), violation (2), booting (2), mount (2), manage (2), separation (2), limits (2), generality (2), competing (2), special (2), concept (2), implementations (2), prevent (2), pioneered (2), allocation (2), core (2), minimum (2), includes (2), 1967 (2), peripherals (2), practice (2), beneficial (2), stability (2), dma (2), made (2), untrusted (2), perform (2), lost (2), failure (2), responsible (2), experience (2), offered (2), tcp (2), necessary (2), ordinary (2), otherwise (2), particularly (2), blocks (2), until (2), lead (2), request (2), blocking (2), timeout (2), values (2), difficult (2), zero (2), avoids (2), copies (2), operation (2), waiting (2), itself (2), provided (2), moreover (2), rpc (2), invocation (2), notification (2), better (2), buffering (2), series (2), limited (2), later (2), making (2), ultrix (2), capacity (2), registers (2), transfers (2), fashion (2), queues (2), leaving (2), invoked (2), citation (2), multiple (2), each (2), latter (2), resulted (2), due (2), increased (2), functional (2), larger (2), continued (2), lines (2), became (2), because (2), introduction (2), major (2), ended (2), normally (2), considerable (2), osf (2), appeared (2), lack (2), worked (2), danish (2), plant (2), needs (2), initiation (2), strategy (2), often (2), removed (2), learn (2), sources (2), citations (2), appearance (2), upload (2), log (2), create (2), account (2), donate (2), menu (2), cookie, statement, statistics, conduct, legal, safety, contacts, disclaimers, text, available, under, apply, site, you, agree, registered, trademark, non, profit, wikimedia, inc, creative, commons, attribution, sharealike, license, rendered, parsoid, last, edited, utc, hidden, categories, unfit, errors, parameters, dmy, dates, matches, https, index, php, title, oldid, 1361776220, gnd, authority, databases, pxe, cli, shell, usb, hal, tape, library, partition, inode, attribute, defragmentation, storage, segmentation, paging, bus, error, shortest, job, round, robin, multilevel, feedback, fixed, priority, algorithms, sharing, cooperative, multitasking, rump, vkernel, multikernel, exokernel, supercomputer, object, just, enough, hobbyist, disk, variants, usage, share, timeline, list, forensic, open, italics, avie, tevanian, ike, nassi, james, mitchell, dodge, cheriton, bushnell, gordon, bell, cosmos, kits, frameworks, vrtx, harmony, thoth, spin, sharpos, opencomrtos, mqx, freertos, chibios, bertos, workplace, taligent, pink, aim, alliance, verve, singularity, microsoft, morphos, icaros, desktop, broadway, aspireos, aros, epoc, powerpc, classic, copland, macmach, machten, integrates, chorus, jazz, javaos, java, wombat, rex, pikeos, oniro, openharmony, nltss, capros, gnosis, riot, ose, nuttx, partial, vsta, unicos, tinix, spring, redoxos, os2000, mert, mklinux, vmd, meikos, lites, arx, posix, vanguard, rtlinux, powerup, opus, plan, velosity, microempix, little, k42, warpos, quark, execsg, eka2, eka1, nukernel, eumel, nanokernels, debunking, latest, portland, pattern, repository, assessment, present, future, oses, varhol, byte, hit, black, golub, julin, draves, dean, forin, barrera, tokuda, malan, bohman, processing, 2020, 99779, 156, 2006compr, 39e, 44t, bibcode, hildebrand, architectural, overview, 126, 880446, 459, 4481, 113, micro, scientific, mills, kamp, poul, henning, web, gerum, philippe, murray, toby, 4474342, 2560537, transactions, lackorzynski, adam, warg, iies, germany, 629, 9845, nuremberg, taming, subsystems, universal, steinberg, udo, kauer, bernhard, eurosys, paris, france, 222, 1755913, 1755935, 209, microhypervisor, technische, universität, dresden, faculty, tud, 2008, glasgow, 1435458, cock, engelhardt, kai, norrish, tuch, harvey, winwood, 22nd, sky, montana, submitted, publication, weber, samuel, verifying, biggs, lee, damon, jeju, island, republic, korea, association, machinery, 3265723, 3265733, jury, flawed, leslie, ben, fitzroy, dale, nicholas, götz, stefan, macpherson, potts, daniel, shen, yueting, 664, 1121537, 39966, 1007, s11390, 005, 0654, 654, technology, gefflaut, alain, park, yoonho, tidswell, jonathon, deller, european, kolding, denmark, 114, 8376, 109, hohmuth, 1706253, 89791, 916, 268998, 266660, sixteenth, van, schaik, international, sydney, australia, nicta, virtualisation, arm, segmented, chapman, matthew, mosberger, tang, usenix, annual, annaheim, 278, 264, itanium, implementor, tale, islam, nayeem, topics, cape, cod, massachusetts, 39929, hotos, 595177, extensibility, john, 1977, 978, 57398, 013, commentary, edition, 591, 14614148, 1478873, 1478951, 589, fall, joint, wong, electronic, 2013, learnt, farmington, pennsylvania, 150, 2517349, 2522720, twenty, fourth, 1995, copper, mountain, resort, colorado, 224056, 224075, 237, fifteenth, bradley, brian, 168619, 168629, 120, fourteenth, impact, 14th, 1293, 175, improving, levasseur, joshua, 7414062, 1113361, 1113363, review, monitors, right, 2867357, 234215, 234473, ares, helios, porting, magee, jim, minutes, 2021, wwdc, session, 106, carnegie, mellon, university, edu, book, sassenrath, rom, manual, liedke, robertson, george, accent, grove, 800216, 806593, eighth, cohen, ellis, corwin, jones, anita, levin, roy, pierson, pollack, fred, 1974, 345, 8011765, 355616, 364017, 337, multiprocessor, 1970, 9414037, 362258, 362278, 105, 4204, 238, report, 2004, programmer, story, society, jorrit, minix3, microservices, there, clock, resolution, nanosecond, lowest, underneath, correctly, total, very, coined, unstructured, slower, sought, replace, subsequent, reuse, coinage, suggest, point, missed, both, subsequently, mean, thing, sardonic, look, wiktionary, dictionary, nanokernal, zircon, symbos, qubes, abandoned, horizon, 3ds, liteos, blackberry, consistent, specification, guarantee, hold, degree, goes, beyond, eal7, enforcement, demonstrating, executable, binary, correct, translation, taking, compiler, taken, together, establish, characterised, controlled, class, suitability, usual, fiasco, coyotos, analysis, focusing, specifications, correctness, checked, presented, demonstrably, safer, investigating, study, concluded, occur, formally, remain, unmitigated, cves, conceptually, precisely, semantics, directed, complexity, excluding, modules, consequently, military, highest, eal, explicit, requirement, target, acknowledgment, practical, impossibility, establishing, trustworthiness, complex, misleading, ill, somewhat, precise, verbiage, classes, benefits, discussed, argued, according, kept, executes, unvetted, violate, confidentiality, natural, driven, base, privilege, meantime, close, throughput, gigabit, ethernet, seems, imply, exist, particular, seem, overriding, reliably, quick, times, simplicity, sake, robustness, attempt, completed, demonstrate, representative, constitutes, ported, percent, native, supposed, structuring, issue, indeed, poorly, showed, specifically, excessive, footprint, through, unbeaten, range, mainstream, processors, expensive, function, procedures, actual, incur, extra, switches, component, manager, implementing, swapping, safe, way, far, makes, breaks, effective, packaged, defines, placing, multiboot, compatible, load, statically, linked, initial, continue, bootstrapping, lynxos, efficiency, contain, schedulers, timers, equally, important, enables, cannot, overwritten, changed, replacing, letting, choose, offering, everything, else, tolerated, moving, outside, permitting, formalised, invoke, activations, dealing, managing, building, predate, mts, anyway, style, proliferation, kinds, escalated, modern, dominates, necessarily, reduce, damage, misbehaving, cause, presence, buggy, malicious, violations, opposed, caught, capable, increasing, feature, restrict, become, iommus, write, locations, structures, misconception, trustworthy, additionally, crashes, corrected, simply, feasible, entire, reboot, failing, hence, cope, connections, restarted, connection, occurrence, networked, expected, restart, stopping, restarting, purpose, drawn, roughly, display, others, except, grants, parts, daemon, unrestricted, attack, attempting, indefinite, calls, limit, choosing, sensible, almost, inevitably, infinite, clients, trend, providing, flag, indicates, fail, immediately, partner, effectively, choice, infinity, gone, down, path, older, requiring, specify, replies, wait, explicitly, denial, deadlocks, primitives, typical, then, lends, primitive, helper, utility, dubious, forces, threaded, onto, synchronization, complexities, sequentializes, cores, deployed, products, found, carry, nonetheless, violated, switched, completely, signal, experiments, combined, explained, poorer, higher, alone, suggesting, optimizations, focused, exclusively, effect, refined, observation, bulk, difference, caused, concluding, drastically, reducing, working, solve, misses, 3bsd, cycles, instruction, suffered, assumed, underlying, reason, methods, lowered, incomplete, passed, register, optimization, traversing, once, moves, appropriate, cases, gets, unblocked, before, saves, adopted, lazy, remote, analogous, dispatches, continues, checks, alerted, maintains, deals, overflows, double, implicit, rendezvous, programming, tricky, programmers, prefer, polls, communicate, strictly, abbreviation, relevant, smaller, peripheral, handled, graphics, etc, shared, intended, difficulties, theory, easier, division, crashed, corrupted, rest, overflow, began, era, consisting, disks, printers, added, invisibly, millions, prone, bugs, increasingly, maintain, berkeley, distribution, partly, throughout, though, contained, bits, longer, constrained, closely, claim, specialized, finds, machines, hypervisors, exokernels, experimenters, pragmatic, relying, enforce, dramatically, improved, assembly, attempts, adapt, moved, large, scale, released, 2001, combines, heavily, modified, starting, continuing, included, testing, debian, arch, update, watchos, tvos, ios, xnu, macos, notably, created, disappointing, inherent, great, line, late, 1990s, speed, greatly, relation, disadvantages, came, overwhelm, 1980s, usable, success, respects, flaw, did, need, copy, exchanging, local, area, networks, 1970s, meant, world, several, challenges, adapting, idea, allowing, monolithically, stopped, separated, finely, tuned, worrying, unintended, side, effects, aiding, mono, trace, roots, tenure, company, installing, prototype, fertilizer, poland, tailored, team, concerned, reusability, feared, installation, different, investigated, ways, creating, effort, completion, unprivileged, protected, slices, executed, parallel, elementary, hierarchy, parent, child, acted, zakłady, azotowe, puławy, approximately, 000, functions, run, supervisor, modes, rings, abbreviated, near, respectively, remove, please, material, challenged, jstor, scholar, books, newspapers, news, find, adding, fewer, encyclopedia, item, projects, printable, download, print, export, legacy, parser, get, shortened, permanent, here, actions, english, talk, tiếng, việt, українська, türkçe, kiswahili, svenska, slovenčina, русский, română, português, polski, norsk, bokmål, nederlands, монгол, മലയാളം, lombard, 한국어, 日本語, italiano, bahasa, indonesia, magyar, हिन्दी, français, suomi, فارسی, español, deutsch, čeština, català, bosanski, বাংলা, български, беларуская, العربية, personal, pages, community, portal, contribute, random, current, events, navigation, jump, content,

Text of the page (random words):
imizing it is natural in a security driven design consequently microkernel designs have been used for systems designed for high security applications including keykos eros and military systems in fact common criteria cc at the highest assurance level evaluation assurance level eal 7 has an explicit requirement that the target of evaluation be simple an acknowledgment of the practical impossibility of establishing true trustworthiness for a complex system again the term simple is misleading and ill defined at least the department of defense trusted computer system evaluation criteria introduced somewhat more precise verbiage at the b3 a1 classes the tcb shall implement complete conceptually simple protection mechanisms with precisely defined semantics significant system engineering shall be directed toward minimizing the complexity of the tcb as well as excluding from the tcb those modules that are not protection critical department of defense trusted computer system evaluation criteria in 2018 a paper presented at the asia pacific systems conference claimed that microkernels were demonstrably safer than monolithic kernels by investigating all published critical cves for the linux kernel at the time the study concluded that 40 of the issues could not occur at all in a formally verified microkernel and only 4 of the issues would remain entirely unmitigated in such a system 35 third generation edit more recent work on microkernels has been focusing on formal specifications of the kernel api and formal proofs of the api s security properties and implementation correctness the first example of this is a mathematical proof of the confinement mechanisms in eros based on a simplified model of the eros api 36 more recently in 2007 a comprehensive set of machine checked proofs was performed of the properties of the protection model of sel4 a version of l4 37 this has led to what is referred to as third generation microkernels 38 characterised by a security oriented api with resource access controlled by capabilities virtualization as a first class concern novel approaches to kernel resource management 39 and a design goal of suitability for formal analysis besides the usual goal of high performance examples are coyotos sel4 nova 40 41 redox and fiasco oc 40 42 in the case of sel4 complete formal verification of the implementation has been achieved 38 i e a mathematical proof that the kernel s implementation is consistent with its formal specification this provides a guarantee that the properties proved about the api actually hold for the real kernel a degree of assurance which goes beyond even cc eal7 it was followed by proofs of security enforcement properties of the api and a proof demonstrating that the executable binary code is a correct translation of the c implementation taking the compiler out of the tcb taken together these proofs establish an end to end proof of security properties of the kernel 43 examples edit some examples of microkernels are amigaos amoeba os blackberry qnx genode harmonyos harmonyos 5 liteos discontinued helenos horizon nintendo 3ds and nintendo switch system software the l4 microkernel family mach mac os 7 to mac os 9 mac os nanokernel minix abandoned midori discontinued phantom os qubes os redox symbian discontinued symbos threadx zircon nanokernel edit look up nanokernal in wiktionary the free dictionary the term nanokernel or picokernel historically referred to a kernel where the total amount of kernel code i e code executing in the privileged mode of the hardware is very small the term picokernel was sometimes used to further emphasize small size the term nanokernel was coined by jonathan s shapiro in the paper the keykos nanokernel architecture it was a sardonic response to mach which claimed to be a microkernel while shapiro considered it monolithic essentially unstructured and slower than the systems it sought to replace subsequent reuse of and response to the term including the picokernel coinage suggest that the point was largely missed both nanokernel and picokernel have subsequently come to mean the same thing as the term microkernel a virtualization layer underneath an operating system which is more correctly referred to as a hypervisor a hardware abstraction layer that forms the lowest level part of a kernel sometimes used to provide real time functionality to normal operating systems like adeos 44 there is also at least one case where the term nanokernel refers not to a small kernel but one that supports a nanosecond clock resolution 45 see also edit loadable kernel module microservices tanenbaum torvalds debate unikernel multi environment real time references edit herder jorrit n 23 february 2005 toward a true microkernel operating system pdf minix3 org retrieved 22 june 2015 read more retrieved 20 december 2016 per brinch hansen ieee computer society retrieved 13 september 2016 brinch hansen per 2004 a programmer s story the life of a computer pioneer retrieved 13 september 2016 brinch hansen per april 1969 rc 4000 software multiprogramming system pdf technical report regnecentralen retrieved 13 september 2016 brinch hansen per 1970 the nucleus of a multiprogramming operating system pdf communications of the acm 13 4 238 250 citeseerx 10 1 1 105 4204 doi 10 1145 362258 362278 s2cid 9414037 cite journal cite uses deprecated parameter citeseerx help wulf william cohen ellis corwin william jones anita levin roy pierson c pollack fred june 1974 hydra the kernel of a multiprocessor operating system communications of the acm 17 6 337 345 doi 10 1145 355616 364017 s2cid 8011765 rashid richard robertson george december 1981 accent a communication oriented network operating system kernel sosp 81 proceedings of the eighth acm symposium on operating systems principles pacific grove california pp 64 75 doi 10 1145 800216 806593 liedke jochen september 1996 toward real microkernels communications of the acm 39 9 70 71 sassenrath carl 1986 amiga rom kernel reference manual exec cite book cs1 maint location missing publisher link cmu cs project mach home page www cs cmu edu carnegie mellon university retrieved 8 august 2024 magee jim wwdc 2000 session 106 mac os x kernel 14 minutes in archived from the original on 11 december 2021 porting unix linux applications to mac os x apple retrieved 26 april 2011 redox your next gen os redox your next gen os www redox os org helios ares os org 1 2 3 liedtke jochen september 1996 towards real microkernels communications of the acm 39 9 70 77 doi 10 1145 234215 234473 s2cid 2867357 heiser gernot uhlig volkmar levasseur joshua january 2006 are virtual machine monitors microkernels done right acm sigops operating systems review 40 1 acm 95 99 doi 10 1145 1113361 1113363 s2cid 7414062 archived from the original on 13 january 2014 retrieved 13 january 2014 liedtke jochen december 1993 improving ipc by kernel design 14th acm symposium on operating system principles asheville north carolina pp 175 88 citeseerx 10 1 1 40 1293 cite conference cite uses deprecated parameter citeseerx help 1 2 chen j bradley bershad brian n december 1993 the impact of operating system structure on memory system performance pdf sosp 93 proceedings of the fourteenth acm symposium on operating systems principles asheville north carolina pp 120 133 doi 10 1145 168619 168629 1 2 3 liedtke jochen december 1995 on µ kernel construction sosp 95 proceedings of the fifteenth acm symposium on operating systems principles copper mountain resort colorado pp 237 250 doi 10 1145 224056 224075 elphinstone kevin heiser gernot november 2013 from l3 to sel4 what have we learnt in 20 years of l4 microkernels sosp 13 proceedings of the twenty fourth acm symposium on operating systems principles farmington pennsylvania pp 133 150 doi 10 1145 2517349 2522720 synchronous message passing retrieved 3 september 2024 the qnx high availability toolkit pdf archived from the original pdf on 24 august 2005 wong william 27 april 2007 i o i o it s off to virtual work we go electronic design retrieved 8 june 2009 alexander michael t 1971 organization and features of the michigan terminal system proceedings of the november 16 18 1971 fall joint computer conference vol 40 pp 589 591 doi 10 1145 1478873 1478951 s2cid 14614148 lions john 1 august 1977 lions commentary on unix 6th edition with source code peer to peer communications isbn 978 1 57398 013 5 liedtke jochen elphinstone kevin schönberg sebastian härtig hermann heiser gernot islam nayeem jaeger trent may 1997 achieved ipc performance still the foundation for extensibility 6th workshop on hot topics in operating systems cape cod massachusetts ieee pp 28 31 doi 10 1109 hotos 1997 595177 hdl 1959 4 39929 gray charles chapman matthew chubb peter mosberger tang david heiser gernot april 2005 itanium a system implementor s tale usenix annual technical conference annaheim california pp 264 278 van schaik carl heiser gernot january 2007 high performance microkernels and virtualisation on arm and segmented architectures 1st international workshop on microkernels for embedded systems sydney australia nicta pp 11 21 archived from the original on 26 april 2007 retrieved 1 april 2007 härtig hermann hohmuth michael liedtke jochen schönberg sebastian october 1997 the performance of μ kernel based systems proceedings of the sixteenth acm symposium on operating systems principles sosp 97 vol 31 pp 66 77 doi 10 1145 268998 266660 isbn 0 89791 916 5 s2cid 1706253 gefflaut alain jaeger trent park yoonho liedtke jochen elphinstone kevin j uhlig volkmar tidswell jonathon e deller luke et al 2000 the sawmill multiserver approach 9th acm sigops european workshop kolding denmark pp 109 114 citeseerx 10 1 1 25 8376 cite conference cite uses deprecated parameter citeseerx help leslie ben chubb peter fitzroy dale nicholas götz stefan gray charles macpherson luke potts daniel shen yueting elphinstone kevin heiser gernot september 2005 user level device drivers achieved performance journal of computer science and technology 20 5 654 664 doi 10 1007 s11390 005 0654 4 hdl 1959 4 39966 s2cid 1121537 tanenbaum andrew s tanenbaum torvalds debate part ii tanenbaum a herder j and bos h may 2006 biggs simon lee damon heiser gernot 2018 the jury is in monolithic os design is flawed microkernel based designs improve security proceedings of the 9th asia pacific workshop on systems jeju island republic of korea association for computing machinery pp 1 7 doi 10 1145 3265723 3265733 shapiro jonathan s weber samuel verifying the eros confinement mechanism ieee conference on security and privacy archived from the original on 3 march 2016 elkaduwe dhammika klein gerwin elphinstone kevin 2007 verified protection model of the sel4 microkernel submitted for publication archived from the original on 29 november 2011 retrieved 10 october 2007 1 2 klein gerwin elphinstone kevin heiser gernot andronick june cock david derrin philip elkaduwe dhammika engelhardt kai kolanski rafal norrish michael sewell thomas tuch harvey winwood simon october 2009 sel4 formal verification of an os kernel pdf 22nd acm symposium on operating system principles big sky montana elkaduwe dhammika derrin philip elphinstone kevin april 2008 kernel design for isolation and assurance of physical memory 1st workshop on isolation and integration in embedded systems glasgow uk doi 10 1145 1435458 archived from the original on 24 april 2010 retrieved 17 august 2009 1 2 tud home operating systems research microkernel hypervisor faculty of computer science technische universität dresden 12 august 2010 archived from the original on 6 april 2012 retrieved 5 november 2011 steinberg udo kauer bernhard april 2010 nova a microhypervisor based secure virtualization architecture eurosys 2010 paris france pp 209 222 doi 10 1145 1755913 1755935 lackorzynski adam warg alexander march 2009 taming subsystems capabilities as universal resource access control in l4 iies 09 second workshop on isolation and integration in embedded systems nuremberg germany citeseerx 10 1 1 629 9845 cite conference cite uses deprecated parameter citeseerx help klein gerwin andronick june elphinstone kevin murray toby sewell thomas kolanski rafal heiser gernot february 2014 comprehensive formal verification of an os microkernel acm transactions on computer systems 32 1 2 1 2 70 doi 10 1145 2560537 s2cid 4474342 gerum philippe 2005 life with adeos pdf retrieved 21 may 2026 cite web cs1 maint url status link mills david l kamp poul henning 28 november 2000 the nanokernel pdf retrieved 28 august 2017 further reading edit scientific articles about microkernels on citeseerx including hildebrand dan 1992 an architectural overview of qnx proceedings of the workshop on micro kernels and other kernel architectures pp 113 126 citeseerx 10 1 1 459 4481 isbn 1 880446 42 1 cite conference cite uses deprecated parameter citeseerx help the basic qnx reference tanenbaum a herder j bos h may 2006 can we make operating systems reliable and secure computer 39 5 44 51 bibcode 2006compr 39e 44t doi 10 1109 mc 2006 156 s2cid 99779 archived from the original on 21 june 2017 retrieved 3 april 2020 the basic reliable reference black d l golub d b julin d p rashid r f draves r p dean r w forin a barrera j tokuda h malan g bohman d march 1992 microkernel operating system architecture and mach journal of information processing 14 4 the basic mach reference varhol peter d january 1994 small kernels hit it big byte archived from the original on 7 march 2006 retrieved 20 september 2017 an assessment of the present and future state of microkernel based oses as of january 1994 microkernel page from the portland pattern repository the tanenbaum torvalds debate the tanenbaum torvalds debate 1992 01 29 tanenbaum a s can we make operating systems reliable and secure torvalds l linus torvalds about the microkernels again 2006 05 09 shapiro j debunking linus s latest tanenbaum a s tanenbaum torvalds debate part ii v t e microkernels nanokernels kernels l4 family eumel l3 l4 macintosh hosted mac os nanokernel nukernel psion eka1 eka2 amiga type exec execsg quark warpos eros k42 little kernel mach gnu mach microempix µ velosity nucleus off plan b opus powerup rtlinux ti rtos kernel vanguard operating systems posix support unix like arx gnu hurd lites meikos minix minix vmd minix 3 mklinux multi environment real time mert unix rt os2000 qnx redoxos spring tinix unicos vsta partial chorusos integrity nucleus rtos nuttx ose riot capability based gnosis keykos eros capros hydra sel4 midori nltss harmonyos next openharmony oniro os harmonyos l4 kernel l 4 linux pikeos rex os wombat java virtual machine javaos chorus jazz integrates chorusos jx macintosh hosted unix like machten macmach copland classic mac os powerpc kernel psion epoc symbian os amiga type amigaos aros aspireos broadway icaros desktop morphos microsoft singularity threadx verve aim alliance pink taligent os workplace os amoeba bertos chibios rt freertos he...