Performance and Compatibility in the HongMeng Production Microkernel [pdf]

%PDF-1.7 %???? 1 0 obj << /Names 3 0 R /Outlines 4 0 R /Pages 5 0 R /Type /Catalog >> endobj 2 0 obj << /CreationDate (D:20240613204000Z) /ModDate (D:20240613204000Z) /Producer (iText? Core 8.0.0 \(AGPL version\) ?2000-2023 Apryse Group NV; modified using iText? Core 8.0.0 \(AGPL version\) ?2000-2023 Apryse Group NV) >> endobj 3 0 obj << /Dests 6 0 R >> endobj 4 0 obj << /Count 8 /First 7 0 R /Last 8 0 R /Type /Outlines >> endobj 5 0 obj << /Count 22 /Kids [ 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R ] /Type /Pages >> endobj 6 0 obj << /Kids [ 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R ] >> endobj 7 0 obj << /Dest (section.1) /Next 36 0 R /Parent 4 0 R /Title (Introduction) >> endobj 8 0 obj << /Dest (section.8) /Parent 4 0 R /Prev 37 0 R /Title (Conclusion and Future Work) >> endobj 9 0 obj << /ArtBox [ 0 0 612 792 ] /BleedBox [ 0 0 612 792 ] /Contents 38 0 R /CropBox [ 0 0 612 792 ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /PieceInfo << /InDesign << /DocumentID /LastModified /NumberOfPageItemsInPage 2 /NumberofPages 1 /OriginalDocumentID /PageItemUIDToLocationDataMap << /0 [ 210 0 3 -270 36 270 156 1 0 0 1 0 78.6 ] /1 [ 256 1 3 -16.92 174 232.92 235.44 1 0 0 1 -27.48 208.8 ] >> /PageTransformationMatrixList << /0 [ 1 0 0 1 0 0 ] >> /PageUIDList << /0 1506 >> /PageWidthList << /0 612 >> >> >> /Resources << /ColorSpace << /CS0 39 0 R >> /ExtGState << /GS0 40 0 R /GS1 41 0 R >> /Font << /TT0 42 0 R /TT1 43 0 R /TT2 44 0 R /TT3 45 0 R >> /ProcSet [ /PDF /Text ] /XObject << /Fm0 46 0 R /Fm1 47 0 R >> >> /Rotate 0 /TrimBox [ 0 0 612 792 ] /Type /Page >> endobj 10 0 obj << /Annots [ 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R ] /Contents [ 76 0 R 77 0 R 78 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 79 0 R /Type /Page >> endobj 11 0 obj << /Annots [ 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R 104 0 R 105 0 R 106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R 115 0 R 116 0 R ] /Contents [ 117 0 R 118 0 R 119 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 120 0 R /Type /Page >> endobj 12 0 obj << /Annots [ 121 0 R 122 0 R 123 0 R 124 0 R 125 0 R 126 0 R 127 0 R 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R 143 0 R 144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 151 0 R 152 0 R 153 0 R 154 0 R 155 0 R 156 0 R 157 0 R 158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R 165 0 R 166 0 R 167 0 R 168 0 R 169 0 R ] /Contents [ 170 0 R 171 0 R 172 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 173 0 R /Type /Page >> endobj 13 0 obj << /Annots [ 174 0 R 175 0 R 176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R 185 0 R 186 0 R 187 0 R 188 0 R 189 0 R 190 0 R 191 0 R ] /Contents [ 192 0 R 193 0 R 194 0 R ] /Group 195 0 R /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 196 0 R /Type /Page >> endobj 14 0 obj << /Annots [ 197 0 R 198 0 R 199 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R 206 0 R 207 0 R 208 0 R ] /Contents [ 209 0 R 210 0 R 211 0 R ] /Group 212 0 R /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 213 0 R /Type /Page >> endobj 15 0 obj << /Annots [ 214 0 R 215 0 R 216 0 R 217 0 R 218 0 R 219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 225 0 R 226 0 R 227 0 R 228 0 R 229 0 R ] /Contents [ 230 0 R 231 0 R 232 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 233 0 R /Type /Page >> endobj 16 0 obj << /Annots [ 234 0 R 235 0 R 236 0 R 237 0 R 238 0 R 239 0 R 240 0 R 241 0 R 242 0 R 243 0 R 244 0 R 245 0 R 246 0 R 247 0 R 248 0 R 249 0 R 250 0 R 251 0 R 252 0 R ] /Contents [ 253 0 R 254 0 R 255 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 256 0 R /Type /Page >> endobj 17 0 obj << /Annots [ 257 0 R 258 0 R 259 0 R 260 0 R 261 0 R 262 0 R 263 0 R ] /Contents [ 264 0 R 265 0 R 266 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 267 0 R /Type /Page >> endobj 18 0 obj << /Annots [ 268 0 R 269 0 R 270 0 R 271 0 R 272 0 R 273 0 R 274 0 R 275 0 R 276 0 R 277 0 R 278 0 R 279 0 R 280 0 R 281 0 R 282 0 R 283 0 R ] /Contents [ 284 0 R 285 0 R 286 0 R ] /Group 287 0 R /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 288 0 R /Type /Page >> endobj 19 0 obj << /Annots [ 289 0 R 290 0 R 291 0 R 292 0 R 293 0 R 294 0 R 295 0 R 296 0 R 297 0 R ] /Contents [ 298 0 R 299 0 R 300 0 R ] /Group 301 0 R /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 302 0 R /Type /Page >> endobj 20 0 obj << /Annots [ 303 0 R 304 0 R 305 0 R 306 0 R 307 0 R 308 0 R 309 0 R 310 0 R 311 0 R 312 0 R 313 0 R 314 0 R 315 0 R 316 0 R 317 0 R 318 0 R 319 0 R 320 0 R 321 0 R 322 0 R 323 0 R 324 0 R 325 0 R 326 0 R 327 0 R 328 0 R 329 0 R 330 0 R 331 0 R ] /Contents [ 332 0 R 333 0 R 334 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 335 0 R /Type /Page >> endobj 21 0 obj << /Annots [ 336 0 R 337 0 R 338 0 R 339 0 R ] /Contents [ 340 0 R 341 0 R 342 0 R ] /Group 343 0 R /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 344 0 R /Type /Page >> endobj 22 0 obj << /Annots [ 345 0 R 346 0 R 347 0 R 348 0 R 349 0 R 350 0 R 351 0 R 352 0 R 353 0 R 354 0 R 355 0 R 356 0 R 357 0 R 358 0 R 359 0 R 360 0 R ] /Contents [ 361 0 R 362 0 R 363 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 364 0 R /Type /Page >> endobj 23 0 obj << /Annots [ 365 0 R 366 0 R 367 0 R 368 0 R 369 0 R ] /Contents [ 370 0 R 371 0 R 372 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 373 0 R /Type /Page >> endobj 24 0 obj << /Annots [ 374 0 R 375 0 R 376 0 R 377 0 R 378 0 R 379 0 R 380 0 R 381 0 R 382 0 R 383 0 R 384 0 R 385 0 R 386 0 R 387 0 R 388 0 R 389 0 R ] /Contents [ 390 0 R 391 0 R 392 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 393 0 R /Type /Page >> endobj 25 0 obj << /Annots [ 394 0 R 395 0 R 396 0 R 397 0 R 398 0 R 399 0 R 400 0 R 401 0 R 402 0 R 403 0 R 404 0 R 405 0 R 406 0 R 407 0 R 408 0 R 409 0 R 410 0 R 411 0 R 412 0 R 413 0 R ] /Contents [ 414 0 R 415 0 R 416 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 417 0 R /Type /Page >> endobj 26 0 obj << /Annots [ 418 0 R 419 0 R 420 0 R 421 0 R 422 0 R 423 0 R 424 0 R 425 0 R 426 0 R 427 0 R 428 0 R 429 0 R 430 0 R 431 0 R 432 0 R 433 0 R 434 0 R 435 0 R 436 0 R 437 0 R 438 0 R 439 0 R ] /Contents [ 440 0 R 441 0 R 442 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 443 0 R /Type /Page >> endobj 27 0 obj << /Annots [ 444 0 R 445 0 R 446 0 R 447 0 R 448 0 R 449 0 R 450 0 R 451 0 R 452 0 R 453 0 R 454 0 R ] /Contents [ 455 0 R 456 0 R 457 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 458 0 R /Type /Page >> endobj 28 0 obj << /Annots [ 459 0 R 460 0 R 461 0 R 462 0 R 463 0 R 464 0 R 465 0 R 466 0 R 467 0 R 468 0 R ] /Contents [ 469 0 R 470 0 R 471 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 472 0 R /Type /Page >> endobj 29 0 obj << /Annots [ 473 0 R 474 0 R 475 0 R 476 0 R 477 0 R 478 0 R 479 0 R 480 0 R 481 0 R 482 0 R 483 0 R 484 0 R 485 0 R ] /Contents [ 486 0 R 487 0 R 488 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 489 0 R /Type /Page >> endobj 30 0 obj << /Annots [ 490 0 R 491 0 R 492 0 R 493 0 R 494 0 R 495 0 R 496 0 R 497 0 R 498 0 R 499 0 R 500 0 R 501 0 R 502 0 R ] /Contents [ 503 0 R 504 0 R 505 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 5 0 R /Resources 506 0 R /Type /Page >> endobj 31 0 obj << /Limits [ (Hfootnote.1) (cite.fork) ] /Names [ (Hfootnote.1) [ 11 0 R /XYZ 332.226 100.394 null ] (Hfootnote.2) [ 20 0 R /XYZ 68.346 90.929 null ] (cite.APIintegrity) [ 28 0 R /XYZ 54 337.27 null ] (cite.ARMPAC) [ 27 0 R /XYZ 317.88 189.823 null ] (cite.Arrakis) [ 29 0 R /XYZ 54 600.946 null ] (cite.LXDs) [ 28 0 R /XYZ 317.88 458.979 null ] (cite.LinuxAPI) [ 30 0 R /XYZ 54 592.976 null ] (cite.Mondrix) [ 30 0 R /XYZ 317.88 679.985 null ] (cite.Nooks) [ 29 0 R /XYZ 317.88 128.219 null ] (cite.Parmer2010TheCF) [ 29 0 R /XYZ 54 720 null ] (cite.SPIN) [ 24 0 R /XYZ 317.88 720 null ] (cite.SawMill) [ 25 0 R /XYZ 317.88 138.018 null ] (cite.Shenango) [ 28 0 R /XYZ 317.88 159.98 null ] (cite.Singularity) [ 26 0 R /XYZ 317.88 158.66 null ] (cite.TAS) [ 27 0 R /XYZ 54 395.823 null ] (cite.Theseus) [ 24 0 R /XYZ 317.88 433.574 null ] (cite.Timothy) [ 29 0 R /XYZ 317.88 670.187 null ] (cite.UKL) [ 29 0 R /XYZ 54 230.391 null ] (cite.XNU) [ 24 0 R /XYZ 54 523.958 null ] (cite.aosp) [ 26 0 R /XYZ 54 584.219 null ] (cite.armwatchpoint) [ 27 0 R /XYZ 54 560.178 null ] (cite.asild) [ 27 0 R /XYZ 54 657.351 null ] (cite.autodriver) [ 29 0 R /XYZ 317.88 547.367 null ] (cite.autosar) [ 24 0 R /XYZ 54 358.664 null ] (cite.biglock) [ 29 0 R /XYZ 54 532.658 null ] (cite.bugnion1997disco) [ 24 0 R /XYZ 317.88 353.211 null ] (cite.capsys) [ 27 0 R /XYZ 317.88 371.088 null ] (cite.chcoresls) [ 30 0 R /XYZ 317.88 569.121 null ] (cite.cts) [ 26 0 R /XYZ 54 553.883 null ] (cite.cve) [ 25 0 R /XYZ 54 548.107 null ] (cite.dingo) [ 29 0 R /XYZ 317.88 628.408 null ] (cite.eal) [ 27 0 R /XYZ 54 614.079 null ] (cite.eas) [ 30 0 R /XYZ 54 636.867 null ] (cite.eollinux) [ 30 0 R /XYZ 54 668.747 null ] (cite.epollorder) [ 29 0 R /XYZ 54 656.075 null ] (cite.exokernel) [ 25 0 R /XYZ 317.88 679.985 null ] (cite.fastsyscall) [ 28 0 R /XYZ 317.88 503.412 null ] (cite.flexos) [ 27 0 R /XYZ 317.88 644.12 null ] (cite.ford1997flux) [ 25 0 R /XYZ 317.88 577.091 null ] (cite.fork) [ 24 0 R /XYZ 54 315.521 null ] ] >> endobj 32 0 obj << /Limits [ (cite.freebsd-comp) (cite.okl4) ] /Names [ (cite.freebsd-comp) [ 25 0 R /XYZ 317.88 329.3 null ] (cite.gamecpufreq) [ 25 0 R /XYZ 54 720 null ] (cite.gamesched) [ 25 0 R /XYZ 54 644.431 null ] (cite.geekbench) [ 29 0 R /XYZ 54 409.664 null ] (cite.ghost) [ 26 0 R /XYZ 317.88 273.509 null ] (cite.goel1996linux) [ 26 0 R /XYZ 54 627.173 null ] (cite.gpl-iso) [ 25 0 R /XYZ 317.88 442.939 null ] (cite.holberg2011iso) [ 26 0 R /XYZ 317.88 488.702 null ] (cite.hydra) [ 27 0 R /XYZ 317.88 472.762 null ] (cite.hyrumslaw) [ 30 0 R /XYZ 317.88 600.284 null ] (cite.iskios) [ 26 0 R /XYZ 54 342.426 null ] (cite.k42) [ 24 0 R /XYZ 54 591.012 null ] (cite.k42-fork) [ 25 0 R /XYZ 54 167.218 null ] (cite.k42-full) [ 24 0 R /XYZ 54 670.02 null ] (cite.k42-intro) [ 27 0 R /XYZ 54 191.771 null ] (cite.k42-sum) [ 29 0 R /XYZ 317.88 184.672 null ] (cite.kirin9000) [ 26 0 R /XYZ 317.88 318.062 null ] (cite.ksplit) [ 26 0 R /XYZ 317.88 423.014 null ] (cite.l3tol4) [ 25 0 R /XYZ 54 114.107 null ] (cite.l4) [ 27 0 R /XYZ 317.88 257.569 null ] (cite.l4ipc) [ 27 0 R /XYZ 317.88 337.27 null ] (cite.l4re) [ 27 0 R /XYZ 54 112.953 null ] (cite.l4sc) [ 27 0 R /XYZ 317.88 720 null ] (cite.lazyirq) [ 26 0 R /XYZ 54 668.802 null ] (cite.legoos) [ 29 0 R /XYZ 317.88 309.604 null ] (cite.levasseur2004unmodified) [ 27 0 R /XYZ 317.88 528.553 null ] (cite.lightiso) [ 28 0 R /XYZ 317.88 344.01 null ] (cite.linux26cve) [ 25 0 R /XYZ 54 514.791 null ] (cite.linux_vulnerabilities) [ 24 0 R /XYZ 317.88 181.853 null ] (cite.linuxdriver) [ 24 0 R /XYZ 317.88 286.182 null ] (cite.linuxsize) [ 30 0 R /XYZ 317.88 720 null ] (cite.lkl) [ 29 0 R /XYZ 54 285.465 null ] (cite.lmbench) [ 28 0 R /XYZ 54 106.257 null ] (cite.lrpc) [ 24 0 R /XYZ 54 145.549 null ] (cite.microdriver) [ 25 0 R /XYZ 317.88 241.629 null ] (cite.multikernel) [ 24 0 R /XYZ 54 248.468 null ] (cite.musl) [ 26 0 R /XYZ 54 384.717 null ] (cite.nested) [ 25 0 R /XYZ 54 447.668 null ] (cite.oh) [ 25 0 R /XYZ 317.88 385.091 null ] (cite.okl4) [ 26 0 R /XYZ 317.88 682.042 null ] ] >> endobj 33 0 obj << /Limits [ (cite.outdatedlinux) (cite.wsl) ] /Names [ (cite.outdatedlinux) [ 26 0 R /XYZ 54 152.304 null ] (cite.paccve) [ 25 0 R /XYZ 54 589.382 null ] (cite.pagefault) [ 25 0 R /XYZ 54 303.523 null ] (cite.pikeos) [ 27 0 R /XYZ 54 492.996 null ] (cite.pks) [ 27 0 R /XYZ 54 720 null ] (cite.posix) [ 24 0 R /XYZ 54 449.628 null ] (cite.preemptive-rt) [ 24 0 R /XYZ 54 703.221 null ] (cite.qnx) [ 26 0 R /XYZ 317.88 532.538 null ] (cite.qnxfail) [ 29 0 R /XYZ 317.88 229.903 null ] (cite.qnxstop) [ 24 0 R /XYZ 317.88 476.747 null ] (cite.qnxstudy) [ 28 0 R /XYZ 54 620.209 null ] (cite.qnxtablet) [ 24 0 R /XYZ 317.88 532.538 null ] (cite.qnxweb) [ 24 0 R /XYZ 317.88 576.374 null ] (cite.ren19analysis) [ 29 0 R /XYZ 54 126.062 null ] (cite.routerlinuxversion) [ 26 0 R /XYZ 317.88 720 null ] (cite.rumpkernel) [ 27 0 R /XYZ 54 440.489 null ] (cite.safedrive) [ 30 0 R /XYZ 317.88 488.702 null ] (cite.secvisor) [ 29 0 R /XYZ 317.88 411.158 null ] (cite.sel4) [ 27 0 R /XYZ 54 317.349 null ] (cite.sel4cap) [ 29 0 R /XYZ 317.88 454.994 null ] (cite.sel4sc) [ 28 0 R /XYZ 54 565.081 null ] (cite.semimicro) [ 28 0 R /XYZ 54 720 null ] (cite.skybridge) [ 28 0 R /XYZ 317.88 682.74 null ] (cite.smmu) [ 24 0 R /XYZ 54 492.771 null ] (cite.snap) [ 28 0 R /XYZ 54 235.716 null ] (cite.startup) [ 26 0 R /XYZ 54 469.3 null ] (cite.sysgolinux) [ 30 0 R /XYZ 54 720 null ] (cite.threadmigration) [ 25 0 R /XYZ 317.88 508.628 null ] (cite.ukernelsecure) [ 24 0 R /XYZ 317.88 658.012 null ] (cite.uml) [ 25 0 R /XYZ 54 344.679 null ] (cite.underbridge) [ 26 0 R /XYZ 54 252.314 null ] (cite.unikernel) [ 28 0 R /XYZ 54 484.717 null ] (cite.vdso) [ 28 0 R /XYZ 54 381.106 null ] (cite.virtuOS) [ 28 0 R /XYZ 317.88 239.681 null ] (cite.vom2022home) [ 30 0 R /XYZ 54 500.658 null ] (cite.vts) [ 26 0 R /XYZ 54 511.592 null ] (cite.weisbach2011generic) [ 30 0 R /XYZ 54 445.529 null ] (cite.whynolinux) [ 29 0 R /XYZ 54 464.792 null ] (cite.windowsNT) [ 28 0 R /XYZ 317.88 558.486 null ] (cite.wsl) [ 28 0 R /XYZ 317.88 602.321 null ] ] >> endobj 34 0 obj << /Limits [ (cite.xmp) (subsection.4.2) ] /Names [ (cite.xmp) [ 29 0 R /XYZ 54 365.828 null ] (cite.xpc) [ 25 0 R /XYZ 54 258.959 null ] (cite.zircon) [ 26 0 R /XYZ 54 427.009 null ] (cite.zirconhandle) [ 25 0 R /XYZ 317.88 285.465 null ] (figure.caption.1) [ 13 0 R /XYZ 54 725.978 null ] (figure.caption.10) [ 18 0 R /XYZ 317.88 628.724 null ] (figure.caption.11) [ 19 0 R /XYZ 54 725.978 null ] (figure.caption.12) [ 19 0 R /XYZ 317.88 725.978 null ] (figure.caption.13) [ 21 0 R /XYZ 317.88 725.978 null ] (figure.caption.14) [ 21 0 R /XYZ 317.88 627.446 null ] (figure.caption.2) [ 13 0 R /XYZ 317.88 725.978 null ] (figure.caption.4) [ 14 0 R /XYZ 54 606.911 null ] (figure.caption.6) [ 16 0 R /XYZ 54 725.978 null ] (figure.caption.9) [ 18 0 R /XYZ 317.88 725.978 null ] (section.1) [ 10 0 R /XYZ 54 143.573 null ] (section.2) [ 11 0 R /XYZ 317.88 536.166 null ] (section.3) [ 12 0 R /XYZ 317.88 295.784 null ] (section.4) [ 15 0 R /XYZ 54 720 null ] (section.5) [ 19 0 R /XYZ 317.88 201.89 null ] (section.6) [ 21 0 R /XYZ 317.88 296.259 null ] (section.7) [ 23 0 R /XYZ 54 493.789 null ] (section.8) [ 23 0 R /XYZ 317.88 304.326 null ] (subfigure.1.1) [ 13 0 R /XYZ 54 720 null ] (subfigure.1.2) [ 13 0 R /XYZ 207.945 648.201 null ] (subfigure.1.3) [ 13 0 R /XYZ 54 632.759 null ] (subfigure.1.5) [ 13 0 R /XYZ 54 543.725 null ] (subfigure.1.6) [ 13 0 R /XYZ 205.455 472.684 null ] (subfigure.11.1) [ 23 0 R /XYZ 54 720 null ] (subfigure.11.2) [ 23 0 R /XYZ 376.56 654.747 null ] (subfigure.11.3) [ 23 0 R /XYZ 54 646.279 null ] (subfigure.11.4) [ 23 0 R /XYZ 273.207 574.284 null ] (subfigure.11.5) [ 23 0 R /XYZ 384.032 574.284 null ] (subfigure.11.6) [ 23 0 R /XYZ 472.201 574.284 null ] (subsection.2.1) [ 11 0 R /XYZ 317.88 513.665 null ] (subsection.2.2) [ 11 0 R /XYZ 317.88 164.308 null ] (subsection.2.3) [ 12 0 R /XYZ 54 199.578 null ] (subsection.3.1) [ 12 0 R /XYZ 317.88 270.704 null ] (subsection.3.2) [ 13 0 R /XYZ 317.88 235.839 null ] (subsection.4.1) [ 15 0 R /XYZ 54 696.822 null ] (subsection.4.2) [ 16 0 R /XYZ 54 542.254 null ] ] >> endobj 35 0 obj << /Limits [ (subsection.4.3) (table.caption.8) ] /Names [ (subsection.4.3) [ 16 0 R /XYZ 317.88 123.824 null ] (subsection.4.4) [ 17 0 R /XYZ 317.88 207.759 null ] (subsection.4.5) [ 19 0 R /XYZ 54 482.479 null ] (subsection.5.1) [ 19 0 R /XYZ 317.88 174.7 null ] (subsection.5.2) [ 20 0 R /XYZ 317.88 644.598 null ] (subsection.6.1) [ 21 0 R /XYZ 317.88 269.573 null ] (subsection.6.2) [ 22 0 R /XYZ 54 233.978 null ] (table.caption.16) [ 22 0 R /XYZ 54 725.978 null ] (table.caption.3) [ 14 0 R /XYZ 54 725.978 null ] (table.caption.5) [ 15 0 R /XYZ 54 596.113 null ] (table.caption.7) [ 17 0 R /XYZ 317.88 725.978 null ] (table.caption.8) [ 17 0 R /XYZ 317.88 648.987 null ] ] >> endobj 36 0 obj << /Count -1 /Dest (section.2) /First 507 0 R /Last 508 0 R /Next 509 0 R /Parent 4 0 R /Prev 7 0 R /Title (The Case for a General Microkernel) >> endobj 37 0 obj << /Dest (section.7) /Next 8 0 R /Parent 4 0 R /Prev 510 0 R /Title (Lessons and Experiences) >> endobj 38 0 obj << /Filter /FlateDecode /Length 1159 >> stream H?|V?r?H}?Ẉ? ɚ?.þ!?V?hk??}0?q?8??f??ۧ{dI??R??????n_,_]?j{X?y?|y???????????g?b??.???:?;??.?&WF5_i??y?????e +?b?:+l?U?M?4w?O?;M_*i?ڨd??6?J?lt??UI?/??tZf??^??e?Jz???M????䞍Q??6l}???S?ws?d)bDk\????"Q???S21#???̙???x?O?ٯ?~?(?/?A?}????n????Z?] 0`UrC8?'? ?z?p? ?bu$?8i?? -;آdZ?W*?{gq?x????z???B??ZB???????????N?.n??;|????[??+]1^=<?v ???z?? 8?j?-XП?p&YS???0I??t?gn??]fMP?f^h????x r???? Tr??ߦ?Ez?_V|?? ????-&?){Dk??d?????u??s.Hv?t?S?s?b???kn??Ax/?ۨ?]D?&??X?#).??O#??UL?#rp??Kd??4??z[??g???Da??]?1 ?u ш?)bt???y&???H?߸*B??L?d???u)???/?.??????????? ??fb?N'?[??C???.#?KiḎN????r ??p????帹Wo5?Ap?ypQB??*.???Ĉ#gY?ٜ+????"?.??e?%4???ҏr?4<?W Ý?I?c?r$W?Yۢ??y??h㥁T????r???~!???N?:?sL?G?S=?d&?|@?i?R?{??OЄ_(\??8???@?'?`?Z9?J????;?ǥ??Z?7? t?? ?"?_???7???Yg޹?<?Sb?v?xJqPg_ꂟƒ?A੯??xl,w?LO??3WNx???#;Ld?.?????R_6?Ԯ??9G!?????????MGb򣩒XI9?VC?_"^xJ"???J???P1??`r?.2ٺ؞0?bH]Č??g3??#"Y?2]???|ͣV:??n??,>???P?ߛ?? M?B8 endstream endobj 39 0 obj [ /ICCBased 511 0 R ] endobj 40 0 obj << /AIS false /BM /Normal /CA 1 /OP false /OPM 1 /SA true /SMask /None /Type /ExtGState /ca 1 /op false >> endobj 41 0 obj << /AIS false /BM /Normal /CA 1 /OP true /OPM 0 /SA true /SMask /None /Type /ExtGState /ca 1 /op true >> endobj 42 0 obj << /BaseFont /BBGPRA+OpenSans-Bold /Encoding /WinAnsiEncoding /FirstChar 32 /FontDescriptor 512 0 R /LastChar 121 /Subtype /TrueType /ToUnicode 513 0 R /Type /Font /Widths [ 260 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 285 0 0 0 0 0 0 0 0 637 0 0 0 724 765 0 0 0 0 943 0 0 628 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 604 633 514 633 591 387 565 657 305 0 620 305 982 657 619 633 0 454 497 434 657 0 0 0 569 ] >> endobj 43 0 obj << /BaseFont /BBGPRA+OpenSans-Semibold /Encoding /WinAnsiEncoding /FirstChar 32 /FontDescriptor 514 0 R /LastChar 121 /Subtype /TrueType /ToUnicode 515 0 R /Type /Font /Widths [ 260 0 0 0 0 0 0 0 0 0 0 0 267 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 634 0 0 532 0 751 0 299 639 542 923 783 0 615 787 0 0 0 0 0 946 622 592 0 0 0 0 0 0 0 580 623 0 623 576 0 556 635 279 0 0 0 0 635 611 0 0 0 0 393 635 0 817 0 536 ] >> endobj 44 0 obj << /BaseFont /BBGPRA+OpenSans-SemiboldItalic /Encoding /WinAnsiEncoding /FirstChar 32 /FontDescriptor 516 0 R /LastChar 121 /Subtype /TrueType /ToUnicode 517 0 R /Type /Font /Widths [ 260 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 269 0 0 0 0 0 0 0 598 0 0 0 0 689 297 299 0 0 0 0 0 0 0 0 516 514 683 0 0 0 0 0 0 0 0 0 0 0 579 0 0 585 525 343 521 590 275 0 0 275 0 590 573 0 0 408 450 367 590 487 752 0 490 ] >> endobj 45 0 obj << /BaseFont /BBGPRA+OpenSans /Encoding /WinAnsiEncoding /FirstChar 45 /FontDescriptor 518 0 R /LastChar 120 /Subtype /TrueType /ToUnicode 519 0 R /Type /Font /Widths [ 322 266 367 0 0 572 0 572 0 0 0 0 0 266 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 556 613 476 613 561 339 548 614 253 0 0 0 0 614 604 613 0 408 477 353 614 0 778 524 ] >> endobj 46 0 obj << /BBox [ 0 792 612 0 ] /Filter /FlateDecode /Matrix [ 1 0 0 1 0 0 ] /Resources << /ColorSpace << /CS0 39 0 R >> /ExtGState << /GS0 40 0 R >> /ProcSet [ /PDF /ImageC ] /XObject << /Im0 520 0 R /Im1 521 0 R >> >> /Subtype /Form /Length 127 >> stream H?t?1AОS??,0???4??Ռ??qF?X 4??G?)`œ?g?ZI???p?F??ȸ>?5R?r0Ƣ??5r6? ???c{?C?6~??????_:K?(e?M?︉???~ 0 ??'? endstream endobj 47 0 obj << /BBox [ 0 792 612 0 ] /Filter /FlateDecode /Matrix [ 1 0 0 1 0 0 ] /Resources << /ColorSpace << /CS0 39 0 R >> /ExtGState << /GS0 41 0 R /GS1 40 0 R >> /Font << /TT0 522 0 R /TT1 523 0 R >> /ProcSet [ /PDF /Text ] /Properties << /MC0 524 0 R /MC1 525 0 R >> /Shading << /Sh0 526 0 R /Sh1 527 0 R >> >> /Subtype /Form /Length 21862 >> stream H??W?n\???W??Ќ??XƔX?e???Pe?#YC?p?>??K?$d?]A??nWW??ԩ?o.7??/?????w?6???Oo??痗?w?f?????????ǿ??х??xw???R??[q?w?_?.?m?wv???pg????>,iW????vŝ}X?a??k,gw??QoP??2???]rg{X?t?]?? J?q??½??=??cwoz7????q I???k???~ ??`???|^c??v2>?]???=?7_?^~?|?9s??o??q8js??HBXrᮾl=???xܸ?8~a??v?K?l?;?F????%Vn?s?V?~w?0??{???.???|???-T:????u????!N???ݷv~x????`??x? $??(???.?r?<'/^?’??Ĝ?]8?S,?+? ?[?Q x????lh????Ϫc??H?W?`????W?=?7?|f2??D???yD~???B뻐[t?????3??>?? ????c???????R[X???????YVo?Q{?ö?Zl>֋?ƣXX?w?? ??Vȩ?*۵H?Am? ?O?3 1q녌E.1~p@? Pgfc;ߐ?h)A& ??!ᥟ?d,IpoK?;??????.,Um?]?R????%?vM??P?Z??I?d?5R?Y?QZ????2JJ?z6???g??p(?46???s*m?z?e&j????:?#?A^?m?`̰?hHt?g!??w։?E8}?b?T??b??焣~+k???O9??RJ+ %9ڕ-?? ʯ&?i???"??? ???b ??5???RTd?s???????jt?0ݚ???0???j?????hW?sb?Q9??/Au?C1?l???@:???3??꣊29o w??|?^,~R?????8?n??򉐚R2B:?g? YFZ??Q5:*FGʦ?q8)s??R>????G??n?4- p????mL?k?????.????????/????7/????M@>ӈ??ta?תg? #???7?p??r??H??&Q?????P 5??݆Kw?o??i@??G9?w?y%Bf?b?P?(B?????tS{??ˏ????I? ??e??"???e?C?O??j?v????S?z?5????)!>??}ƅ?4y??ƨ??g>?,???Z?r???{??R??bx?p84L?d??????+?:?y?qzȅy?1???? ?7F?.Sm]?c??#????ټ????p~??????&8t?w?C? ?_?_~???=??? ^??l. ???w̝?t???Xy?3Qm?J?\?w%X`???y ?M??????% ? FQ?Ks?5H?{???????\?A&F+jW?R???:+????)?)?^\?%??;I?????̎镢???*{G:??uP?Az-?D=???-??õ?&?(j21u???+1????*???e???\'M??̃?ViϫGW??*?5???j1??h ??+?=??P ?AY???뚏r??BIQ?g???c[G3u=6w??<J?@?%?4N???ԥ??????EivT?T?|-D&?*???̆?E???B?l?n?deJ&U8KD CH?&f,??7??'??v?t??8??$???Sb?ْ?h?????AĶ??]?U??|??1I?Ӟ?r?.T??^:?7r??J?KdǛ??Y????c!~S ?J??S?h?z?ۍ???6?z?[?{?U5@? @?Y??QT?&?k94h,*?>ڡ?V???bt? B? ?!???D???ʹ????z͖??R?h?ȾU?@I?Ad(e?{?)??V ğ??)q?4?*??{Y#?)6???[???????X??? h?`???p?0LZ??"?0?I?????Q???3;??a@?????#Ibw???A V ?褐??6?6k????A?C{VaX'p??ɺ?f?ں@w?? ??O??rT?s???'S4?t?U??H ,8X c¢(?Ԭ? Q?????0;}mqR???c????2?L??a…?9HrݤXG?=gXז^?f?u?z??OS?i?>Mէ??4U????b?~?k5zvFv??s????Wӂ??( ??>?-??~&B?F?ĠaTc?29?(=?6)iVO ???FS?x???&R6? YЬ&??m?uJ???ɉ??o??B?ܪ?=IQ?????ї?[G?Ay?#?=V^0B42,?7,??E$kv+?h]??҄?.?N?/?Qo9b?7?ĆL??>S B? EI??UÈ?A蹙bՌ???-??,|%??V??.?'?im?'k{?w?H&??x/cC??@!?P?C1???9?C4???? Ӛ??zc%芽는?*???6+?@R??*??y:?H?0КIe??9?IΔ?>?\?`?0Y???u?(??#?Ru5?WS??E?C#??Ok?;??JB??tHSL???n`?$ ?_'Q???uYh????ۤ'??#?Ț?݂????5Nz? ??????????A??Ů?%S??^I`??L?z?( ???jC?:TG-k?K?*??/?I???u??? N??y?hm??????#=???[3+?4????????m?]E}??????f?ҳ_z?K??_????S?yN??̍3]???/yB??neG??A[(L?#&G?g???~?yY#????????W{??? =I ???