{"pages":{"search":{"query":"The seL4 Microkernel","originalQuery":"The seL4 Microkernel","serpid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","parentReqid":"","serpItems":[{"id":"5925784844217352613-0-0","type":"videoSnippet","props":{"videoId":"5925784844217352613"},"curPage":0},{"id":"10989578448283528488-0-1","type":"videoSnippet","props":{"videoId":"10989578448283528488"},"curPage":0},{"id":"3514661481754285469-0-2","type":"videoSnippet","props":{"videoId":"3514661481754285469"},"curPage":0},{"id":"17045115684125905154-0-3","type":"videoSnippet","props":{"videoId":"17045115684125905154"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dFRoZSBzZUw0IE1pY3Jva2VybmVsCg==","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","ui":"desktop","yuid":"5847103311774802102"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"2582203770958415666-0-5","type":"videoSnippet","props":{"videoId":"2582203770958415666"},"curPage":0},{"id":"11748893623556895316-0-6","type":"videoSnippet","props":{"videoId":"11748893623556895316"},"curPage":0},{"id":"18093209937119545774-0-7","type":"videoSnippet","props":{"videoId":"18093209937119545774"},"curPage":0},{"id":"538409960412697713-0-8","type":"videoSnippet","props":{"videoId":"538409960412697713"},"curPage":0},{"id":"6800264055312804282-0-9","type":"videoSnippet","props":{"videoId":"6800264055312804282"},"curPage":0},{"id":"13003279312646117987-0-10","type":"videoSnippet","props":{"videoId":"13003279312646117987"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dFRoZSBzZUw0IE1pY3Jva2VybmVsCg==","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","ui":"desktop","yuid":"5847103311774802102"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"17359656253109204102-0-12","type":"videoSnippet","props":{"videoId":"17359656253109204102"},"curPage":0},{"id":"1161533594110444855-0-13","type":"videoSnippet","props":{"videoId":"1161533594110444855"},"curPage":0},{"id":"14977711284088737927-0-14","type":"videoSnippet","props":{"videoId":"14977711284088737927"},"curPage":0},{"id":"1379501460098098713-0-15","type":"videoSnippet","props":{"videoId":"1379501460098098713"},"curPage":0},{"id":"11303752203871243173-0-16","type":"videoSnippet","props":{"videoId":"11303752203871243173"},"curPage":0},{"id":"3318197273746265569-0-17","type":"videoSnippet","props":{"videoId":"3318197273746265569"},"curPage":0},{"id":"8673805244953813648-0-18","type":"videoSnippet","props":{"videoId":"8673805244953813648"},"curPage":0},{"id":"6737717318135553391-0-19","type":"videoSnippet","props":{"videoId":"6737717318135553391"},"curPage":0}],"filters":{},"serpFooter":{"linksGroups":[{"type":"geo","links":[{"label":"Columbus","title":"Columbus","url":"//yandex.com.tr/tune/geo/","logNode":{"name":"region"},"target":"_self","a11yLabel":"Bölgeniz Columbus","needRetpath":true}]},{"type":"help","links":[{"label":"Bize ulaşın","url":"https://yandex.com.tr/support/video/troubleshooting.html","logNode":{"name":"feedback"},"needRetpath":true},{"label":"Yardım","url":"https://yandex.com.tr/support/video/","logNode":{"name":"help"},"needRetpath":true}]},{"type":"settings","links":[{"label":"Ayarlar","url":"https://yandex.com.tr/tune/search/","target":"_self","logNode":{"name":"settings"},"needRetpath":true}]},{"type":"company","links":[{"label":"Şirket hakkında","url":"//yandex.com.tr/company/","logNode":{"name":"about"},"target":"_blank"},{"label":"Kullanım lisansı","url":"//yandex.com.tr/legal/termsofuse/","logNode":{"name":"license"},"target":"_blank"},{"label":"Gizlilik Politikası","url":"//yandex.com.tr/legal/confidential/","logNode":{"name":"confidential"},"target":"_blank"}],"a11yHidden":true}],"hasExtralinks":true},"currentPage":0,"prevPageToLoad":-1,"nextPageToLoad":1,"isTranslationsFilterEnabled":false,"isTranslationsDistributionEnabled":false,"isTranslationsDistributionOnboardingEnabled":false,"prevention":{},"hasNextPage":true,"rightSerpItems":[{"type":"direct","id":"search-list-right","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"R-I-8843654-1","renderTo":"search-list-right-0-R-I-8843654-1","pageNumber":0,"grab":"dFRoZSBzZUw0IE1pY3Jva2VybmVsCg==","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","ui":"desktop","yuid":"5847103311774802102"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DThe%2BseL4%2BMicrokernel","pages":[{"reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","start":0,"end":20,"pageNumber":0,"isCounterSent":false}]},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"9555168673098809269724","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_search_toggle_with_text":1,"video_viewer_show_placeholder":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":1,"video_adv_config_desktop":{"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"video_search_page_no_islands":1,"video_vh_player_js":0,"video_masthead_ratio":"180,4","video_searchdata_scheme":1,"video_viewer_related_fail_error_screen":1,"velocity_delay_metrika":1,"video_viewer_channel_link_mode":2,"video_partner_label":1,"int_tr":1,"mmui_extended_escape_scheme":"searchdata.clips.0.authorname","tabs_order_version":"search,images,video,newstr,maps,translate,tr_ecom","spok":"id","video_suggest_use_serp":1,"video_search_grid_direct_repeat":6,"video_direct_config_desktop_search":"search-grid-row:R-I-48058-718:R-I-474674-109,search-grid-head:R-I-2120168-7","init_meta":{"enable-yabs-distr":1,"ask-user-purchase-history":1,"use-src-videoquickp":1,"enable-begemot":1,"enable_masthead":1,"use-src-videop":1,"use-src-videoquickp_misspell":1,"enable_blackbox_multisession":1,"begemot-enable-cancelled-misspell-rtmr":1,"enable_video_iron_fetcher":1,"use-related-only":1,"ask-yandex-io-devices":1,"use-images-device-setup":1,"use-src-imagesp":1,"images-apphost-collections-front":1,"enable_aab_apphost":1,"graph-is-video-search":1,"bg-bert-video":1,"use-src-imagesp_misspell":1,"use-src-imagesultrap":1,"use-video-apphost-pre-templates":1,"use-src-videop_misspell":1,"use-video-apphost-post-templates":1,"use-src-imagesquickp":1,"enable_video_carousels":"1","restrict-max-docs":"1000","use-images-region-setup":1,"use-post-auto2":1,"use-images-settings-setup":1,"use-src-ugc_favorites":1,"video_vitrina_disable":"0","use-images-user-setup":1,"use-video-pre-search-data":1,"begemot-no-suggest-history":1},"video_depot_viewer_masthead_ssr_only":1,"video_blender":1,"video_kebab_advanced_actions":1,"video_search_grid_enable":0,"video_viewer_desktop_fix_d2d_scroll":1,"video_depot_viewer_legacy_counters":1,"video_search_grid_direct_start":3,"video_adv_new_show_rules_docs_count":1,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"velocity_split_hydration":4,"video_duration_counter_new_format":1,"video_force_grid_on_premordie":1,"int_online_summarization_video_snippet":1,"video_morda_header_nav":1,"video_nohost_full_filter":0,"video_baobab_blockstat":1,"video_thumb_poster_full":1,"video_scrollpages":2,"video_serp_desktop_block_design":1,"video_nohost_youtube_filter":0,"video_viewer_host_link_mode":1,"video_comments_smart_nonstop":1},"slots":["1520072,0,71;1502249,0,36;151171,0,6;126344,0,46;1281084,0,64;287509,0,54;1447467,0,84;1482951,0,1;1497449,0,39"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DThe%2BseL4%2BMicrokernel","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://twitter.yandex.com.tr/video/search?text=The+seL4+Microkernel","settingsUrl":"https://yandex.com.tr/tune/search/","helpUrl":"https://yandex.com.tr/support/video/","legalUrl":"//legal.yandex.com.tr/termsofuse/","feedbackUrl":"https://yandex.com.tr/support/video/troubleshooting.html","basename":"/video","currentPageName":"search","isYandexApp":false,"isYandexAppAndroid":false,"isYandexAppIos":false,"isAnyYaBro":false,"isAndroid":false,"isHamster":false,"serpid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","backUrl":"//ya.ru","url":"https://twitter.yandex.com.tr/video/search?text=The+seL4+Microkernel","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"The seL4 Microkernel: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"The seL4 Microkernel\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"The seL4 Microkernel — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"ye09b83e180c3f3be633ecd02c0bc42ac","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1520072,1502249,151171,126344,1281084,287509,1447467,1482951,1497449","queryText":"The seL4 Microkernel","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"5847103311774802102","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,359879,415420,644350,652605,645301,679708,689693,690449,696466,696473,722746,740796,776165,771230,781521,790415,801982,851450,886706,883477,900639,931367,937268,969063,935488,945314,989988,982463,991363,990185,1015567,1011895,1035320,1033956,1035241,1036046,1087297,1060131,1071879,1078818,1077703,1116602,1045814,1131637,1144233,1151726,1156933,1174275,1173000,1167408,1202006,1194718,1221235,1228280,1239596,1226860,1246754,1276447,1289213,1316370,1313283,1321224,1300570,1320679,1352408,1342688,1344637,1341968,1345362,1343279,1367583,1336673,1348424,1382036,1391511,1384451,1402882,1407422,1417605,1424780,1429092,1438908,1444206,1449283,1452713,1457995,1459585,1461130,1492788,1495633,1511916,1514845,1523309,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1774802147","tz":"America/Louisville","to_iso":"2026-03-29T12:35:47-0400","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","isEmbedded":false,"shouldShowMainPageButtonInViewer":false,"shouldDisableWebp":false,"removeLinkPrefix":"/video","shouldUseHighresPreview":true,"shouldCutSnippetTitle":true,"shouldShowPlusBadge":true,"reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1520072,1502249,151171,126344,1281084,287509,1447467,1482951,1497449","queryText":"The seL4 Microkernel","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"5847103311774802102","uid":"0","isChildAccount":false}},"deviceDetect":{"OSFamily":"Unknown","isTV":0,"x64":0,"GoogleToolBarVersion":"","MultiTouch":0,"BrowserBase":"","YandexBarVersion":"","isTablet":0,"YandexBar":0,"hasWebOmni":0,"isTouch":0,"hasYandexCamera":0,"isMobile":0,"DeviceKeyboard":"","device":"desktop","TurboAppPlatformVersion":"","historySupport":0,"BrowserShellVersion":"","DeviceVendor":"","isBrowser":0,"hasFlash":0,"MailRuSputnikVersion":"","isSameSiteSupported":0,"BrowserBaseVersion":"","BrowserVersionRaw":"","hasWebVert":0,"DeviceId":"","error":"","MailRuAgent":0,"ScreenWidth":0,"inAppBrowser":0,"hasHTML5":0,"isEmulator":0,"J2ME":0,"MailRuAgentVersion":"","BrowserEngineVersionRaw":"537.36","isRobot":1,"__is_plain":1,"BrowserEngineVersion":"0537.0036","BrowserName":"Unknown","DeviceModel":"","BrowserEngine":"WebKit","DeviceName":"","OSVersionRaw":"","OSName":"","GoogleToolBar":0,"ScreenSize":"","isTurboApp":0,"MailRuSputnik":0,"YaBuildName":"","isWAP":0,"PreferMobile":0,"DesktopMode":0,"BrowserVersion":"","BitsPerPixel":0,"BrowserShell":"","YaGUI":"","isBeta":0,"OSVersion":"","ScreenHeight":0},"nonce":"9555168673098809269724","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":160,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"shouldCensorShockContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"isCommentsSmartNonStopEnabled":true,"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":true,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"isCommentsAuthPopup":false,"preventAdvHideOnEmpty":false,"isPlayerChangeCounterEnabled":false,"isSmallTitle":false,"shouldRestoreMuteState":false,"isAdvUnderPlayerWithSlider":false,"isAdvUnderPlayerCommentsAligned":false,"isSerialNavigatorDisabled":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"showShock":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"5847103311774802102","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1795.0__4f54f30c0556aec0594fd8e6b260a17234f66a22","isGridSupported":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"isSkinInitedOnClient":false},"counters":{"params":{"useBeacon":false,"clickHost":"twitter.yandex.com.tr/clck","pid":197},"dict":{"viewer":"2921","user":"538","info":"1275","sources":"1500","select":"775","close":"486","open":"842","source":"186","link":"513","click":"882","tech":"690","player":"1242","change":"719","summary":"3410","init":"1309","item":"22","button":"440","shown":"3780","copy":"1276","text":"232","load":"1724","fallback":"2010","channel":"1345","hide":"1656","serp":"471","pager":"405","down":"601","up":"600","footer":"295","more":"75","page":"143","loaded":"1007","grid":"3223","support":"2458","client":"2989","layout":"54","list":"436","duration":"2136","within":"3247","on":"10","off":"11","host":"3052","supported":"3761","enable":"2396","disable":"2395","full":"318","video":"231","translation":"347","distrib":"316","onboarding":"2045","filters":"618","lang":"1144","advanced":"255","apply":"2461","reset":"3236","short":"142","toggle":"237","request_entry_completed":"2021","snippet":"254","icon":"1167","abuse":"1436","submit":"297","extralinks":"3557","feedback":"296","wizard":"358","incut":"1073","out":"3218","popup":"1544","scroll":"768","show":"487","retry":"3545","region":"287","help":"177","settings":"1137","recommendations":"2671","home":"1319","soo":"65","youtube":"624","google":"66","bing":"568"}},"clips":{"items":{"5925784844217352613":{"videoId":"5925784844217352613","docid":"34-8-5-Z916DD60AB794294D","description":"The seL4 microkernel is enabling new security features in product development for cutting edge fields like aerospace and defense, and in the open source community, fully portable to RISC-V...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1775382/5f647b9009c77db65fd0243fe85b71d5/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/TWN4MwEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DgBIRDBekQP4","linkTemplate":"/video/preview/5925784844217352613?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Intro to the seL4 microkernel","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=gBIRDBekQP4\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzU5MjU3ODQ4NDQyMTczNTI2MTNaEzU5MjU3ODQ4NDQyMTczNTI2MTNqiBcSATAYACJFGjEACipoaGhscXd1eXB6bW9uZGpjaGhVQ0dlTXNLSjNoVXdJelV2NmFELWtRNkESAgASKhDCDw8aDz8TgxSCBCQBgAQrKosBEAEaeIH2-_v7-wUA7QMCDAcD_gAHAADw-P__APTvAP34Av8A-_0A__8AAAD5BAT4BwAAAAUNCPr4_gEADgUL_AUAAAAA8gAB-QAAAAkG9wj-AQAA9v4DBAMAAAAA_wT6_wAAAO4DDwL_AAAA_g8FAAAAAAD19fv_AAAAACAALVmR4js4E0AJSE5QAiqEAhAAGvABbwMSAr8KA_0f_vIABw32AYEFC_8h-fwA2QnuAM4C6QAAC-gA2uIAAPX5Hf_zHAn_B-D__zYMDQDtCAoAMBn5AAwRHAA7C_7_MPXxAPz8__8CCf3_GwkK_wvuGQAQAfUAIe4C_u4L4AEFFBECAPAQ_w0WEwAVAv0BCAYUARTxAQAIABD-IfcF_-cc6QAGEQwA7gn0AwoEAgHt_ugD-xfyBPkf-wIr9_D8FPwTBQXs-__zAQYAEjMGARfx9gIIBPkB_Ov1BAMA_AgA-v0DHvUVAPvqEQH09QL_CRfvAPf3_P7_DAj45wIKAgAFCQEA6Pz7IAAtbidIOzgTQAlIYVACKs8HEAAawAdXBwy_2oNavC--aLxV2fc8ElXTPPgwIL2PnYE9A0o-vae1hLzSELw77FxiPQNUgryyL-G-johzPILA0ro9KXM-lMDmu_VyDj3nVNK9h0MgPZ94qTxPeJG-ZxVMPanmi7oHmg8-Vt6EvEV4xTxa9M49wvJsPT844brJV8K85gwAPULuAr3wyTs7qtBlvdIjfDx3hMM9E_s6vDJvmzucivQ9q9AbPXExULzeQHy9nL-qO5d7t7x6tqi9ruLDuymL6zuUwhw-5JPfu3qjGz124xs8tXp2ulbojTzZbDY93ACiPDYS1zuBpcS8YctmPZG0QDzFLjs9x_dAvdBY4Dw-GW29bzNQPbBjkjz31rY9qvDUOWhXBDt0S0Y9MnKWPEZeFj2rVZC9kR7QPOaoSDwHJnc9XA0_PM3SKbxWWpA8VXH-PCqTFrzPReg8GsFGPESMMrwBb567JqyNPU64-Tk9o8i9ww6jvJ0PTzt8nXS9NsIMPaJ91znxEvw9wCicva0oa7vh4Qc92UXsvJFxFjzy2Oq810uIPdGscDsZ5oQ9KK1JPZo4gztLOko8IAqmvPJrWjyZqJS8x_NZPbeOOztICMW82hcWPGkYhLu-Clo91yfKvEUHajvmCZ89beCzPFGfCTwoQi891p-rOoBNzrtpqBG9GK7zPHwdITzcxpU8TwG0ujiLNDu0YFg9z_npPMQvqzq9hNC6aAtDvcZfgztiL1Q9KaPAvL93I7vPBJQ8NHqPvSeZCLpmFbY8Xm9xPT6SszlZ5BK98O9dvTtac7m063c7CPpVvIJlOzrX0Hc9cSm-unpftjjub5o8oywyvbz3m7iycp68eSWkvFmLS7nPgeW91WioPBamKDlMpZ86po6fvHJwcTeANgg9QW61vB0DYrlucei8wfuvPVPuvLgEsvC7Rx2du9vO9Te862w8-2HfvPNJk7j4Rn49mSNQPPEg07hhZmm8Na0-PQDuibgXVgC9v4YbvYKCH7hGLtO89gESPWgL8Tg1YiG9OaZdPITQwrcCZEi95AnKO1UJIrnz2va8CPnKvVqHe7alJeA8QbH6PEA707hUshe9c7g2vSiRWLfuHdo8HBm1vJ-UbLevOhU8-X96PHJGPDgysh897iEBvTT9XLgA4ai8QHc4PJIayTUqBA-8jCJVPZZS3Dd1Ajo9SfcOPQLlKDcIvMA7_itrvZErmLdpUso8F0tMvZIAW7ghMrY8OznjPQQbBjnnIEO9C3RyPQV1lbiksCa9VAbpvCB-HrhHiLw7NYkGuvfDPDggADgTQAlIbVABKnMQABpgMf8A9_b75CE7R-29CeYWCQTbAg_ZQv_5-wDvCZsREDHEiA4BAB4CCt2jAAAA29MJLOQAFnni1esV3mbpsJnoBQB_GyH5yrb4ARbhL_vZ5-kSzQzwAAXksxlo8c8eJsAFIAAt3QMWOzgTQAlIb1ACKq8GEAwaoAYAAARCAADAwQAAuEEAAOBAAAAAQQAAYMEAAAhCAADgQAAAiMIAAHBBAACgQAAAEMIAALbCAAAowgAAMMEAALDCAABgQQAAgEEAABTCAABQwQAAyMEAABTCAADwQQAAkEEAAIDAAAAAwAAAiMEAADzCAACMQgAAgL8AABBBAADQQQAAhsIAAKDBAABAwgAAUMEAAAhCAAAsQgAAkEEAAKhBAAAEQgAAgkIAAMhBAABgQQAAEEEAABTCAAAEwgAAAAAAAKhCAACwQQAAgD8AABzCAAAEQgAAwMAAAGBCAAAgQgAApsIAAMDBAABgwgAAgMAAAKBBAACIwQAABMIAAEDCAAAEQgAA8EEAAFTCAAAgwQAAgMEAAFDBAADoQQAAdEIAAKBAAAD4QQAAgEIAAADDAAA0wgAATEIAAOhBAACWwgAAmsIAAKhBAABwQQAAgL8AACDBAAAYwgAAEEIAAJhBAAC4QQAACMIAANjBAACYwQAAEEEAAEDCAADwQQAA-MEAAIDAAADQQgAAlMIAAEDAAADYwQAAoMAAADhCAAAcwgAAlsIAAKhBAACgwQAAQEAAAKBAAABcQgAAMEIAAAjCAACAPwAAAMEAADxCAACwwQAAAMEAAMBAAAAswgAA6MEAAHBBAAAgwgAAkMEAADTCAACGQgAAgEEAANDBAAAAQQAAuMEAAETCAABUQgAAQMAAAJBBAADAQAAAcMEAADxCAAAEQgAAMEIAAPjBAACawgAAkEEAAPjBAAC4wQAAQEAAALxCAACIQQAAoMEAAIDAAAAswgAAiMEAAETCAABIwgAAoEAAAIDCAABAwQAAAMIAAOjBAAAAQAAA4EEAAABCAAAIwgAAQEIAANDBAAAYwgAA2MEAAMDAAACUQgAA4EEAAOJCAAAAwQAAvsIAAFRCAAD4QQAAcEEAAEDBAADgwAAA6MEAACjCAACIQQAAnEIAAKhBAAAAQAAAsMEAAJDBAAA8QgAA2MEAAADAAABsQgAA-MEAAEBCAACIwQAARMIAAIhBAADgQAAASMIAAEBAAAAAwQAAPMIAAJrCAADCwiAAOBNACUh1UAEqjwIQABqAAgAAqD0AADC9AAD4PQAAgLsAAAS-AACovQAAQLwAAA-_AADCvgAAgLsAAJg9AACgPAAAuD0AABA9AABMvgAAJL4AAEQ-AAAwPQAA2D0AALY-AAB_PwAAQDwAAKi9AACoPQAAiD0AADC9AABAPAAAyL0AALi9AABQPQAATD4AANg9AACovQAAQDwAAGQ-AAB8PgAADD4AAFS-AABcvgAAnr4AABS-AACIvQAAEL0AAPi9AACiPgAAFL4AADA9AAD4vQAAUL0AAGS-AACAOwAARL4AAFQ-AAAQPQAAuL0AAOC8AAAJPwAA-D0AANi9AAAEPgAAqD0AAII-AACIPQAAmD0gADgTQAlIfFABKo8CEAEagAIAAHC9AABMPgAAHD4AADG_AABMvgAAML0AAAw-AABwPQAAoDwAAEw-AACIvQAAqr4AAEQ-AABwvQAAgLsAAJi9AABwPQAANz8AAFw-AAC6PgAAMD0AAOi9AAAUPgAAJL4AAJi9AADgvAAAcD0AAMg9AADIPQAAFD4AAEA8AAAQPQAAiL0AADC9AADgvAAALL4AAFQ-AAC4PQAABL4AAAQ-AAAMPgAAUD0AAIC7AACIPQAAJL4AAFw-AAB_vwAAcL0AAEy-AACWPgAAcD0AALg9AAC4PQAAXD4AANg9AACoPQAAUL0AAHA9AABAvAAAmL0AADQ-AABAPAAAiL0AAAS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=gBIRDBekQP4","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["5925784844217352613"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"348656199"},"10989578448283528488":{"videoId":"10989578448283528488","docid":"34-10-12-Z8C03DE7663B4BF59","description":"If you need isolation or partitioning of software running on your computing platform and need to prove correctness with mathematical (formal methods) level of rigor, you should consider the open...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4232203/1f6f626d445e36786cfd04fc43040625/564x318_1"},"target":"_self","position":"1","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DoXrvYEplnn4","linkTemplate":"/video/preview/10989578448283528488?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Achieve Extreme Security with the seL4 Microkernel","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=oXrvYEplnn4\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDEwOTg5NTc4NDQ4MjgzNTI4NDg4WhQxMDk4OTU3ODQ0ODI4MzUyODQ4OGq1DxIBMBgAIkQaMQAKKmhoaGxxd3V5cHptb25kamNoaFVDR2VNc0tKM2hVd0l6VXY2YUQta1E2QRICABIqD8IPDxoPPxNgggQkAYAEKyqLARABGniB_AkA_fsFAPH9_A39Bf4BEAMG-gf__wD79gX-BgT-APL1_wECAAAAAP0P_QgAAAD-_v7_-P4AAAIJDP0EAAAADvv89fYAAAANC_wD_gEAAPsGBwcD_wAADP0EAP8AAAD6BREG_gAAAPb7Cv8AAAAA_fP6BAAAAAAgAC2jC-E7OBNACUhOUAIqhAIQABrwAX_38gLIBw7-CPr6_94EBAGPzg79FPLmAPMIDQGo7d7_zwUWAObvFv_u_RMBzxcz_8_7_f5JFCoC3fAS_zf68wAJ9BYANAD5AQ8HCwDxAAT_7wgeACsE_QAU7gkACgIS_xLe9v8F9PEABfLqAATzAQEHFPv-_A8QAPIA_AXt-PcB_AgCAwon9wLz5f_7ExcLAPr32QQI_e8E-Dj-AAMMEgMGGgr7Gun1-RMMGwblDPn37vz4_BMhCQrl8ukADSsSAezzE_r2A_4D_Pvr_Azs9QQW7QYD3f0AA-UK_gET9_ACCxYE8uwC8gLqChX-CfH5-CAALae6Pjs4E0AJSGFQAipzEAAaYBf6ABsBGfDp8lnf8hDkFRP7Cxbq0A3_9-0A_g3IDefz26EsIwAa1Df4sQAAAA0GATbOAOhxvNgY_xNa767N5Tr1f_MWwazvHfPu7PPq6OnmIQUjCwAg5LclOuHkL_zUCSAALcbnKDs4E0AJSG9QAiqvBhAMGqAGAACgQAAAKEIAAIZCAACgQAAAwEEAAIJCAADAwAAAMMIAAIbCAAC2wgAAwMEAAKDAAACOwgAAMMIAAGBBAACewgAA4EEAAHDBAADoQQAA4MIAAFDBAACAQAAAsMEAAEBBAACAQQAAgMAAAJTCAAAQQQAAgMAAANhBAADgwAAAJMIAAPDBAAAgQgAAAMEAAKDAAAAwwQAAtEIAADhCAAAAAAAAgMEAAGxCAACmQgAAQEAAAABBAAAAQAAAEEEAAJjCAABQQgAAeMIAAHDBAACuQgAAPMIAABDBAAAowgAACMIAAJTCAADgQQAAIEIAAIJCAAAowgAAIMIAACBCAACEwgAA4MAAALjBAAAgwQAAGMIAAJzCAADQQQAAOEIAAEhCAACgwQAAiEIAAABCAAAAwAAAXMIAAKjBAACAwQAAkMEAAJbCAAAQQgAAkEEAAIA_AAAgQQAA4EAAACBBAACeQgAAhEIAANDBAACAwgAACEIAACBBAABAwgAAYMEAAHzCAAAQwQAAfEIAAOBAAABQQQAAZMIAAIBCAAAoQgAAAMAAAIrCAABwQQAAlsIAADRCAACAPwAAlsIAABBBAADIwQAA0MEAALDBAAAwQQAAhkIAAFBBAAB4wgAAYMEAAPjBAACAPwAAQMIAAGDBAADAwQAAEEIAAEDAAABowgAAMEEAACTCAABswgAAKEIAAChCAAAQwgAAuEEAADRCAACoQQAAXEIAAMBBAABAwgAACMIAACDCAABgQgAAbEIAAMDBAAAYwgAAcEEAAABBAAAAQgAAIMEAAFBBAACwwQAAyMEAAADAAACYwQAAGEIAAJjBAAAAwAAAJMIAABDCAABMQgAAhEIAAIBAAABgQQAAVEIAAAzCAADowQAAPEIAABRCAACgQAAAwEEAAMDBAAA0QgAAuMEAAIBAAAAAQAAAAAAAABzCAAB4wgAAmMEAAABCAACGwgAAAMEAALhBAACIwgAAuEEAAFDBAAAMwgAAbEIAAGBBAADAQQAAiMEAAFDCAACIQQAA4MEAAJDBAAAwQgAAGMIAALBBAAAIwgAAYMEgADgTQAlIdVABKo8CEAAagAIAABA9AABAvAAATD4AADC9AAAcvgAAoDwAAIo-AAAJvwAAgr4AAKg9AABAvAAA2D0AABQ-AACoPQAAcL0AAFA9AACYPQAA6D0AABQ-AADKPgAAfz8AANg9AACAuwAAyD0AAAS-AAAQPQAA2L0AAIi9AADIvQAAuD0AAKg9AABQvQAANL4AAJi9AACOPgAABD4AAKg9AADYvQAAJL4AADS-AACYvQAAQLwAABS-AAAUvgAA2D0AADS-AAAsvgAAUL0AAJg9AAB8vgAADD4AAEC8AAB0PgAAJD4AAFC9AACgvAAAIz8AAOC8AACIvQAAgLsAAIC7AACAOwAAyD0AADA9IAA4E0AJSHxQASqPAhABGoACAACCvgAAbD4AABC9AAA9vwAABL4AAAS-AAAEPgAA4LwAAIA7AABwPQAAgDsAAJq-AADIvQAANL4AANi9AACAuwAAgDsAACs_AAAQPQAAbD4AAIA7AAD4vQAAcD0AADy-AAAMvgAATD4AAAS-AAAQPQAA4DwAALg9AADIPQAA6D0AAAy-AACIPQAAQLwAABy-AAA0PgAAgDsAACy-AABwvQAAVD4AAEA8AADIvQAAmD0AAI6-AABkPgAAf78AAFy-AABMvgAAFD4AAFw-AAAwPQAAJD4AADQ-AAAMPgAA4DwAADC9AAD4PQAAEL0AAKi9AACoPQAA6L0AACS-AACovSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=oXrvYEplnn4","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["10989578448283528488"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3778219473"},"3514661481754285469":{"videoId":"3514661481754285469","docid":"34-10-17-Z6BB4CDC17F542B26","description":"See https://www.meetup.com/SecTalks/event...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/470888/f2b34a88b3d045819090bfb2f24d494b/564x318_1"},"target":"_self","position":"2","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DKVL9xMveNv4","linkTemplate":"/video/preview/3514661481754285469?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The seL4 microkernel: Mathematical proof of security - SecTalks SYD0x40 (64th)","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=KVL9xMveNv4\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzM1MTQ2NjE0ODE3NTQyODU0NjlaEzM1MTQ2NjE0ODE3NTQyODU0Njlqrw0SATAYACJFGjEACipoaHdub3Z2cHVod2V4ZGhkaGhVQzVOZC00MkEyZzJsZElmcmRIYng1UWcSAgASKhDCDw8aDz8T2C2CBCQBgAQrKosBEAEaeIH1BAD4_AUA9vkGCQ0G_AEh-AX8BgIDAPb7-_3-Av8A-_kK-gEAAAAC_QD5AgAAAA77_gv3_wAAAwMEAvwAAAAIB__39wAAAAsN8AL_AAAA-fn-BgP_AAAT9w79_wAAAPcDC_wBAAAA_ggDCwAAAAD7-gEDAAAAACAALSvk3js4E0AJSE5QAipzEAAaYBf_ACcbBRzm9jH92_PHB_H45wfq8AcAAuAA-jDh9vYk2cb5BwAb-yXkvgAAACEB9xn2AOhKyevmCBgu9e_X5toCfywLxwkDEQMJEg_k9vwECMMWCwD_7B4OK_bJNyoBLCAALSDMVjs4E0AJSG9QAiqvBhAMGqAGAACAQQAAIMEAACxCAAAswgAAlEIAAOhBAABwQgAAgL8AAHTCAACAQAAALEIAAJDBAAAowgAAgMEAAJxCAABMwgAAPMIAABTCAADAwQAAeMIAAJ5CAADIwQAAHEIAAIZCAADgQQAAKMIAADzCAAC6wgAAykIAAIJCAAAQwQAAKEIAAITCAABMQgAAIEEAAI7CAACAwQAA4EIAAKDBAABgQQAAFEIAAIhBAACCQgAA6EEAAKBBAAAcwgAAgMEAAODAAACMQgAAIMEAACTCAAAAQAAAgEEAANhBAADwQQAA6MEAAIrCAAAAQQAAOMIAABhCAADYQQAAMEEAAIDAAAAswgAAqkIAAADAAABEQgAA-MEAAETCAAAIwgAAOEIAAJJCAAAAwgAANEIAAAxCAAAswgAA6EEAAMBAAACwQQAA8MEAACzCAAAMwgAAEEIAANBBAAAgwQAAiMEAAEBBAAAoQgAAikIAAIA_AACgQQAAgD8AAGBBAACOwgAAgMEAAKjCAAAAQQAAiEEAAEhCAADwwQAAoMEAAPBBAACCQgAAeMIAAK7CAACAwAAAYMEAAJhCAADIwQAAMEIAAGxCAADYwQAAWMIAAKDBAAA4QgAAWEIAABDBAAA4wgAAJMIAAABBAAAIQgAAQMEAAGDCAAAAwQAAYEEAAMBAAABAwQAAUEEAAADCAACoQQAA4MAAABDBAAAQwgAA2EEAALhBAABQwQAA-EEAAMhBAAAMwgAAqsIAAIBAAACgQAAAMEIAAJjBAABMQgAAMMIAAIjCAAAIQgAA-MEAANhBAACgQQAAEEEAABBCAACYwQAAAMAAAJBBAABEwgAAFMIAAKDAAAAkQgAAwMEAAIhCAAAkwgAAuMEAAIhBAADgwQAAAAAAAIxCAAAcQgAACEIAAI7CAAAcQgAAEMEAAODAAADgwAAAmMEAAKBAAABAQQAAAEIAAERCAADAwAAAuMEAAADCAACgQQAAgD8AAEDAAACOwgAAJEIAACDCAABwwQAAFMIAADDCAABUQgAA0MEAAADBAADIwQAAwMEAAIA_AACKwgAAyMEgADgTQAlIdVABKo8CEAAagAIAAIi9AADgPAAAVD4AAEC8AABkvgAAyD0AAHC9AADOvgAADL4AAIA7AADYPQAAQLwAAPg9AAAkPgAAFL4AAKC8AAAwPQAAgLsAACw-AACOPgAAfz8AAHC9AACIPQAAXD4AAKi9AADgvAAAuL0AAHC9AACoPQAA-D0AAIg9AAAwvQAAEL0AADA9AAD4PQAAuD0AAOA8AABkvgAAir4AABS-AABsvgAA-L0AAKC8AADYvQAAoLwAAHy-AAA8PgAAPL4AADC9AABUvgAAQDwAAOA8AACWPgAAmD0AAES-AABAvAAA9j4AAHQ-AABwPQAAiD0AAJi9AAAUPgAAuD0AANi9IAA4E0AJSHxQASqPAhABGoACAACGvgAAUD0AAKi9AAArvwAATL4AAEC8AABcPgAAcD0AAOi9AAAcPgAAcL0AAJK-AABQvQAAFL4AAKi9AADgvAAA6D0AAA0_AADIvQAAgj4AAEA8AACgPAAAyL0AAOi9AABAPAAA2D0AAEA8AACAuwAAMD0AAKg9AAAwPQAAcD0AABy-AAAcvgAAmL0AADC9AAC4PQAA2D0AACy-AAAQPQAAyD0AAFC9AACYPQAAiD0AAAy-AACIPQAAf78AAOA8AABEvgAA-D0AAFQ-AABQvQAABD4AAJg9AAD4PQAAgLsAAIC7AAB0PgAAuL0AADC9AAAQPQAAuL0AADA9AACAOyAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=KVL9xMveNv4","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3514661481754285469"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"17045115684125905154":{"videoId":"17045115684125905154","docid":"34-4-2-Z5212AF1E427B2235","description":"IEEE SecDev tutorial on seL4 microkernel By Nicholas Evancich (Trusted Science and Technology, Inc) https://secdev.ieee.org/2020/schedule/ https://sel4.systems/ IEEE Secure Development (SecDev)...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1602533/552bcddf810f5547407f39ad37e5408e/564x318_1"},"target":"_self","position":"3","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DoY5kRbBc1AQ","linkTemplate":"/video/preview/17045115684125905154?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"IEEE SecDev tutorial on seL4 microkernel By Nicholas Evancich (Trusted Science and Technology, Inc)","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=oY5kRbBc1AQ\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDE3MDQ1MTE1Njg0MTI1OTA1MTU0WhQxNzA0NTExNTY4NDEyNTkwNTE1NGq2DxIBMBgAIkUaMQAKKmhoa3phd2NreWplbHlnbWRoaFVDUk94UWF2cmw0VlB6b2tqX1VDeHpzZxICABIqEMIPDxoPPxPLH4IEJAGABCsqiwEQARp4gfsL_gD_AQDr-_gA-gABAPYIBO_5_fwA9O4A_fcC_wD19wP_9wAAAAgEAPADAAAAAQgB_vH-AQAY_PkAAwAAABD69QH1AAAADgz8A_4BAAD1BgICAwAAAPwMAg0AAAAA8v8IBfv_AAD_BwX9AAAAAAgJ-wMAAAAAIAAtCGHVOzgTQAlITlACKoQCEAAa8AFi-wMCuhYR_jf9_wDkIdMBgfD7_y759gC6-PUAzwLqAP4R9wDR7Qz_BRIc_-oJ_v8D-uf_K_b4ACADDgAmCggAFwoNADnqCgExAhD_6wXuAAgN9AAk-R0BCu4YAAoS9v4NCAQA4AbjAO8F-P_48xcBBBIHABzzAAH1BQkBAhMLAunqEv0aDxAD2w0N__0B_gYT_PoA_hf8BeDoAP_wCe8EGPX_BhH6Bf0j8fMG6u_7-OgFCPgJCQn4Ew36BvoWAP_84f8ECfQE_PoPCQAh3gwB-_YX9vzmB_sDCvYC9PUI9vX0BvX6EfsAAAUJAfz6-_QgAC2Q-k47OBNACUhhUAIqcxAAGmBX9AAs_vvhxRhG6AEF7Az0AOkDBdUe_wfeAAkVu9HaG7esMTf_Jtv--qMAAAA66PYlEgDaf-3uEP_CGAuqyOIGGGEYHhyfBiMOwbPkC9AHBwQFDBwADQWc-EXKuSsV_NYgAC0spB07OBNACUhvUAIqrwYQDBqgBgAAcEEAABBCAACoQQAAiMEAAFRCAACyQgAAFEIAAMBBAACEwgAAuEEAAKBBAACuwgAAeMIAAKDBAADQQgAABMIAAAxCAACIwgAA2MEAAEjCAABAwAAAJMIAAGDBAAAwQgAAMEEAAJjBAAAAwAAAQMEAAP5CAAAQQQAAWMIAACBCAACuwgAAnEIAAIDCAADYwQAAHEIAANhCAABAQQAATEIAABBBAACEQgAAKEIAAARCAAAEwgAAIMEAACRCAAAAAAAAAEEAAIDAAACGwgAAiMEAAPhBAADAQAAAikIAAFxCAADiwgAAGMIAAJjBAAAQQQAAYMEAADzCAABwwQAAKMIAAExCAACowQAAwEEAACBBAABQwgAA4MEAALBBAACyQgAAFMIAAKhBAABYwgAAIEEAAODBAAAQQQAAOEIAAAjCAACgwgAAsEIAAODAAABAQgAAgMAAAODAAADYwQAAEEEAAAhCAACAQAAAwMAAALBBAADgQAAAfMIAAOBAAADAwAAAuMEAAJDBAAAAQAAAGMIAAIDAAABoQgAANEIAAJjBAABAwAAAmEEAAEDBAAAcQgAAoMEAAKBBAAAAQQAA2MEAAMBAAAAwwQAAqEEAAMBBAABcwgAAsMEAACzCAADYQQAAAMAAAADCAAAswgAAjMIAAKDAAAAUQgAAJMIAAIBBAABgwQAARMIAAMDAAAA8wgAAoMEAAMBAAAAgwQAA2EEAAERCAABUQgAAoEAAAPjBAAB0QgAAsEEAANBBAADQwQAAoEEAAODAAAD4wQAAwEEAAODAAACwQQAAEMEAAKDBAAA8QgAA2MEAAMDAAADowQAAMMIAANjBAAAgQQAAUEEAABBBAAAgQgAAkMEAAEDAAAA4wgAA2MEAAKDAAAAAwAAAYMEAAEBAAAA4wgAAqEEAAKjBAADYQQAAAMAAAKDAAACsQgAAAMEAAKDAAACGQgAAQMIAAGTCAADQwQAAFMIAAAxCAADAQQAApMIAADBCAAA0QgAAsEEAAABBAAAgwgAAqEEAAEDAAACowQAA2EEAAKLCAABkQgAABMIAAABBIAA4E0AJSHVQASqPAhAAGoACAACgPAAAuD0AAFQ-AADYPQAA6L0AABw-AABQvQAA4r4AAEy-AACIPQAAqL0AAOC8AAAsPgAAXD4AAKi9AADIvQAABD4AAIA7AACoPQAAoj4AAH8_AAAUvgAABD4AAFA9AAAMvgAAuD0AAKC8AADovQAA6L0AAKg9AACIPQAABD4AAAy-AABwPQAAZD4AAIA7AABAPAAAHL4AAGy-AABEvgAARL4AADA9AADIvQAARL4AALg9AAAwvQAAHD4AAKi9AACovQAAfL4AAEA8AACYvQAAnj4AAPg9AAC4vQAAEL0AAPY-AACYvQAAmD0AAFQ-AADovQAAQDwAAFA9AAC4PSAAOBNACUh8UAEqjwIQARqAAgAAcL0AAAQ-AAAQPQAAE78AAFC9AAAUPgAA4LwAABQ-AAA0vgAARD4AADS-AACKvgAAoLwAAHy-AAAEPgAAEL0AAOA8AABLPwAAED0AAJ4-AABAvAAA2L0AAOA8AACovQAAQLwAADA9AAD4vQAAgDsAABC9AABAPAAAoLwAAKA8AACYPQAAmL0AAJg9AACIvQAAyD0AAAQ-AABcvgAAQDwAAIC7AACIPQAAcD0AAOi9AACYvQAAqD0AAH-_AACovQAA2L0AAHC9AACYPQAANL4AANg9AACYPQAAFD4AAIA7AAAQPQAAgDsAAMi9AAA8PgAAiD0AAOA8AABAPAAAgLsgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=oY5kRbBc1AQ","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["17045115684125905154"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"2669406609"},"2582203770958415666":{"videoId":"2582203770958415666","docid":"34-10-14-ZD653BC5180F7775D","description":"A general introduction to microkernels, followed by a brief introduction to seL4 and its main concepts. This is meant to provide the minimum needed to get working with seL4, with details about...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2854486/f1cdc169a184c0bb7570d88291519510/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/EWGmHAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"5","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dw83WT-3dgw4","linkTemplate":"/video/preview/2582203770958415666?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"w01a: Introduction to microkernels and seL4","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=w83WT-3dgw4\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzI1ODIyMDM3NzA5NTg0MTU2NjZaEzI1ODIyMDM3NzA5NTg0MTU2NjZqiBcSATAYACJFGjEACipoaGNnaGt2cHZpeXdramJiaGhVQ2kzS2Y1ZU9OSXdWNlFnTkhpWXFWemcSAgASKhDCDw8aDz8T5ieCBCQBgAQrKosBEAEaeIHy_P_1_gIA-PfzDgcH_AEQCQv09gEBAPj0AfIDA_8A8fr1-v8AAAD7-AXxBgAAAAYOCPr4_gEAEgYEBQQAAAAN-fj8_gAAAA4D-P7-AQAA9gQCCfcCAAEN_QQA_wAAAPcMEfv_AAAA_g8FAAAAAAD58QIGAAAAACAALR091js4E0AJSE5QAiqEAhAAGvABUfIP_4YE_fhL6ggARCn-_4EFC_8xBvsA1A0aAdn_8QEZFvcB2u75AAQDBQD8DQz_D-sFAA4F9v_58g7_LgERACMBBwAb4wgAKQwRAv8KAP_jCPoA-hAVAQQODP4HIfIAEQAO_wD_8ADoFAQD9AMTASkY-QAR0vkA8xgT-wIUCwL5JPz_DQ8P___18P_Q7g0A_f3rBR0A7AIY_f0CABD6-xn0_wYdFPj8Gf7y-xf8-PrzAQYAEAsIAyj28Ab2Aez6_Ov1BBXtAf0FCwAHKvAM_QrxDvzz_woNAwr2Av_vBvboEQACAenyBgIO8QMJ8fwFIAAtbidIOzgTQAlIYVACKs8HEAAawAfF5wK_DA26vDu7Br2oUgM-_UrrO-TWyTsqcS0-biuDu2abQLzM0k496OgnPJPlf7z8jLu-WlMPvMbqxbudRoI-fxZLvL4SyLxi2Sy-cgKqO8NkCr31oYO-PHfxOy7Flzugnw49z_mZPS4G6jyydZo9pcvRvC3oAbzkw8c8w_IguoOa67wYHCq9vk6KvQYOC7wbf4c81zebva6pYrvhlwo-caiUvbqrbLtRTN679jnIPCncPLwQq2S8Q_mnvDXN4LrjNU8-edrrvINdwzwe3149LfHbPNFyRTyTUaU8wUeOPFvvN7zTmSW9Fzl6PFuoRrznpxg9gHe8vJV_rbzqN4g9GJN-PYBYgLvkhv89OXb1PIxvnjwucLm8BMaKPV9GMbo5Hr28eO-oPPJi_LwHJnc9XA0_PM3SKbxEFNM8R9KJPF8WyTw98by9ZER9vApq-LoT_8Y99FxVPUa8zDtBJym9WfbJPLUcgzwnB629F1ZgvPT7frzYKHA9xe6hvTXJ9jvU4gI9W422vJiQB7z6ARk9s1Y5veX5Y7vSiYQ790YDvbqBTTqY_ZW86SmyvK16abtqEMk7TJOtPHPIvDnnFh-9jUepvPkDs7raZN48_Oo-OkTEKDxDNJ-8CgMAPQkVILuDafg9Ifa4PJJf1zmpVQ-9exSuvL4HeTqjaJQ8Ra6lvJaTs7s6nJ892jq4PFx8QDvMn2s7KvFKvDqOgrudNAg9o7E2PdSJ5DdaCk09TVeROSZsYbjHHBq9r_6pPfyqB7rYLu085-o9vVN1Jrkcegs94sYSPE0vKLpdynQ9hOAnPGpITbnf-L-8SLQuvEMXDzb6_Qy9P0thvb9Xk7mx6609At5dvO5CAjn_RYs91ouBvXo0r7mANgg9QW61vB0DYrmTm7K856YNPbEi57izqFm9-th4PT1v_bhmh6g9mn3ePJBPfbcyZOs81dUZu5k3y7iJEmi9vnMePRZZWTh7Eti8zwZqvfGnoTjtgyw83mSqPV7pvbjZ9cG85WRivaLIarhx6XO8cqbLuxoG_jeVozu9RZsDvg3aMzf4FRA8UePUvF9eqjh-f5Q8d_oePN5VPjllc7C8yzwDvE2KYrjISmc93CesPLOh-DVJQzI8Rum3vaQuYDfb4Yo9p8Q_PNErETmMnpu9yX2hPKR1ubdz-Wo8VfijveMQOzdciJ-8aG1EvQUMwjfk1Z68eonxvWVVMLijubQ9yH2LPYDxgzisBEa9ESUwPQ9ys7hMnhy9Fsq6uiTeyLcoNaq8M9wgvRWSTDYgADgTQAlIbVABKnMQABpgPAMA8PEl7PgpI_XW8vwKDgTWEBLONP_q_AD4EqL1Ein-nPP6_xfiA_quAAAA9OnjJfsA3mXW6f0H5Cr9uMH2-_x_SCEMwbYI8gjvFv3r9hgA7w_mAOcIuQVz2cwoKen7IAAtHrQtOzgTQAlIb1ACKq8GEAwaoAYAACBCAACwQQAAVEIAAABBAAC4wQAAqMEAAO5CAAAoQgAAlMIAAKjBAABsQgAAoMAAAFjCAADAwQAAuEEAAADCAAAcQgAAgsIAAKBAAADQQQAAYEIAAAjCAADAwAAAgEEAADjCAAAMQgAAQMEAAJjCAABgQQAAmEEAAOhBAACOQgAAJMIAAGDBAAAAwQAAPMIAAOBBAABcQgAA4EEAAOBBAABEwgAAgMAAAK5CAABQwQAA-EEAABjCAABUwgAABMIAABBCAADIQQAAnsIAAABCAAD4wQAAEEIAAKZCAAAgQQAAxMIAALDBAACwwQAArEIAAJhBAACCQgAAPMIAAAzCAAAYQgAAgEAAACjCAADIwgAAwEEAAI7CAAAAAAAAsEEAAKBAAADAQQAAKMIAAHDBAAAQwgAAEEEAAFDBAABkwgAAaMIAAIJCAAAUwgAAdEIAAMDAAACAwQAAIMEAAI5CAAC4QQAAUMEAAMDBAADQQQAAAEIAAEDBAACAQQAAlMIAAADCAAD4wQAAuEIAAKzCAACIQQAAEMEAADxCAADYQQAAkMEAAEDBAACowQAAYMEAAFBBAADgQQAAQEEAACTCAADgwAAAQEIAAKDBAAD4QQAA2MEAAAhCAACAwQAAoEAAAABCAACEwgAABMIAAFDCAABAwAAAAAAAAJDBAACEQgAAwMAAAAzCAACIwQAA6MEAABBBAAAAQgAAWEIAAATCAABAQAAANMIAAAzCAAAAwQAAUEEAAMBAAACIwgAAgEAAAADAAAAAwgAAJEIAAMDBAAAUQgAAEMEAAKDBAAAwQQAAiEEAAERCAAC4QQAAeMIAAIC_AABAwgAAuMEAAKBBAACIQQAAuEEAAGDBAACAwgAAMMEAAABAAAAAQgAAskIAAEBBAACEwgAAcMEAAKhCAAD4wQAAwMEAAJDBAADoQQAAwMAAABzCAACgQQAAIEEAAFTCAAAAQgAAgEEAACDBAABsQgAADEIAADjCAACgwAAAHEIAAHBBAABAwQAAlsIAAKhBAADgwAAAQEAAAMBBAAAIwgAAIMIAADDCAAAEQiAAOBNACUh1UAEqjwIQABqAAgAAuL0AABS-AADYPQAAQLwAABy-AAAwvQAAEL0AAA-_AACivgAAgLsAAOg9AACgPAAAoDwAABA9AAAkvgAAcL0AAFA9AACgPAAAHD4AAL4-AAB_PwAAQLwAAKC8AACgPAAAED0AAKg9AADIvQAAoDwAABS-AAAQvQAAND4AAHC9AAA8vgAAQDwAAKI-AAAwPQAAyD0AAHS-AABUvgAATL4AAIA7AAAUvgAAVL4AAPi9AAAsPgAApr4AAMg9AABMvgAA4LwAAI6-AADovQAAmL0AAFQ-AAAwPQAAoLwAABA9AADiPgAAqD0AADA9AADYPQAAgDsAAFw-AADgPAAAUL0gADgTQAlIfFABKo8CEAEagAIAAOi9AAA0PgAAED0AABO_AACgvAAAuL0AAFA9AADYvQAAyL0AAKY-AACAOwAAFL4AAMg9AAAMvgAAoDwAABC9AAAQPQAARz8AAGQ-AACyPgAAgDsAAKA8AADoPQAADL4AAMi9AACYvQAAQDwAAHA9AACgPAAAqD0AAFA9AACYPQAAgDsAAIC7AADYPQAAFL4AABQ-AADIPQAAVL4AAKC8AAAUPgAADD4AAAy-AACIvQAAqL0AACw-AAB_vwAADL4AAFA9AACgPAAAZD4AADC9AACAOwAAHD4AAGQ-AABQPQAAQDwAAOC8AACYvQAAMD0AADA9AABAPAAAcL0AABy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=w83WT-3dgw4","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["2582203770958415666"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3422951551"},"11748893623556895316":{"videoId":"11748893623556895316","docid":"34-5-10-ZA85AEAED2A27CA29","description":"Comp9242 2022 Week 1, first lecture Brief introduction of microkernels in general and seL4 in particular seL4 principles and overview of mechanisms seL4 IPC and Notifications...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3491179/57e66cd8291da45680596b4cdb09561d/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/ZuXEMgIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"6","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DIvqM2pmApSY","linkTemplate":"/video/preview/11748893623556895316?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"W01a: Introduction to microkernels and seL4","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=IvqM2pmApSY\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2WhQxMTc0ODg5MzYyMzU1Njg5NTMxNmqHFxIBMBgAIkQaMAAKKWhoeHRybWl4cWplemxmcGhoVUNJcVZZMVhGUE9QSVoxejJBOVRybU1BEgIAESoQwg8PGg8_E-IuggQkAYAEKyqLARABGniB8vz_9f4CAPj38w4HB_wBEAkL9PYBAQD49AHyAwP_APH69fr_AAAA-_gF8QYAAAAGDgj6-P4BABIGBAUEAAAADfn4_P4AAAAOA_j-_gEAAPYEAgn3AgABDf0EAP8AAAD3DBH7_wAAAP4PBQAAAAAA-fECBgAAAAAgAC0dPdY7OBNACUhOUAIqhAIQABrwAX_t9AK-_R_9J_7oABYV-wCiAAH_Of7zANzrDAHA-O8A5BMEAPDrAAAFEwwA5grvAOb06AAnEvgA-B8GADIKCgAtDP0AP_EAABD45gANAgf_-gL-_xjzEf8I-gYCKBb9_yj0C_7jBuUABgoHAPf4DQATAAT__AEEAQUSDQAPEOwB3voeABAXBPvtAgf45gMXARDz9f0ECOwA_fkHBgDs7_oE9v37FA37BCT-AQP6__YDAAEE_R8a8wT5Awr9EBn9A_Dz9QIaBQMH8QgCARH3CgX8BRUB--wNB_gD8__9APr89Ar8_PMAAfoUA__7-e_28CAALdoNXzs4E0AJSGFQAirPBxAAGsAHwacFv9SVFTxyw--8vHo1PuX6kDvUq9K8L-GgPZM6Qb1g86A8K1H2PHO-2Dw6dHq8nE2Xvuo9XLlkjxa8Hw-9Pnssoj3IOyy8zQLtvXYQhT3kwCY981kOvjhvNz12-yy7IaxGPihshT3GejQ9ERfFPTrDGT2w37g8ukuCPfwTwbzyOge9o02_PfUBt7w0Usa7RgCRPWHMsb0FNge9BGvBPRCYQbthHi29WldWvZ4MLj0KSg88IwHJvXCXjb2kXTs89z8QPhegbbyfSfI76RuXPcJsgjwCxf48qcSQPRFIkzzHRLE7H2favQySjj11BqE8BPmjvKZf4rz4AcS53rDtvJvVMT3Z9iw81oLIPQIjuTx3G8q8g8-FvOufMT3RoZ07rwlJvRVRODxWYO27z3yjPbgyUj2n0FQ8PD0lPCM9e7zqo766APy4vBRPqDt5PRi72EURvUlLBT3qtTQ8k30GvWloSD2I0Ro8WGttvUKP3ruLPtW8Qv8pPYzc071P94s8Bm4XPDqAFL2T0Tc8N_odPecKpTwzYBy8Om9oPTc7rTxh9pe8cMLvuglcjbxxBW-8slt1PdxndT14BrK7hR52vdCzGb3IaT68kOXVO4UZR7vqs8E7Me-BPQl5s7yyqhI8237DO3SyVDw9-yE8-OxvvXb1L72X-ly7NM8bPXaTDr0B4Z47dsHDO2_ZfLyD_h07FfUTvVGIgL2qwT86d14UPX2h9jxYEcG61J7yPTSo7LyUGYi6IAN-vTHdmj2yza43B9FaPQ9MCb2zhYC6CvcKPc8GKj32rb050UJdPEiQJb3VZ5Q4p4Iju2Y_3DwXNDM66HYlvbEL0LwSqwi5nvBQu5ypK73VgcW5luI0PfOKzLx3g465Wx3lPPvYU71wqT85zDVWvdaL4ztGSgC5XCQIvbNkpzv0loK5YsCSPJci9TsUx1858oCNPeeSRT357ay5FZXovDfh3jvlKi-4wJWJukRjd71e3BW4B23mO7PJJr14RQy4km-QvUC3kb1cZYy4Hp7Ou_yUGT1rbM63guHBvGFr27wapWQ39Oi8PEOjJT2MF9u3oK5pPXP3OTy-3jq4PGrMvPKlZr369-W3pyTrPel1GLriWkW4OOyEuhHuxLwrB143jF6ivR9a9TzYqyo296uAPetdMj0DGlY46fCQPfvBKj36UoW4gNc3uFLSA72qPP223uhePXjlhL1BUrS4qWuNPYsLkT0TJyI48LI1vVzMzz0MRgq5CZn1PI8zzTvB9w03-te9vRY4tLvj21i3IAA4E0AJSG1QASpzEAAaYD8SAAP0DuL6BjX-xfD9F_kR8BoXshAA_-wA_A63ABUk6LX0C_8N4wANtwAAAOYD7zYXAPFb9e_mGuMf9selAff_fzYe-cTABO8XDPwH9f4WBN4D6QDq9NEAKuW7ICjoByAALdMlQDs4E0AJSG9QAiqvBhAMGqAGAAAgQgAA0EEAAIxCAABAQQAAsMEAAAjCAADKQgAAJEIAAKzCAAAkwgAAVEIAALBBAAAowgAAAMEAANBBAADowQAAJEIAAKbCAAAgQQAAJEIAAIxCAADAwQAAYMEAACBCAAB0wgAA-EEAACDBAABcwgAAiEEAAMhBAAD4QQAAZEIAAJLCAACQwQAA4MAAAEjCAADAQQAAPEIAACxCAABQQQAAPMIAACzCAACIQgAAkMEAAEBBAAAIwgAAVMIAADDCAABAQQAAIEEAAL7CAAAgQgAA2MEAALhBAAC4QgAAuEEAAJDCAAAQwQAAoMEAAJZCAADgwAAAgkIAAITCAACAPwAAUEIAACBBAAAUwgAAlMIAAMBBAABkwgAAgMAAAMBBAADAQQAA8EEAACDCAADIwQAA-MEAAMDAAABwwQAAZMIAAIDCAACYQgAAAMIAAFxCAABQwQAAgMAAAMBAAABUQgAAiEEAAFDBAAAMwgAAgEAAALhBAAC4wQAAEEEAAI7CAAD4wQAAgMEAAJJCAACuwgAAIEEAAABAAAAwQgAA-EEAAADBAADAQAAAiMEAAJDBAABgQQAAwEEAAGBBAABYwgAAgMAAABxCAAAQwgAAQEIAAMDBAAAsQgAAiMEAAIDAAAAUQgAAmMIAAADCAABwwgAAAMAAAEDAAABAwQAAiEIAADDBAADQwQAAoEAAALDBAACAPwAAFEIAAIJCAADgwAAAQEEAACDCAADQwQAA2MEAAEDAAADAQAAAqsIAAEBAAAAgwQAAAMIAACRCAACowQAAgEEAALjBAACAwQAAMEEAAARCAADYQQAA4EAAAEzCAABgwQAAOMIAAJjBAABwQQAAQEAAAHBBAADIwQAAOMIAAIA_AACoQQAAIEIAAKhCAABAQQAAdMIAANjBAACSQgAA4MEAAKjBAACwwQAAEEIAADDBAABcwgAAmEEAAGBBAACMwgAAiEEAAIBBAAAAwQAAeEIAADRCAABQwgAAAEAAAOhBAABwQQAAIMEAAJzCAABgQQAAQEAAAIBAAAAsQgAA-MEAAITCAAAowgAA6EEgADgTQAlIdVABKo8CEAAagAIAABC9AABEvgAAED0AADy-AAAsvgAAoLwAAEC8AAAfvwAAqr4AAEC8AAAkPgAAEL0AAJg9AADgPAAAHL4AAAS-AADgPAAAgDsAAGQ-AADiPgAAfz8AAKC8AABwPQAAQLwAABA9AACYPQAA6L0AAIg9AAA8vgAAiL0AAII-AADIvQAAFL4AAJi9AACOPgAAMD0AAAw-AAAcvgAAjr4AAGS-AABwPQAADL4AADS-AAA0vgAAhj4AAJK-AABEPgAAgr4AAFA9AACmvgAAbL4AADy-AACWPgAAUD0AAFC9AAC4PQAAAT8AAIg9AACAOwAAiD0AADC9AACOPgAA4DwAAMi9IAA4E0AJSHxQASqPAhABGoACAAAEvgAAiD0AADA9AAAhvwAAQLwAAFC9AAC4PQAABL4AABS-AAB0PgAAED0AACS-AADYPQAA2L0AAEA8AADgvAAAUD0AADs_AABMPgAAuj4AAIC7AADgPAAAmD0AACy-AACovQAAmL0AAIC7AACAOwAAqD0AAPg9AABwPQAAuD0AAIi9AABwvQAAqD0AANi9AADIPQAABD4AAES-AADgvAAADD4AALg9AADIvQAAEL0AAAy-AAA8PgAAf78AACy-AACAOwAAoDwAAGw-AABQvQAAmD0AAAQ-AAAEPgAAUD0AAIA7AAAQvQAAcL0AAIA7AACYPQAAEL0AAKi9AAAEviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=IvqM2pmApSY","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["11748893623556895316"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"2413995352"},"18093209937119545774":{"videoId":"18093209937119545774","docid":"34-1-4-Z297E8DF96E914C83","description":"Gernot Heiser introduces a proposal for a small, standardised seL4-based operating system aimed at deployments in embedded, cyberphysical systems and IoT. The seL4 Core platform is lightweight...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4542980/621ca8121525c2142f4414be49e46711/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/-L-uHwIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"7","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DkhcjH77riGA","linkTemplate":"/video/preview/18093209937119545774?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The seL4 Core Platform","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=khcjH77riGA\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0WhQxODA5MzIwOTkzNzExOTU0NTc3NGrVEBIBMBgAIkQaMAAKKWhoeHRybWl4cWplemxmcGhoVUNJcVZZMVhGUE9QSVoxejJBOVRybU1BEgIAESoQwg8PGg8_E6cOggQkAYAEKyqLARABGniB7gX8BQH_AAnxAP_7Bv4BEgMG-gf__wDc9wL8-fkDAOj8EQUFAAAAEP_8EAYAAAD99_cC-v4AAAwLDQYFAAAAB_ACBAEAAAAB_fsICv8BAfX6BvkCAAAA_gf9Bv8AAAD79QQEBAAAAO4aAQcAAAAA_AH4-wAAAAAgAC1qLM87OBNACUhOUAIqhAIQABrwAXzq7wK8ByD9DAffAA0r8wKBFfD_OwjlANzwCf-5ENT_DjIDAdrtDADxDgwA2gsIAO_p8AAiDPcAFwgRAD0NDAAQCukBTe0AACP87gH_CwD_8BP6AC0MFQEP7fwAGxT3_jgJAQDq_OAD7Qb3__8EJQAQGQYBD_H9A_IbFfv1IRID6_UOBAD3EgPS8wT66xkHAP396Qb8BvH_5_cU_erx7fwA8wsCIPIC_kQdDAj09fn4AxcX_R0N-fke-vwC-vz3Au_o9fkp8PwC__8S-yH0FwD76BIC-tgR_vQO4gPq9vz3CxcE8dsICRAHGPwI-_n68yAALVH0NTs4E0AJSGFQAirPBxAAGsAH-u8Bv4Ebbzv-0mK9Ndq1PU1PMzwryCW9j52BPQNKPr2ntYS8K1H2PHO-2Dw6dHq8dHzEvhyE7zyZ2i293SefPhnrdj2UDZA851TSvYdDID2feKk8T3iRvmcVTD2p5ou6JmeyPbMxBjvR05s8QbYcPsEwqjyNSXs7ukuCPfwTwbzyOge9UZZrvIF0pr2bc9M71-rBPTfwlL0J6R88IOsJPsVt2byqmTW8Zkj6vPFuOz0JaZG75Pf2vGMV5ztLavI8tYwkPj--6bxka4c8PKwmPODWnTz-eiq8UKFfPfB21rtrmIa8LY4SPJHmmT1M_ic8nxHXO_m1er32Tp67xipvvLedMT3H49g89fX8PZyiCD3rK1m8qBFEvDdtqTvrlY08SfeevVOHqroC-OE7Sw-ZPSEYrLw_iCa7s_tfPZDwYryRcO869dmBPEFv4LzJtJG80aRevGasLD33Xle73fN0O-8O3zw18dE5KNXevWgK-LztA7m7fJOrPUYIj72L2-w6eYQpPRDfEz0gYgM9JyUOPX7hNruJ65g7-boxvIltAT0tgW-7bYxCvCEoEr3BW7m782ELvBXydzxty9-79vCAvRykljw5aXW8jOgIPbs8QryWQda7E-iNPewGQD3NIAA8anM1O695Fb0g9dO7t5ugvVjSQL2iThI83MlxOxtutrwnk6o7OpyfPdo6uDxcfEA7qy-xvXf7x7ylLam4voFOPaVaVTxpYWS7xLkfu-zstbyZUYM7ghDavCe85D19Uoi5izhdPT_o9rs1loc3FcpCPMqxaz2bzOo5fbHXPS6ggju_2hC5Ksb5vIg7KL1Wdky3cuLpO3NBB70SmG65nfY0vXStg7rqiH-5JbYWPeqzrr1Zh-q44k0Gu6eZCb10N2U5VYQ7vVStBT1IFpy4-9rEvLMuKDvsWhg4n07gO0b1sbwUpyy3DxYEvVx4GjzMrl24S1aqPEO5Iz208h05ja73vMDJy72hpYE5N0P9u9DKAj0L5EA55hbEvDvRBL0RFuq4z2HjvDy44DzVZtm34_F-vd00bL2SxL63p22NPGjcRT3g9sa4PhJFvaZxOTy1Mwk5TdpUvYb3lr03gwG3lRESPWN4srobg4E4PoiROxhPnr1Mqek3G7B1vLRKGr2hFbo3KdZfPBUk8Lr7Iii4NfgUPFRwmTv2x6A3xM6UPELeXL2HuDQ2aYCsPfH0Sr1w60u1ZF6SPbRrbD0heO448LI1vVzMzz0MRgq52hE4vS0rqDz0IiS4xEDXvJgGNLyrgL42IAA4E0AJSG1QASpzEAAaYGUGABACG-cA2FzkENrnGR0W-BL-nPT_LQD_HA7uBCwc47T1_P9FAT7MnwAAACLq8SbzAAF_3Mfc4cxFAIqkBvQtdPIzD97x7-chnO0J0f3YBMIFOgDS_KnmU_nw_isP9yAALT-iFDs4E0AJSG9QAiqPAhAAGoACAADYPQAAqL0AABQ-AACKPgAAbL4AALi9AACgPAAAVL4AACy-AABkPgAAUL0AAOg9AABAPAAAMD0AAAy-AABAvAAA2D0AABC9AAD4PQAAij4AAH8_AABAvAAA4DwAAOA8AADIvQAA4LwAAKC8AADIvQAAlr4AAJg9AAAQPQAAoDwAAFC9AABUPgAA6D0AABy-AAAUPgAAdL4AAOq-AACgPAAAZL4AAOi9AACgvAAAqL0AAOg9AADovQAADD4AABC9AAAwvQAALL4AAMi9AADgvAAAXD4AAHA9AADgvAAAQLwAAAM_AADgvAAAcD0AAPg9AABAvAAA2L0AAKC8AAAQvSAAOBNACUh8UAEqjwIQARqAAgAATL4AAFA9AAAEvgAAK78AAEQ-AABcPgAAEL0AAOC8AACIvQAA-D0AACy-AAAwvQAAqD0AAHy-AABQvQAAEL0AACy-AAA_PwAA4LwAAIY-AAAwvQAAiD0AAMI-AAAkvgAA-L0AALg9AADovQAAFD4AAKC8AAAkvgAAND4AAIC7AACYPQAAoDwAAMg9AACavgAAjj4AANg9AAB0vgAA4DwAAI4-AACgPAAAgLsAABC9AACCvgAAUL0AAH-_AAC4vQAA4DwAAO4-AAC4PQAAiL0AACQ-AACSPgAArj4AAIC7AABQvQAA2L0AAAy-AAAEvgAAQLwAAGw-AABQPQAABL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=khcjH77riGA","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["18093209937119545774"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"122001827"},"538409960412697713":{"videoId":"538409960412697713","docid":"34-3-3-ZFA726485F2984DBF","description":"The seL4 Microkit Moderators: Kent McLeod Speakers: Ivan Velickovic The seL4 Microkit is an operating system framework on top of seL4 that aims to provide minimal abstractions to make it easier to...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1024306/166a77250df690611b2d7a43ba8af9bd/564x318_1"},"target":"_self","position":"8","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D1Y6uE3eZWKQ","linkTemplate":"/video/preview/538409960412697713?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The seL4 Microkit - Ivan Velickovic, UNSW","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=1Y6uE3eZWKQ\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhQKEjUzODQwOTk2MDQxMjY5NzcxM1oSNTM4NDA5OTYwNDEyNjk3NzEzaq4NEgEwGAAiRBowAAopaGh4dHJtaXhxamV6bGZwaGhVQ0lxVlkxWEZQT1BJWjF6MkE5VHJtTUESAgARKhDCDw8aDz8Tvg2CBCQBgAQrKosBEAEaeIHuAfn9_AUAA_X7CQYI_ALyFQD2-f39AP_2Bvn4BP4A9fAJ_P4AAAAC-AYECgAAAAUNCPr4_gEAFgIPBQQAAAAC_Pn6AQAAABL5_hH-AQAA-fn-BgP_AAAN_v_4_wAAAP4I_gACAQAAAQkN_wAAAAAAAAIGAAAAACAALXGG3js4E0AJSE5QAipzEAAaYDkMAC0G7fQBBCX1_AXnCSkJ4gj4yP7_EScADSXD5fsJ4cwZMAAE2CcDuwAAABPl3CsLAN9ZD9DxCQkhBtPSwPcLf_sF28cUDPHp69zgFTAKOyEuIQDfCAf4LK3hCwXf6yAALWR2Qzs4E0AJSG9QAiqvBhAMGqAGAACAQQAAQEAAAMBAAAAQwgAAkEEAACDBAAAgQgAATEIAAGzCAACIwQAAiEIAALTCAADswgAAAEAAALhBAACowQAAQEAAAGjCAAA8wgAACMIAAOBBAADAwQAAgEEAABBCAAAAwQAAoMEAAGjCAAAcwgAAsEEAAJRCAADgQQAAhEIAALzCAACAPwAAYMEAAEzCAADoQQAAwEIAAAAAAADAwAAAgEEAAODAAABIQgAAHEIAANhBAACUwgAAQMEAACTCAACqQgAAIEEAAIA_AABAwAAAIEEAAIDBAABEQgAAGMIAALTCAACYQQAA0MEAAMBAAABUQgAADEIAAEBAAABYwgAANEIAAIDBAAA0QgAApMIAAKhBAAAQwQAAREIAACRCAABAwgAAgkIAAKBAAABAwgAAyMEAALhBAAAgQgAA4MEAAADCAADgQQAAkEIAAIhBAAC4wQAABMIAAHBCAAAgQgAAxEIAAPBBAABYwgAAaEIAACBBAABgwgAABMIAAJbCAADwwQAAoEEAAIBAAACQQQAAIMEAAEhCAAAAAAAASMIAACDCAAAgwQAAIMIAAKBBAAAwQQAA6EEAADRCAADIQQAAMMEAAMBAAABQQQAAMEEAAIDAAAAUwgAA0MEAAIjBAAAUwgAABMIAAHzCAAAswgAABEIAAJxCAABAwAAAQEAAAADCAABgQQAAuEEAAIA_AAAIwgAA8EEAALhBAAC4QQAAQEEAAJhCAABowgAAsMEAALjBAAA4QgAAQMEAADRCAADCQgAA6EEAAOjBAABAwAAAMMEAAOhBAAAAwQAAAMIAALDBAACGwgAAwMAAACDCAACwwQAAGMIAAKjBAACQQgAAAMIAACBCAAAwwgAAEMIAAOjBAAD4wQAAuEEAAIhCAAA0QgAAikIAADTCAAAAQQAAMMIAAATCAAAwwQAAUMEAAIBAAAAwwgAA8MEAAJhBAAAEwgAAAMIAAGDBAADgwAAAQMEAAMjBAAAMwgAAaEIAAODBAAC4wQAAPMIAAKjCAAAkQgAAIEEAAIDBAAAEwgAAyEEAAABAAACawgAA4MEgADgTQAlIdVABKo8CEAAagAIAAJq-AABcPgAAcD0AANg9AACIPQAA2L0AAIC7AAADvwAAir4AABC9AABEPgAA6L0AAHA9AAAwPQAAML0AAGS-AABQPQAAcL0AAAw-AACaPgAAfz8AAOg9AACgPAAAiD0AAJg9AAD4PQAAqL0AABA9AADYvQAA6D0AAEw-AAAQPQAAPL4AAMg9AAAEPgAAMD0AAIg9AAA8vgAAkr4AAKa-AACKvgAAqD0AAPg9AAC4vQAAND4AAFy-AAB8PgAALL4AAIC7AAAUvgAAyL0AAAy-AAAsPgAABD4AAOi9AAAQvQAA3j4AACQ-AAAwPQAAmD0AABS-AAAcPgAA2D0AAMi9IAA4E0AJSHxQASqPAhABGoACAACKvgAAuD0AADS-AABTvwAAcD0AAGw-AABQPQAA-L0AAIi9AACaPgAA4LwAAHC9AABMvgAAUL0AADA9AACgvAAAED0AACk_AABQvQAA0j4AAJi9AAAQPQAABD4AANi9AAAEvgAAmj4AAOi9AAAwPQAAuD0AAFA9AACIPQAAoDwAAEA8AABUvgAAED0AAKA8AAAEPgAAgLsAAMi9AABUvgAAmD0AACw-AACgvAAAoDwAAFy-AAAsPgAAf78AANi9AABwPQAArj4AAKA8AAAEvgAAqD0AALo-AADIPQAAED0AADA9AAAcvgAA4DwAAOi9AACoPQAAMD0AAEQ-AABQPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=1Y6uE3eZWKQ","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["538409960412697713"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"6800264055312804282":{"videoId":"6800264055312804282","docid":"34-3-12-ZC428078B7696B151","description":"Goes through some of the learnings from 25+ years of designing and implementing high-performance microkernels that had led to seL4 being the way it is.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1775324/630c52596912094fa3ddc33c59b98943/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/MrRUJAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"9","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DnQUJYDBHJMw","linkTemplate":"/video/preview/6800264055312804282?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"w05b: Microkernel design and implementation, with focus on seL4","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=nQUJYDBHJMw\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzY4MDAyNjQwNTUzMTI4MDQyODJaEzY4MDAyNjQwNTUzMTI4MDQyODJqtg8SATAYACJFGjEACipoaGNnaGt2cHZpeXdramJiaGhVQ2kzS2Y1ZU9OSXdWNlFnTkhpWXFWemcSAgASKhDCDw8aDz8ThCmCBCQBgAQrKosBEAEaeIHq-Pz7Av4A9P4LDQIH_AEk-AX8BgIDAPfuDwP_BP4A_AP_Bf8BAAD6AvrvAQAAAAcGAwX5_QEAFQP7BgQAAAAg_fL6_AAAAAcKAgr-AQAA5Ar7CQMAAAAGAAn_AAAAAAIQEgX_AAAA_Qr_AwAAAAAGBgMK_wAAACAALY5Oyzs4E0AJSE5QAiqEAhAAGvABfwMLAroE2f4AEwAA_h32AZYcCf_zJfcB8wgNAbsP1f_zBtQA2-4LAEP4FP8DDfv_ABoj_z8SAQDt4BX__BkVAAgM-QAx8fwAHPwGARch5v4cHPX_0wILAPwXGv_yE_z9-hAh_t_p1wASBwAB6vkdAgEI9AED9_4EDB8CAuMYEQAE9v8EE-T1_OYd6AAT-hQDGNX-_vEC8wQT7NX_BuP6-gz76v7-3gQDG9P0AgT9_P7nDBX-HAwVAQnp-fUD_fD86e3-A_YD_gMO_Q399g8Q_gsJE_7V7AABAwv1Ah36BQDsBgUBBgwQBPwZ9v_r9wH1IAAtmls8OzgTQAlIYVACKnMQABpgFvEADer6yNP-Xt_aGikFyvQXF_6sEv_o-QC-_bsQBkOyo-oMACzF7RihAAAAGg7nS9UA3n_n0Psg9Uk5oMDnHuNjHQGuzuwQ8u7n9v_0ASH2CD7jAMLj0PdE_6dU7fUDIAAt0hcWOzgTQAlIb1ACKq8GEAwaoAYAADRCAACgQAAAtEIAAJDBAAAAQgAAAEIAAMBCAABwQQAAeMIAAMBBAADAQAAAhMIAABzCAABQwQAAyEEAAIbCAACAQAAAjMIAAJBBAADYwQAAmEEAANjBAADQwQAAgkIAABDBAABwQQAADMIAAHjCAADQQQAAmEEAACDBAAC-QgAAEMIAAIDBAABcwgAAKMIAAARCAACoQgAAEEIAAERCAAAgQQAANEIAAI5CAAAAAAAAQMEAAFDCAAAcwgAA0EEAAFRCAADQQQAAKMIAAMDAAAAwwQAAREIAAGhCAACYQQAAsMIAALhBAAAAQAAAAEIAAGhCAADQQQAAuMEAACjCAACCQgAAgEEAAFzCAADEwgAAHEIAAFDCAADgQAAAokIAAIDAAABwQQAAgMEAAPjBAABwwgAAgMAAAOhBAAD4wQAAzsIAAKZCAABgwQAAnkIAALjBAADgwQAAMMEAAJxCAAAgQgAAuMEAABBBAABkQgAAwEEAAIA_AACQQQAAKMIAAADCAABQwQAA_kIAAEDCAAAgQQAAiMEAAIhCAAAYwgAAQEAAAIC_AACAwQAAgEEAAEDBAACAQgAAWEIAAKBAAAC4wQAAaEIAANDBAABQQQAAEEEAAEBAAACCwgAAgEAAAOhBAAAQwgAAgD8AACDCAACAwAAAwEEAAIC_AAC4QQAAQMAAADBBAABAwQAAgEEAAIbCAADgwQAAYMEAAPDBAABEQgAAgEAAAIBAAABQwgAAFMIAAOhBAAAwQgAAAMEAAHRCAAAIwgAAsMEAAIBAAAAgwQAAAEAAACTCAACAQQAA4EAAAPjBAABgQQAAGMIAAIDBAACgwAAABMIAANhBAAAgwgAAQEIAAJjBAABkwgAAjMIAAMDAAADoQQAAgkIAALhBAACowQAAIEEAAHhCAACgQQAAAMEAAIBAAAAAwQAAMMEAAMDBAADIQQAAcEEAACjCAAAwwgAAQEAAABBBAABwQQAAmMEAAETCAACYwQAAyMEAAHBCAABswgAAYMIAACxCAADowQAAgEAAAGDBAADowQAAQMEAACjCAABwQiAAOBNACUh1UAEqjwIQABqAAgAAQLwAAAS-AAAwPQAAML0AAIC7AACovQAAuD0AAAO_AAAcvgAAED0AAMg9AAAQPQAAyD0AAFA9AAA0vgAAyL0AAMg9AADgPAAAbD4AAN4-AAB_PwAAuD0AABA9AACYPQAAXD4AADC9AACIvQAAEL0AAJi9AAD4PQAA2D0AANg9AAA8vgAAPL4AAKg9AABEPgAAbD4AACS-AADSvgAAjr4AAHy-AACAuwAA2L0AAIC7AABsPgAAgr4AANg9AABEvgAAcL0AAHy-AAD4vQAAHL4AALI-AAAMPgAADL4AAEA8AADuPgAAML0AADA9AAAQPQAAUL0AACw-AACgvAAAML0gADgTQAlIfFABKo8CEAEagAIAAIg9AAB8PgAAgLsAABu_AABsvgAAML0AAKg9AACAOwAA2L0AAKo-AAAQPQAATL4AABw-AABMvgAA2L0AAIC7AACYPQAAOT8AAGw-AAC-PgAA6D0AAOC8AAC4PQAAVL4AAMi9AACAOwAAoLwAADA9AACIvQAAFD4AAEA8AADgvAAAED0AAAS-AADIvQAAJL4AABy-AADgvAAA6L0AAIg9AAAkPgAA6D0AAIA7AACIvQAA6L0AAGw-AAB_vwAATL4AAOi9AAAwPQAARD4AAAw-AABAPAAADD4AACQ-AAAQPQAAqL0AAFA9AAAcvgAAcL0AAEA8AAAwPQAAoLwAAFy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=nQUJYDBHJMw","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["6800264055312804282"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"13003279312646117987":{"videoId":"13003279312646117987","docid":"34-1-17-Z34E1B84795B058D1","description":"The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are commercial versions which are deployed on a large scale and in...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2713901/0a816b7e5edbd9a1fc505a12b4c2c3df/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/zI8WGwEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"10","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DRdoaFc5-1Rk","linkTemplate":"/video/preview/13003279312646117987?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"From L3 to seL4 what have we learnt in 20 years of L4 microkernels?","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=RdoaFc5-1Rk\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDEzMDAzMjc5MzEyNjQ2MTE3OTg3WhQxMzAwMzI3OTMxMjY0NjExNzk4N2qHFxIBMBgAIkQaMAAKKWhob2Vvam5kcW5qYWhvZWhoVUNQeUEwWG1VNmFTNEpDd1ZvSUJUbUlREgIAESoQwg8PGg8_E-gPggQkAYAEKyqLARABGniB8vz_9f4CAO_7-woLBP0AAg4G9Pf__wDu8AT8BwAAAP8CBvn_AQAA7QgH-AUAAAADAfkF8v4BAAYE_QEEAAAAEO4I9_sAAAAIB_8C_gEAAPYEAgn3AgABEPv4BQAAAAD0_gQBAQAAAPkQ_QcAAAAA8wD4_AD_AAAgAC0dPdY7OBNACUhOUAIqhAIQABrwAX8ICAGiDuj9IezdATcp4gCTBPMANxTGAKr6HAG49scAFRoCAb3u5_8EAu0A3PweAM7-7wAcFPEAHAoUACYiKwAiAe4AIrYdAE8WEAHxDQL-3iQS_wj-PADm_BL_C_bAAB_wE_wpBtj-Bu3kAA_-PgEUHwcBIwUOCQI_9wTtBPoC4_bY_SHlCQbWCvACw_cHBQv91gA0J-r__fv6BxAIDQgE8-0BA-YK_mHw-ALy9w328SIjBhgC8wEL9gwC7AH7__bi__4l7wjzOCcRByzqBwYQ3x4C5wEC_-wQ9QIe9Abu-f4F8sAM-Qb7IPT_DOz6ByAALY27Ezs4E0AJSGFQAirPBxAAGsAHL_3rvgpiBT3d1P4774zWPXoIOT2KyRu9PLXEPK4mNL3TFEG9PtDqPZnO8zydh1G7-MGBvn_o-LxEaU89xmumPsiqUjzply28YtksvnICqjvDZAq99fFwvv_-gLocpkw9k6vYPTSXxT2o6z-84Nl-PVJxTb3NN0e8fGL9Pfd-mbxXi5m8rPoBPaibpb1lQfo7rX_hPLPFv7zETy28007tPXVADb2daR29MuT4vaTqzTzr6-88a26aO0n4Y7rvkQk8tYwkPj--6bxka4c8R-KKPPgnp7wtQ9o72bvKPZxjirxI1JW88bCavVAVFbvFIsC6ODfcPDKf_TwC3t28XqPAvA1ikT2O06s85Gb4PWZM4T0YI9Q7A3NZvQ3mmj0vYy-8q1WQvZEe0DzmqEg8ByZ3PVwNPzzN0im81IXzPLrSVzwziUG69oXGvMYtLLu6RnA8cHNPO2d2gj1Ikru8U51EvIZ4IDtRgI083Qoxviwvt7vEnWK7s1Z-PM44Lb1RzLA8Wyi5PX_2I728kDO8ECPkPYAkkTwr2yi6ewfLuxu6m7vEkay811ykvJXnCz1NyD28qc4VvKlvNL0JZIC8CtvPvCpwFbxPfNK7uJ2svLQcDb2XUyc83Su-Pb8KNT0y5s87KEIvPdafqzqATc67H_0lvQO067s9V8I7JHO2vboX97scgkw6tGBYPc_56TzEL6s6jSN7PFXvOrywkUE7Ul8bPVlhhLxteVg5jUEKPEB1ILxEaCk7hxaNueliEz6OIVq59X6IPTPfAb1AfGw5qMNKPWZn0bwEt_W4xvnbPeJJwTzMWqW5lGEBvVi4vLvlA8M5BdP6u_hOgb0J-ZG5utKHPcu4zrzPexE5yn9SPcO8h7223gO5IviEvVN3pbxF6Hg6cOldvRfkfLsnRQ62NEgDvKmS9zxdY3C4xtwVPccbjz0zaBC3-MDzvCEtZD1QnLs4vC-dvIuBnz3Srmw3cAorvXE5nrzLPoW4YkOcPMMdiT1YsKE5YvXHPLUr37st-Q-3rBNhPAKE7z2oGp42sEKQvUwAmb0hZWO4tFpgPUQYH710km04PYdovPOsRTtpvb84xUIovT9gNL1q2JU2iiLkPd5Vz7ybdlQ3vR2hvLlVAL675i24rgaNvA7vXrxPnZE3uF2Tvc-rkL3adUS4_SdpPU2uWL2EQoQ3IvyLvIgf0rzUbUi4PXOQPcivZL0ksgQ3ak8ZPqlumT0IAjK3vPehvZHOpTz_qKK4NXoVvSthNzwusg83MWjXPJlMgL1Z5Qq2IAA4E0AJSG1QASpzEAAaYDL8ABfbOAPiKET4xtkYEAQcBCACwBz_6s8AykTbGQglm6oP_v8z_CXqmwAAAC3_9zbQANJ_3-ALGp8R3due4d0WeuUS_KngLQX87f4K5BYpHPA4MgDNAbEEX9_L_irPGCAALZCxFDs4E0AJSG9QAiqvBhAMGqAGAAAUQgAAiMEAAP5CAACAwAAAwEAAAPjBAACCQgAAoEEAAKbCAACgwAAAQEAAAMBBAAAUwgAAUMEAAOBBAACowQAANEIAAM7CAADAwAAAiMEAAHBCAACgwAAAIEEAALpCAACAwQAA2EEAAKjBAADIwgAAWEIAAFxCAAAAQQAAqkIAAODBAADAwQAAAEAAANDBAAAAwAAAnkIAADxCAACgwQAAoMEAACjCAABAQQAA4EEAAJhBAADIwQAAIMIAAEDBAABQQQAA0EEAAKbCAAAIQgAAoMEAAFBBAACCQgAAAEEAAEDCAAAAwQAADEIAAAxCAAAoQgAAQMAAAPDBAAAwwQAAgkIAAOjBAAD4QQAAAMIAAEDAAABgwQAAXEIAAK5CAAAAwAAAREIAACDCAADewgAAMMIAAJDBAAAQwQAArMIAALLCAACQQgAAJMIAAABCAABgwQAAAMAAAHDBAABQQgAAYEEAAKDAAADgwQAAgD8AAHTCAABowgAACMIAAILCAABAwAAAHEIAAGRCAACuwgAAUMEAAJhBAAAUQgAAkEEAABjCAACAQQAA0MEAAAxCAAC4wQAALEIAAIA_AABgwgAAiMEAALjBAADIwQAAaEIAAABBAADAwAAA4EAAALjBAABcQgAAqMEAAATCAAAIwgAAIEIAABBBAACgQAAA4MEAAPBBAAA8wgAAcMEAADzCAAD4wQAAHMIAABBCAADIQQAAXEIAAIDCAABQwQAAbMIAAIA_AADAwAAAiMEAALBBAAAgQQAAGMIAACTCAAAAQQAAgMAAAOjBAACAvwAAgMAAAIBAAAB4wgAAwMAAAEhCAACswgAAsMEAAJhBAACCQgAAqMEAABRCAADYwQAAYMEAALjBAACAPwAA6EEAADhCAABcQgAAuMEAAEjCAACQQQAAyEEAAFDBAACAwQAAoMAAAKDAAACqwgAAAMAAAMBBAAAIwgAAgL8AAAAAAAAIwgAAGEIAAGDBAACOwgAAMEEAAODBAACAPwAAbMIAAEDBAABwQQAA8EEAAAAAAACAwQAAUMEAAETCAAD4wQAAoEEgADgTQAlIdVABKo8CEAAagAIAAFA9AABwvQAAQDwAAKi9AAAkvgAABL4AALi9AADevgAAkr4AAKg9AAC4PQAAVD4AAOg9AAA8PgAAVL4AAI6-AAAMPgAAUD0AABw-AACaPgAAfz8AAOA8AAA0PgAAqD0AAIg9AADoPQAAqD0AALi9AAAsvgAA2D0AAAw-AADgPAAAyL0AAKi9AAAkPgAA2D0AADw-AAAsvgAArr4AAKa-AAAEvgAA2L0AAIi9AAAwvQAA2D0AAGS-AAD4PQAAPL4AAFA9AAAMvgAABL4AAMi9AACqPgAAuD0AAPi9AABAPAAA8j4AALg9AACoPQAAUL0AAAy-AABQPQAA2D0AAIq-IAA4E0AJSHxQASqPAhABGoACAAAsvgAAUD0AABA9AAA5vwAAmL0AAIi9AAAcPgAAyL0AAOi9AAB0PgAAqD0AAIq-AABQvQAAZL4AAEA8AACgvAAAFD4AAB8_AACCPgAAqj4AAJg9AACYPQAAgDsAAOi9AABAvAAAJD4AAKi9AABAPAAA4LwAAAQ-AAAQPQAAiD0AAOA8AAC4vQAAcD0AAAS-AAAUPgAAUD0AAGS-AAAQPQAABD4AABQ-AABAPAAAQDwAACS-AAAkPgAAf78AAAy-AAD4vQAAiD0AAPg9AABwvQAABD4AAJg9AAC4PQAA4DwAAEC8AAAQvQAAmL0AAKi9AABwPQAAEL0AALi9AACoPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=RdoaFc5-1Rk","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["13003279312646117987"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"3546410118"},"17359656253109204102":{"videoId":"17359656253109204102","docid":"34-7-8-ZD5E0681A20BB48E1","description":"(Gernot Heiser) The seL4 microkernel is the world's first operating system (OS) kernel with a machine-checked proof of implementation correctness (originally completed in 2009 for 32-bit Arm...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3174656/84d616c18fd125b730aed0c7d84a1a6f/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/eL2KPgIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"12","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DsGfyGhP6M_A","linkTemplate":"/video/preview/17359656253109204102?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"\"The seL4 Foundation – growing through upheaval\" - Gernot Heiser (LCA 2022 Online)","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=sGfyGhP6M_A\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDE3MzU5NjU2MjUzMTA5MjA0MTAyWhQxNzM1OTY1NjI1MzEwOTIwNDEwMmqIFxIBMBgAIkUaMQAKKmhoZGF5em5mbWtwbnlteGJoaFVDY2lLSENHMDZybnEzMXRvTFRmQWl5dxICABIqEMIPDxoPPxPDFIIEJAGABCsqiwEQARp4gfUBAv4F-gDtDgj2_AABAAMW-fn2__8A5fgDEAX-AQDoAwcAAv8AAAz7CgsIAAAACAYB7vv9AQAaCwMOBAAAAA7v_f_5AAAA-PcECP8BAADz-v77AwAAAPYJAgT_AAAAAvz-Cv4AAAAJGAf-AQAAAAb_-vUAAAAAIAAtt8nCOzgTQAlITlACKoQCEAAa8AF_F_AAy_UR__bc2QDWBQUBiwop_1rd4QCt-hsB1s_GAf4X9ADA5hD_FRwEAKAqIAD0Bfz-ORr0_xsJFAAvJAsALxX2AHDcEgEr3gQA8fPr_vn27QAI_joADwjyADYSCAFFMB7_6A7XAeTtBQQJ_BEGKfz9_CsSGgLp9Rf-Av4J-f_i9wQhJhAD6wAIBArwGgfU9uH9CyDpAOL1GPwC6OcGDREA_icC5gI8_hEC__ID_PTs8wH8DP398-4bAeoX-QXnAxUACOT_ABoYD_co6PcA6PQYBvT--P76AvcEDcoLBO_0-v3U9AgI6BAHFfUD9gAgAC3vuRg7OBNACUhhUAIqzwcQABrAB4cW4b64Puw8OUImvVrIrTwz3EA9nmKVvCXK3r0yLVu9ADGuuxLVAD0YZny8EX_eO_yMu75aUw-8xurFu1G_iz4dbBY9m-hzPQcJ8b1woWG8js2Ou0QYX77UZGc7pZ0_PAlrIz6sKR89o3nAPF72az2UNlE7VtzRuuUL2j3hxhg87hLuulY_wLwX-EW9O3mJu9fqwT038JS9CekfPBhaHT5qB3G7tIUQPFcHAL4fJUA8sIzNvPoStb1lI2u8sg3BPOerVD7wXZQ8bMkNPEVoBD4rC1A9iQYtu-tGLj3Gu4g85fh8vL1soL0m5lQ9oRa9OurxVjwwHtS8M3dUue6TyLzvdCc9DxYGvD1EIz5WHNi8TZqrPOCgPb31keU8uG-aPE1e7LtbNmQ904MZOpyfJz1r7xO9TfOOPEIDVj3E3c88eWirOmLvKj1-QLk6jtj-ulwTHL0I8My7HJ-kvPcGOjwAQno9riQgPKgUsL0mYya9SXsLvEOpDT7oogG-_EGAur_Dgz00KpU8Cw-pubYDoruSWNK8J03Fu6zNHLvEdpw8YRC9vAtPHjzAAOe83ynwu2KUErxc34w9cI22OwZ1y73vHYW9YRZVuRYvO7ygoWK7W4MtPE2FyD3Rzqk8PMKGOwmZVT2qR5o8-QkQvI6Tkr1gLvO7hBEYu4p9GL2R_zM9xaC8OxR5Ej0rWi89JPsUu4T1v7yAC1e8Z0tzO7vOaz3fDhy8hnhiO8S5H7vs7LW8mVGDO6g2uLyQe7Q9HNL-uPV-iD0z3wG9QHxsOWZhVD238Yc9StyxOdfQdz1xKb66el-2OE8kmL1D8y-9SZmZt3ZaMr37FR28L9-0N7hD4DuKjDO8TSQ8ucB7B70neIS9YuYvO9NS1Lx6Qbq8J34UuiyoXrwfzo27N9cEuhZAQjxe2hA93HmHt2WtXD0FIY-8UcSZOYdMfj1ItFO9ET1pOKGlRj1lOzo98H-_OMK0ubxMip-9BmB2OJXhyzrnAYc9MjGLN7xwrL2atq-9pT7VuCGKjj2jo4e7AK-NtxCZrb14QF69K52zuEx1XDxEfTE56D-KtvJREL28W5k8LuxvOFKpJ7vXHWY8Hs8XOE0DdbvxGio8CNS-OAJhTLxsteK8diIyOE1brbzv67i68NWftyByZL2e2Sm9BCt_uMMm_bezQ4y9TYoON8T1wTvuDiQ9h_nNt9WU5Dy-Nqa986NNuKBKUj0HOI49FZKMOAYsWb07Uj-7eDwmuKmjY7z1Kx27Ly2oNvnJB7wggRq9bnydtyAAOBNACUhtUAEqcxAAGmAx9AAN7yvX9A4-6fbK6gQgFMP91bsf_wDeANg8__0e8MGvLgYAPb4k_6IAAAD5GdUa8ADmfxjz6ffFHtzjvuMv_HHWJC6SCSkAwvD-IdX58wPfOfcADeusHjuewBJCVfAgAC0qvxc7OBNACUhvUAIqrwYQDBqgBgAAUMEAAEDAAADaQgAAkMEAAHBBAACgQQAAmkIAADBBAACSwgAAMEEAAJBBAAAwwgAAUMIAAGBBAAAwQgAAEMIAANhBAACMwgAAwEEAAHDBAADQQQAAaMIAACTCAAD6QgAAUEEAAATCAAA8wgAAQMIAAGhCAABMQgAAYEEAAIBCAABIwgAAwEAAAHDBAABkwgAAoMEAAFRCAAAAAAAAkkIAAAAAAABgQQAAiEIAAEBBAAAIwgAADMIAACzCAADoQQAA6EEAAEBAAABIwgAASEIAAIBBAACGQgAAPEIAADDBAACgwgAAwMEAAODBAABwQQAAgD8AAAxCAAAEwgAAUMIAABxCAAAAwQAAEMEAAJrCAABMQgAAFMIAABBBAACeQgAAgEAAAAhCAAAcwgAAXMIAAIjBAADgwAAAgEEAANDBAAC0wgAAhEIAAHDBAABkQgAAQMAAAGDBAAAgwgAAjkIAAAhCAABAQAAAyEEAAIBBAACoQQAADMIAANBBAABowgAAQMEAALDBAADIQgAA2MEAABBBAACQwQAAmkIAADzCAADAwAAAQEAAAMhBAADQQQAAMEEAAFhCAABAQgAAmEEAAADBAACAQQAAHEIAAARCAABAwAAAwMAAAIjBAACgwQAAVEIAAGDBAAB0wgAA-MEAAEBAAAAAQgAADEIAAIBBAADYwQAAAEEAAHDBAAD4wQAA6MEAADDBAAAgQQAAbMIAAMBBAAAAwAAAcMEAAIbCAADAwQAAqEEAAAAAAACwwQAA0EEAAATCAAA4wgAAYEEAACjCAADIQQAAYMEAAODAAACgwQAAGMIAAIBAAADAwAAAgMEAAOjBAABAwAAAYEIAAHDBAACaQgAAqMEAAJbCAAAgwQAAAMEAAARCAACWQgAA4EAAAAzCAADYwQAAFEIAADhCAACoQQAAsMEAAOBAAACAQAAAgMEAAEhCAACYQQAAaMIAAFBBAAAoQgAAAEEAAEDBAAAowgAAxsIAAPjBAACAwAAA8EEAAILCAACSwgAAAEIAAEDCAAAAAAAAAMEAACjCAAAUwgAAusIAAAhCIAA4E0AJSHVQASqPAhAAGoACAAAkvgAAPL4AAKg9AAAEPgAA2L0AALg9AAAwPQAAC78AAEy-AABUPgAA2L0AAHA9AAAEPgAAcD0AAIK-AADYvQAAJD4AABC9AABcPgAAwj4AAH8_AACCPgAAcD0AAHA9AACYPQAA6D0AAEy-AABwvQAAfL4AAIg9AADYPQAAiL0AAFC9AACIvQAAqL0AABA9AACOPgAAUL0AAJK-AABkvgAAEL0AAHQ-AAAwPQAAHL4AANg9AACIvQAA6D0AADS-AACovQAA5r4AAFA9AABUvgAAlj4AAPg9AADIvQAAiL0AACM_AACYPQAAHL4AAHw-AABwvQAAgLsAAKC8AACYvSAAOBNACUh8UAEqjwIQARqAAgAAZL4AANg9AACIPQAAMb8AAIA7AAAQvQAAHD4AABy-AACgvAAAsj4AAKC8AADovQAAyD0AAIK-AACIvQAAgDsAAIC7AABBPwAAND4AAII-AABwPQAAUL0AADw-AADYvQAAUL0AAIY-AACIvQAAND4AAMi9AACgPAAA4DwAAIg9AAAwvQAALL4AAEC8AAC4vQAAZD4AAHQ-AAB0vgAAmL0AAJY-AADgPAAAcD0AAIi9AACIPQAAUD0AAH-_AAAMvgAAiL0AAAw-AABcPgAAqL0AABQ-AAAQPQAALD4AAOA8AAAwvQAAuL0AAOi9AADovQAA2D0AAIA7AAAMvgAAQLwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=sGfyGhP6M_A","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["17359656253109204102"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"974395281"},"1161533594110444855":{"videoId":"1161533594110444855","docid":"34-4-7-Z4F2B43B3E89299BF","description":"June Andronick's status update on the seL4 Foundation, given at the TC-CoE Summit in Feb'22. strong growth on membership during past 12 months increased community contributions to source code...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3111666/ab1c549c76a53afbf4744aa7b096a86a/564x318_1"},"target":"_self","position":"13","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dmptdf-_NQes","linkTemplate":"/video/preview/1161533594110444855?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The seL4 Foundation – Progress & Vision","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=mptdf-_NQes\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzExNjE1MzM1OTQxMTA0NDQ4NTVaEzExNjE1MzM1OTQxMTA0NDQ4NTVqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxPODYIEJAGABCsqiwEQARp4geoFAvr-AgDvDQj3_QABAAUQCAn3AP8A7Qr_Bgj_AAD6BQgE-QEAAAL4BwQLAAAA_wQF_wT-AQAY_PkAAwAAAAnz9wv6AAAA9QcQA_8BAADxBPr9AwAAAA_-AQgAAAAA8AQE_P7_AAD-CAMMAAAAAALp9gMBAAAAIAAtuojVOzgTQAlITlACKnMQABpgGwkADhTq2u8hMdfhCObj6O33FLvC_AAf1gDaFuvpB_jstuz8_1XwFPW1AAAACxEINxoA9WP1G9sAEQkUy9r1CTl_EgL-7yny2cfA5wsZ3QLkKyUiANno8B0A5sVH1kscIAAte9U1OzgTQAlIb1ACKq8GEAwaoAYAAJjCAADgQQAAAAAAAATCAABAQgAAUMEAAP5CAADowQAAUMEAALjBAADQwQAACMIAABTCAACYQQAAmEEAAIDBAABUQgAADMIAAIjBAACAQQAAREIAAFBBAAA8QgAALEIAAEDCAAB4QgAAXMIAABxCAADIQQAAYMEAAGBBAAAQwQAAisIAAKxCAACoQQAAwEEAADRCAACgQQAAgEEAAHDBAAAMQgAAHEIAAI5CAAAwQQAAQMEAABDBAAAwwQAAhEIAAFBCAABswgAAcEEAACzCAAD4wQAA4EAAAJjBAACIwQAAssIAALhBAAAwQQAAoEEAAOBAAABAwQAA-MEAABjCAAAMwgAAIMEAAAAAAAA0wgAAEEIAAMBAAADwwQAAIEIAALDBAADQwQAAYMEAAJjBAABQQQAAgMEAAEBCAAAQQgAANEIAAIBCAAC4QQAAoMAAAGjCAAAYQgAAlMIAAExCAAAIQgAAgL8AAIBBAACQwQAAcEIAAHjCAACAQAAAsMEAALhBAACAQQAAQMEAACTCAAAwwQAAsEIAAKhBAADawgAAPMIAANhBAAAIQgAAEMEAAAjCAAC4QQAAREIAADzCAAA4wgAAMMIAAGxCAABgQgAAOEIAAFDBAABUwgAAuMEAAIA_AACawgAArsIAABxCAADQwQAAiEEAABDBAADAwQAAuEEAAKDCAACwQQAAQEEAAIDBAACoQgAA-MEAAMDBAABAQQAAVMIAAFDCAAAkwgAA6MEAALBBAADYwQAAYMEAAEBCAAAAQQAAJEIAALhBAAAYQgAAqEEAAODAAAAQQgAAUMIAAADBAACwQgAAuEEAAJjBAAAcwgAAoEAAAABCAABwwQAA2EEAAKBAAACAwQAAgMAAAAAAAAAwQgAAAEAAANhBAAA0QgAATMIAAFzCAABQwQAAcEEAACBBAAA4wgAAMMEAAFTCAACEQgAAAMAAAODAAAC2wgAAkEEAAEzCAAA8QgAAoEEAAFTCAADYwQAAsMEAAOhBAACYwQAAkMEAAIBAAACIwgAAAMAAAKhCAADWwgAAmMEAAKDBAAAAwSAAOBNACUh1UAEqjwIQABqAAgAAEL0AAFS-AACAOwAAqD0AABA9AAA8PgAAED0AAM6-AACWvgAAdD4AAJg9AADgPAAAVD4AAHA9AAA0vgAA-D0AAGw-AACgPAAA-D0AAIY-AAB_PwAAHD4AAOg9AAAwPQAAuL0AAKC8AAAkvgAABL4AAFS-AAAMPgAALD4AAAS-AABwvQAA4LwAACw-AABwPQAATD4AAGS-AADKvgAAuL0AABy-AAAEPgAAqD0AAHC9AACoPQAAED0AAFA9AAAEvgAAEL0AAMa-AABAvAAATL4AAII-AACCPgAA6L0AAOC8AAAHPwAAEL0AAKA8AAB8PgAAqL0AAKg9AABAvAAAor4gADgTQAlIfFABKo8CEAEagAIAABy-AAAwPQAAcD0AACu_AABwPQAAiD0AAAw-AACAuwAAoLwAAK4-AAAMPgAAmL0AALg9AABwvQAAgDsAAEC8AACYPQAAST8AACQ-AAC6PgAAoDwAAIg9AAA0PgAAFL4AAIi9AAAUPgAAoLwAABw-AABQPQAAqD0AAOA8AACIPQAAgDsAAJi9AAAMPgAARL4AAFw-AADYPQAAXL4AAFC9AAB0PgAAgLsAAJi9AABwvQAA6L0AACw-AAB_vwAA4LwAAKA8AADYPQAAUD0AAEA8AAAQvQAARD4AAHw-AADIPQAAQDwAAEy-AAD4PQAA4LwAAMg9AABEvgAAuL0AABA9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=mptdf-_NQes","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["1161533594110444855"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"14977711284088737927":{"videoId":"14977711284088737927","docid":"34-2-3-Z1C967017C3440FF3","description":"seL4 VMM on the RISC-V Rocket Chip Moderators: Gernot Heiser Speakers: Robbie VanVossen The royalty-free, open-source RISC-V is an ideal ISA for the high-assurance seL4 microkernel since the...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4251700/50e3524474bc253ff78ad0f90c493d36/564x318_1"},"target":"_self","position":"14","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Da-JLqYVINxo","linkTemplate":"/video/preview/14977711284088737927?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"seL4 VMM on the RISC-V Rocket Chip - Robbie VanVossen, DornerWorks","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=a-JLqYVINxo\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDE0OTc3NzExMjg0MDg4NzM3OTI3WhQxNDk3NzcxMTI4NDA4ODczNzkyN2quDRIBMBgAIkQaMAAKKWhoeHRybWl4cWplemxmcGhoVUNJcVZZMVhGUE9QSVoxejJBOVRybU1BEgIAESoQwg8PGg8_E4cNggQkAYAEKyqLARABGniBCwXz_Qf4APXzEQj6B_0C9w4A-ff9_QDmAff6-P4BAOgDBwAC_wAA_QcEDAUAAAD0AQT78v8BACIMAP3xAP8A9egI_PsAAQAEBf7z_gEAAAL0_esCAAAA-xj89f8AAAD3C_8J_P8AABIPCwIBAAAAAQAK9f8AAAAgAC1Hnb87OBNACUhOUAIqcxAAGmAMGgAPCfrt8_4q3f_l6vslCxz75rYdAAfZAAoXBN8P9wPFC_v_FN0cBcUAAAAU_uMWEgAXSBq_3vvzDvrY3fIoL3_oBwYO7fENIPj6_g8CBA0QQgYA-Q8kBR7dCzT18uIgAC0gR2Q7OBNACUhvUAIqrwYQDBqgBgAA4EEAAGBBAAAQQgAACMIAAOBBAAAAQQAASEIAAGRCAACCwgAADMIAAFBCAACUwgAA0sIAAJBBAAAgQgAAoMEAAADAAACewgAA4MEAAODBAAA8QgAAJMIAAADBAABAQgAAuMEAAJDBAACIwgAA2MEAAEBBAAAoQgAA-EEAAIxCAAC6wgAA8EEAAIjBAAAwwgAAyEEAAM5CAADQQQAAgL8AAKBAAAAAAAAAUEIAAMBBAAAAQgAAbMIAAADAAADIwQAAnEIAAIBAAABgwQAAmMEAAJBBAADgQAAAHEIAAIDBAACmwgAAgD8AAJDBAAAAQAAAAEIAAOBAAACAwAAASMIAAHxCAACgQAAAaEIAAFzCAADAwAAAIMEAAEBCAABkQgAAAMIAALxCAAAAwAAAHMIAABDBAADAQAAABEIAACjCAACAwQAA0EEAAGhCAAA4QgAA2MEAALDBAABAQgAAVEIAAJhCAACgQQAAJMIAAERCAABAwAAANMIAADzCAABwwgAAJMIAAEBBAADgQAAAsEEAAMDAAABkQgAAmEEAACzCAABgwgAAwMEAACjCAAAQQgAAwMAAAKBBAAAAQgAAAEAAAKDBAAAAQQAAwEEAAMBAAACAvwAAQMIAANDBAACgwQAADMIAABzCAACMwgAATMIAAKBBAAC4QgAAEEEAALDBAACwwQAAAEEAANBBAAAQwQAAFMIAAGxCAABgQQAAEEIAAEBBAAC8QgAAhsIAAATCAAAgwQAAXEIAAIDAAABQQgAAokIAALhBAAA8wgAAoEAAAOjBAADwQQAAIEEAAADAAABwwQAAoMIAAODAAAAEwgAAFMIAADTCAACAwQAApkIAAIDBAAAoQgAAwMEAAADAAACwwQAAoMEAAHBBAABkQgAAXEIAAJRCAACCwgAAYEEAAPDBAADYwQAA2MEAADDBAABwQQAAWMIAAPDBAAAcQgAAUMIAAAjCAABAwQAAoMEAAIDAAACAwAAAQMIAABxCAABAwQAAUMEAAOjBAACUwgAAQEIAALhBAAAAwAAAEMEAAABAAACwQQAApsIAAOjBIAA4E0AJSHVQASqPAhAAGoACAACgvAAAED0AAJ4-AADgvAAABL4AAHC9AACgPAAADb8AAKi9AABAPAAARD4AAKg9AABsPgAA6D0AANi9AABEvgAA-D0AAIg9AADIPQAAij4AAH8_AACAuwAAgLsAAMg9AABQPQAAqL0AAKg9AAD4vQAAqL0AANg9AAAQPQAATD4AALi9AACAuwAAVD4AABw-AAA0PgAABL4AAES-AACWvgAA-L0AAFA9AADgvAAAoDwAAKA8AACWvgAAuD0AAKi9AAA0vgAATL4AALg9AADIPQAAjj4AAMg9AAAUvgAAgLsAAN4-AACAOwAAqD0AANi9AADgPAAAqL0AANg9AACovSAAOBNACUh8UAEqjwIQARqAAgAATL4AABQ-AABQvQAANb8AADS-AAAwPQAABD4AAEA8AAA8vgAAND4AAOi9AAB0vgAAyL0AAOi9AAAwvQAAQLwAABA9AAA1PwAAZD4AALI-AADIPQAA6L0AAKA8AAAkvgAAJL4AAFA9AABQvQAAoLwAAFA9AAA8PgAAMD0AABC9AACgPAAADL4AAEA8AACYvQAAqD0AAIA7AADYvQAAQDwAACQ-AADIPQAADD4AAOA8AAAcvgAAnj4AAH-_AACevgAABL4AADw-AAB8PgAAED0AAHQ-AAC4PQAABD4AAEA8AABQvQAAmD0AAEA8AACYvQAALD4AACw-AAAMvgAADL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=a-JLqYVINxo","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["14977711284088737927"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"1379501460098098713":{"videoId":"1379501460098098713","docid":"34-0-9-Z4D3F959EB2A3A835","description":"Gernot's update on the seL4 Foundation and seL4-related R&D activities in Trustworthy systems, presented at the May'23 Summit of the Trusted Computing Center of Excellence. It provides a brief...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2719695/8c85f682df6ae94d92057ff926669239/564x318_1"},"target":"_self","position":"15","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DhzKsQnYg3J8","linkTemplate":"/video/preview/1379501460098098713?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"seL4 update at TC-CoE Summit","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=hzKsQnYg3J8\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzEzNzk1MDE0NjAwOTgwOTg3MTNaEzEzNzk1MDE0NjAwOTgwOTg3MTNqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxPpDYIEJAGABCsqiwEQARp4gfMJBwj_AgD0BAf3BAEAAQYPEP33AP8A7QT8-AUAAADoBPoHCf8AAAn4AvgKAAAA7Q4EDPsBAAAUA_sGBAAAAADxAAH4AAAABQH7Ev8BAAD0_fYD9QIAAAYNCQD_AAAAAg8RBP8AAAD3BwEAAAAAAAD19P4AAAAAIAAt2X3WOzgTQAlITlACKnMQABpgEAkADPT56vf_-e388u4d4Pnk-tjAFwAM5AD4G_Ph_xjaxg34AB7_FvjIAAAAIP8VBBQA-UcT4_Pt8ywM4tz7GCV_GQvpAfrz98Lh1wkR8w_r-DQQAPLsCgce588f-CwBIAAt6ptsOzgTQAlIb1ACKq8GEAwaoAYAAGDCAACowQAABEIAANBBAABwQQAABMIAACBBAACgwQAAaMIAAOjBAAAIQgAAmEEAABzCAACWwgAAIEIAAAAAAAD4QQAAosIAAKBBAACkwgAA6EEAACDBAAAYwgAAmEIAAIJCAADIQQAALMIAAJ7CAADMQgAA1EIAAPBBAADAwQAAWMIAAFBCAADAQAAA2MEAAIDBAACYQgAA4MAAAKhBAADAQAAAyEEAACxCAAAQwQAAiEEAACDBAAB0wgAAmMEAAMxCAABAwAAAaMIAAIJCAAB4wgAASEIAAKBBAAAAwAAAYMIAAIBBAAAAwgAABEIAADBBAACYwQAAJMIAAOjBAAAwwgAAkMEAAKBBAAAQwgAAwMEAAGzCAADgQAAA-kIAAITCAADAQAAApMIAAEDAAADYwQAAsEEAADjCAAAAQQAAYMIAAMDAAAAswgAA0EEAAKhBAAAAQgAAyMIAAGBBAACQQgAAGMIAAPhBAACAwAAAiEIAAHDBAADAwQAAeMIAAEBBAACQQQAAsMEAADDCAAAEwgAAsEEAAIpCAAAQwgAAuMEAAIhBAACoQQAAoEAAAMDBAACoQQAAYMEAAERCAADgwQAAjMIAACxCAACgQQAAVMIAAGjCAADYwQAAUEEAAJhBAABAQQAAIMEAAKDAAADIQQAAGEIAAIA_AAAAAAAA6MEAANDBAACAPwAAsMEAAOjBAACYwQAAYEEAAHDBAABAQAAAYMEAACDBAAC0wgAAgD8AAKDBAAB4QgAAoMAAAPDBAABgQQAAAAAAAIC_AACgQAAAkEEAAIDBAABQQgAABEIAAIC_AADgwQAAuEEAAETCAAAEwgAAQEEAAOhBAAAIQgAAQEIAAMjBAABYwgAAMEEAAKDBAAC4QQAAEMEAAEDBAACAwAAAwMEAAEDAAABkQgAAcEEAAJhBAAAwwgAA-MEAAIhBAACAPwAAQEEAAADAAACgQAAAAEIAAAzCAAC4QgAA0MEAAPTCAAD4QQAAcEIAAHDBAABcwgAAkMEAAMjBAABowgAAgEAAAHBBAAAowgAAGEIAAPjBAABAQSAAOBNACUh1UAEqjwIQABqAAgAA2D0AACS-AADIPQAAqD0AAAy-AADoPQAAED0AAPq-AACyvgAAuD0AAJi9AADovQAAmj4AAIg9AAAwvQAAXL4AABQ-AADoPQAAyD0AALo-AAB_PwAAgDsAAIg9AAAwvQAAuL0AABS-AADYPQAAmL0AAKa-AAAkPgAAHD4AAOg9AAAUvgAATD4AAEQ-AADgPAAAyD0AAFC9AAC2vgAADL4AAHS-AACAuwAAUL0AAPi9AADIPQAA6L0AAOg9AACgPAAAmL0AAJa-AABQPQAAgLsAAI4-AACKPgAAML0AAKC8AAArPwAAFD4AAJg9AADYPQAAQLwAAOC8AADgPAAAkr4gADgTQAlIfFABKo8CEAEagAIAAOi9AABAPAAAyD0AAAO_AAD4PQAAqD0AAFC9AACgvAAAJL4AANI-AABAvAAAUL0AAKC8AAA8vgAADL4AAOA8AAAwPQAAUz8AAFQ-AACePgAAbD4AADA9AACoPQAAgDsAANi9AADoPQAA6L0AABw-AAD4PQAAmD0AAHA9AABwPQAAuD0AAJg9AAAEPgAA2L0AANo-AAAQPQAAlr4AACS-AAB8PgAAJD4AABA9AAB8vgAA4DwAAI4-AAB_vwAAcD0AAKg9AABwvQAAQLwAABC9AAAUPgAARD4AAKg9AAC4PQAAoDwAAGS-AACgPAAAJD4AAKi9AABMvgAAHL4AACQ-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=hzKsQnYg3J8","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["1379501460098098713"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"11303752203871243173":{"videoId":"11303752203871243173","docid":"34-2-9-Z9AFC25C2E764B5B4","description":"Keynote given by Gernot Heiser at the 3rd seL4 Summit, 2020-11-16...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1738644/b8415b06e8d26271abbad1ccdcc138ce/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/DjaAhAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"16","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D_2KgrFm2Fz4","linkTemplate":"/video/preview/11303752203871243173?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The seL4 Report (aka State of the Union)","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=_2KgrFm2Fz4\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhYKFDExMzAzNzUyMjAzODcxMjQzMTczWhQxMTMwMzc1MjIwMzg3MTI0MzE3M2q1DxIBMBgAIkQaMAAKKWhoeHRybWl4cWplemxmcGhoVUNJcVZZMVhGUE9QSVoxejJBOVRybU1BEgIAESoQwg8PGg8_E5UWggQkAYAEKyqLARABGniB-AkPAQAAAAUEDwX6CfwC7AkC9vr-_gDqBRH6Bf8BAOz9_AME_wAADBAKAwQAAAD2_vsI9P8BAAD5BAYDAAAAEfr1AfQAAAAHAf3-_wEAAOv09v8DAAAA_RD_A_8AAADqCP4AAQAAAAYN-QMBAAAAAvr2BgAAAAAgAC3KANE7OBNACUhOUAIqhAIQABrwAVHmCv-2_SL8H_7yABcS6ACBBQv_MfbnAM387wDk9fIBCCH7AOLfDgAB-AgA4xf8AAT58wArGwcABPMJ_ycK6AAjAQcARu8AACDmAwAJ_f_-8gQHABkCEwAA7v8B_Af9_icJEQAKCeMA5Qn8Auv5GwIHE_v-IP35_-gnB_4WHAYD_AgCAw0PD__e_wMA6gsNBuwC6AEIGO4ABgIABPT66wcUIfb8HRT4_DL69wAW9QP6AhoH_SYG_fsnFfb5CAT5AfD--P4M8g_7BSD5_RHkCwcM6BYC_O4EBvQd_gIJAPj9BwMI8vYS_Q8DCv4GDusA8CAALW4nSDs4E0AJSGFQAipzEAAaYFsGAE3XIQfk_0fj-vHfDNrt8R7mtgL_I-0A4zfnwQc20qXs__8_9wT6nAAAACT33C1WAAd_DN_vDbAk2-2i3xIGcQwL-tr_ABIhvBPl3vAEG-s2JwDjysn1KAekZisJ_SAALY-7GDs4E0AJSG9QAiqvBhAMGqAGAABUQgAADMIAAERCAABcwgAAnkIAAMhBAACsQgAAsMEAAEjCAADAQAAAYEIAACzCAAAEwgAAoMEAANhBAABwwQAACMIAABTCAABAQQAA-MEAALBCAACgwQAAVEIAAKBBAAAQQQAA2MEAANDBAAB8wgAAbEIAAMBBAAAQwgAAmEIAAGzCAABYQgAAYMEAAIjCAAAwQQAA3EIAAODBAAAMQgAAEEEAABBBAACGQgAAHEIAANDBAACwwQAAMEEAAABBAACOQgAAAMIAAFTCAADwwQAAuEEAALhBAACCQgAAyMEAALjCAACQwQAAAAAAAERCAAAYQgAAgEEAAADAAAD4wQAAhEIAAIA_AACgwAAA8MEAAFDCAACKwgAAKEIAAJBCAADwwQAAYEEAABxCAAAkwgAAOEIAAGBBAAAwQgAAMMEAAFDCAACAQAAAREIAAIpCAACAQAAA2MEAAIhCAABYQgAAeEIAALDBAACgQAAAjEIAAIDAAACGwgAAgMAAAHDCAACQwQAAAEAAAHRCAADAwQAAgMAAAFBBAABQQQAAUMIAAETCAACgQQAAcEEAAIRCAAAYwgAAIEIAAIpCAABAwQAALMIAALBBAADYQQAAsEEAAEDAAABwwQAAZMIAADBBAAAAwAAAHMIAAPjBAAAAwgAAwMAAAGDBAACwwQAAgEEAAMjBAAAQwQAAgL8AABhCAAAowgAAJEIAALhBAACgwAAAcEIAADRCAACgwQAAnMIAAAxCAACwQQAAgMAAAIDAAABYQgAASMIAAILCAACgwAAAEMEAAPhBAABgQQAAFEIAAGxCAAAgwQAAoMAAAJDBAAAUwgAA2MEAAHDBAAAUQgAALMIAADxCAADQwQAA4MEAAIBBAAC4wQAAYMEAAJpCAAC4QQAAUEIAAILCAADwQQAAEMEAAKDAAADwwQAAqEEAAKBAAADAwQAAsEEAAGRCAAAAwgAASMIAAHDBAABAwAAAQEEAABBBAACKwgAAHEIAACDCAACgwAAAHMIAAIzCAACeQgAAGMIAAIjBAAAAwQAADMIAAJhBAACMwgAAVMIgADgTQAlIdVABKo8CEAAagAIAAJI-AADYvQAAoDwAAPg9AACAuwAAkj4AABS-AADCvgAARL4AAGw-AAAQPQAA6D0AAOg9AAAEPgAARL4AAKC8AAAsPgAAoDwAAOC8AAAcPgAAfz8AAIg9AAAUPgAAdD4AAEA8AABwPQAAyL0AANi9AABAvAAABD4AABA9AACoPQAA-L0AAFw-AADIvQAAqL0AACQ-AAC2vgAACb8AAEy-AAAsvgAAuL0AAFC9AAAMPgAAcL0AAIq-AABAPAAAoDwAAIi9AABMvgAABD4AAFC9AAAUPgAAdD4AAEy-AABAPAAABT8AAKg9AACgPAAAXD4AAEA8AABQvQAA2D0AAKa-IAA4E0AJSHxQASqPAhABGoACAAD4vQAAyL0AANg9AABPvwAARD4AAPg9AAD4vQAAuL0AAJi9AABcPgAAoLwAAHC9AACYPQAARL4AAEC8AACovQAA4LwAAEU_AACIvQAAkj4AACS-AACoPQAAVD4AAKi9AACYvQAA2D0AANg9AADYPQAAZD4AAIA7AACYPQAA4DwAAIA7AADIvQAAiL0AAEA8AAAQvQAA6D0AABy-AACAuwAAcD0AAIC7AAC4vQAAoLwAAM6-AACgPAAAf78AAFA9AABAPAAAnj4AAHS-AADovQAAZD4AAGw-AAAQPQAAoLwAAHA9AABwPQAA-L0AAIa-AACYvQAAoLwAAFQ-AACgPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=_2KgrFm2Fz4","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1152,"cheight":720,"cratio":1.6,"dups":["11303752203871243173"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"1102744287"},"3318197273746265569":{"videoId":"3318197273746265569","docid":"34-2-13-Z5F24DF1700FF6291","description":"seL4: Experiences, Improvements, and Optimizations Moderators: Axel Heider Speakers: Chris Guikema Sandboxing legacy code provides a low barrier approach for developers to start implementing...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4067294/aef0a688b602a526934b622770ddddf2/564x318_1"},"target":"_self","position":"17","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DSsEuhby_U6k","linkTemplate":"/video/preview/3318197273746265569?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"seL4: Experiences, Improvements, and Optimizations - Chris Guikema, DornerWorks","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=SsEuhby_U6k\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzMzMTgxOTcyNzM3NDYyNjU1NjlaEzMzMTgxOTcyNzM3NDYyNjU1Njlqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxPYBYIEJAGABCsqiwEQARp4gfgDCBAE-wD29gEK-Af-AgIV-vn2__8A4gDwCgD9AgDyAAn7-wAAAAb3GAMCAAAAAfUBBfX9AQASCAEN9QAAABMFBvn3AAAA-P7z-f8BAADx8vj0AgAAAA4XCwEAAAAA-RcI_P7_AAAHDgsKAAAAAAj6_gsAAAAAIAAt8xzHOzgTQAlITlACKnMQABpgHxYA_Abw6PUNGffl-uIGBAgHBvrl_wAA7AAGJunnEukA1xP5AB_tDQHUAAAAFf_wHfsABTUH8e_18Rse0t_xERJ_-P4FAPEO8PEGDwURCezs8yQZAOT4GQPy7fIu9g8OIAAtWK6OOzgTQAlIb1ACKq8GEAwaoAYAAMBBAACAvwAAsEEAAJDBAACgQQAA4MAAAPhBAABIQgAAQMIAAJDBAACGQgAAnMIAAMTCAACIQQAAMEIAANjBAACAwQAAfMIAAEjCAAAgwgAAgL8AAPDBAADAwAAA4EEAACDBAACQwQAAiMIAAIbCAACIQQAAlkIAAJBBAACaQgAAuMIAAMhBAACAPwAALMIAAOhBAADYQgAAAMAAAHDBAAAgQQAAsMEAAFBCAACwQQAAFEIAAMDCAACAQAAAWMIAAJJCAABAQQAAQEAAAMBBAAAIQgAAgMAAAGhCAAAUwgAAwsIAACBBAABwwQAAAEEAABBCAAAAQgAAUMEAADTCAABYQgAAMEEAABhCAACIwgAA8EEAAADBAACEQgAAYEIAADjCAACqQgAAUMEAAHjCAAAIwgAAAEAAAAhCAACgwQAA6MEAAAxCAAAwQgAAcEEAAAzCAADYwQAAdEIAAKBBAACqQgAAgEEAAIzCAAAIQgAAUEEAADTCAADowQAAhsIAAPDBAABAQQAAAAAAABBBAAAQwQAAVEIAAIA_AAA0wgAA6MEAAIjBAACGwgAAyEEAAGDBAAAYQgAANEIAAJhBAADQwQAAAAAAACBBAAC4QQAAYMEAABjCAACYwQAAYMEAACDCAAAUwgAAlMIAABDCAAA8QgAAYEIAAKBAAACAvwAAyMEAAFBBAADQQQAAEMEAAPjBAAAgQgAA0EEAAIhBAABAQAAAkkIAAEzCAAA4wgAAyMEAADBCAAAwwQAA2EEAAMBCAADQQQAAoMEAAKBAAACgwAAAgEEAAMDAAADQwQAAcMEAADTCAACgwAAA4MEAAAjCAABowgAAkMEAAJRCAADQwQAAQEIAACzCAAAowgAAAMIAACDBAACQQQAApkIAAFhCAACWQgAAgMIAALBBAADQwQAAYMEAAGDBAAAAAAAAEMEAADDCAAAAwQAAqEEAAKDBAAAAwgAAgL8AADDBAACAwAAAMMEAAAjCAAAkQgAAGMIAALjBAAAkwgAAqMIAABBCAABAQAAA4MAAAODBAAAAQQAAQMAAAKrCAACwwSAAOBNACUh1UAEqjwIQABqAAgAA6D0AAFC9AAC4PQAA-L0AAEy-AAAwPQAAgDsAAPa-AADIvQAADD4AAJI-AABQPQAA-D0AACQ-AADgPAAAPL4AAFw-AACgvAAATD4AAL4-AAB_PwAAFD4AABw-AAAwvQAAqL0AABC9AAAwvQAAqL0AACy-AABwPQAABD4AAFC9AADYvQAAgDsAAKY-AACoPQAAuD0AAMg9AACivgAAnr4AAK6-AAAwvQAAQDwAAIC7AAAQvQAAfL4AAAQ-AADYvQAAyD0AAEy-AAA0vgAAUL0AAHw-AAAcPgAADL4AAIA7AAANPwAAFL4AAPg9AABQvQAAQLwAAIi9AABEPgAAQDwgADgTQAlIfFABKo8CEAEagAIAANi9AABkPgAA2D0AABm_AACAuwAA4DwAAOA8AACYvQAAqL0AAJ4-AACIvQAAXL4AAKA8AACKvgAA6D0AAHC9AACAOwAATz8AAKg9AADCPgAAuD0AAMi9AADYPQAA-L0AAEC8AABQPQAAEL0AAAw-AABAPAAAMD0AAEC8AACgPAAAUD0AAES-AAAwPQAAgDsAADC9AAA0PgAADL4AAIg9AAAsPgAAED0AAKg9AAAEvgAA6L0AAAQ-AAB_vwAAHL4AAPi9AACoPQAA4LwAALi9AACYPQAAmD0AABw-AABAPAAAoLwAAEA8AABcvgAAgDsAAOC8AACYPQAAND4AAOA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=SsEuhby_U6k","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3318197273746265569"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false},"8673805244953813648":{"videoId":"8673805244953813648","docid":"34-2-4-ZEBBE1EFB3D530D44","description":"Comp9242 2022 Week 1, second lecture seL4 mechanisms not covered before hints on seL4-based system design...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1019780/dcf181ce6efc7a7588723c84429717ec/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/OsbpBgIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"18","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DuF_B3b4kzNU","linkTemplate":"/video/preview/8673805244953813648?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"W01b: seL4 Mechanisms","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=uF_B3b4kzNU\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzg2NzM4MDUyNDQ5NTM4MTM2NDhaEzg2NzM4MDUyNDQ5NTM4MTM2NDhqhxcSATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxOHLoIEJAGABCsqiwEQARp4gfQI-wf9AwDs9v4E-QIAAP4I9v4J_f4A-v4B-QQD_wDoDgIDCP8AAAIBBPwKAAAABQ0I-vj-AQAO_f4DBAAAAPYCCwL5AAAAEPb-Bv8BAAD3BAL4AgAAAA0UCgEAAAAA_AwH_wIAAAAFBgMUAAAAAP3z-gQAAAAAIAAtIz_cOzgTQAlITlACKoQCEAAa8AF_-f8Bx_El_t4E0gD0Ex4Bmwgk_zwJ5QDRAQwAoezb_9cv-wDw1gUB-gAR_8cEEwDu6fAANwbcAAAd_QAmBCQBKRL4AEbS9wFK4_AA8gL1_-oTBf4H_jIAD-38ACMbB_4LDxz_1wTI___0BAP28RsCDxgV_wAB-gMODyMC8AP7AgT2_wQN_xX9AgIF--0XFgD57QgEDgva_fwJFwkJ_9sBDfvp_SEC6gI4-fYA5fQO-golBQUeA-39FfIRAPoWDwH45___DPP4CfkRCgA86Q0K5PcJ-PrXEv4F-vH96fX89-gMD_nYAAH8-AL_Bgz37AEgAC2cfzE7OBNACUhhUAIqzwcQABrAB8GnBb_UlRU8csPvvNAQyT1Qvb88CzDiu4QTLLw1EJa9tSuFOdL_0j1pKnU9VJQFvJfHqr4Tx-w7vhGdvGdimj5OOpu8Gu9YPCv-ur3M90I9mzkEveC7bb5eipY9FrlMvPzvgj3xb8Y8haDZPJ87AT6PlCg9OxixPFuvLj03Wuk7-OddvVHNpj0AGxC91oXpvK1_4Tyzxb-8xE8tvGDnJj4N0w298R7xvIeEVL2SJGg9v-HTOk_3sLzvPTe8ltgrPbWMJD4_vum8ZGuHPBkdsbuVwnI8op46O5NRpTzBR448W-83vG5wPb1DNWo9zoDlO-enGD2Ad7y8lX-tvAzIg73_Ga88XvF1O0YK5T2jliA8U83uO8Zhqr2rW5097tSaOy-Dpr1SlBA9aTf6uzBjqj2hkZk8JmmjPIkXmj3VAh68IRSluhlLgbsJ1I-75j_kvEesRb3DJlc9vmGJOrHriztwelW7sgrAvAu45712UIk7W4SYvEL_KT2M3NO9T_eLPHeptz0ECSW9cYWBPLZ7Xj0HySc8y1asO_m6MbyJbQE9LYFvuy1LiTshHYE72Hh6vGNeRzykUDs9-a89u6qlj71geWu8s-xJvD2RcT34YS69-eaKuzZZQz1b_q67YIfaO_0t5jwq5fW8-ThLO-Z6hr20TRg87ADCu_NxbbyUzrC7KTuiOxErjT1XQh25i9YXPIT1v7yAC1e8Z0tzO3rkqj0jX668b0iCuSMqOT2tJQ69JDZMO4IQ2rwnvOQ9fVKIufV-iD0z3wG9QHxsOZDC0DzJu1k9njYeOTa4Iz1L1CG9YuRSuB2imzx5uQC7-90KOfBBmbwkc-O59PgNusrmIrq3lO65o7NWOjDaAz2kXia9Ad2zuWkufbr6zL68UaXBuR7OUr1z7IW8_BoVucS-8DrZLd08hecbudTjCD1fPTO98WvLuBNuqD1QqZI8M7CntwWEHLxZuic8yAMbtiRGzzxuXIW9SVyfOO1EST1b7PY843xnOB5mVL160ni8bpbSuGSV0rs3OJG87zcHOJHEIb2LDKy9yCZ8OMxdizycDq48dd8GuMov6LyPD4S8Eqb0N1x8oL3oe1e97HmEN4aqeD21IgC92i8DOIrKJr1ivOa9yeVyOK4GjbwO7168T52RN17yATyBpBk8NM32NsXFUT0JKcm8-M-ftlpa17zhmju8AZkXuIYQIT1cd9O93vObt1UYpj1tC8U9g8fnOO_ys73aAgI-UPFguXY25LzWkgk9q3wRuM88D71ASSa9jE_INyAAOBNACUhtUAEqcxAAGmBD9gAS4wj-EeBEDwru3wmfK8ES767s_wTuAC5LufrxCNahHBf_CCjxGp4AAADvAQAwPQAieuzdDQqpYAWzyQA2Cn8F9SDI_gbo38465N_4CjL6FC8AKv639Bq5jTgTHw4gAC3_hxM7OBNACUhvUAIqrwYQDBqgBgAAhkIAAKBAAACAQgAAQMEAAMBAAABgQQAAXEIAAJhBAACAwgAAmMEAAODBAABQwQAAIMIAAHDBAACgQQAADMIAADRCAAAkwgAA0MEAAJDBAAAYQgAAAMEAABBBAACwQQAAYEEAAHRCAAAowgAACMIAANhBAABwQQAAUEEAAKJCAADKwgAAMMIAANjBAAAwQQAAAMAAADxCAACKQgAAwEEAAAjCAABUQgAAoMAAAIBCAADwwQAAeMIAAEDAAACgwAAA4kIAABDCAAAwwgAAyMIAAATCAAAYQgAAUMEAACRCAAA0wgAAQEEAAFTCAACOQgAAtkIAAFRCAADIwQAAVMIAAIhBAACYQQAAEMIAADzCAABcQgAAIMIAAADAAAAEQgAAAMIAAFxCAAAAQAAAQMEAAIbCAABwwQAALEIAAL7CAACIwgAAmkIAAEDCAACeQgAA8EEAAIzCAADAwAAAaEIAAJBCAABAwAAAcMEAAM5CAACwQQAAAMAAAGBCAAAAwgAAIMIAAAjCAADwQQAAAEEAAEBAAAB0wgAAmkIAAIBAAABgwgAAwEEAACzCAAAYQgAAIEEAACRCAACAQAAA8MEAAABAAAAgQQAAHMIAABBBAAAgwQAAIMEAAIDBAACYwQAAEEEAAEjCAACQQQAAhMIAAEDCAAAAQAAAMEEAAIDBAAAAQAAAiMEAAKBBAAA4QgAAFMIAAMhBAAAQQQAAwEAAAAhCAADgQAAAQMEAAFjCAAAQQQAABEIAAMBBAACoQQAApkIAAHBBAABAQQAAqsIAACBBAAA0QgAAKMIAACDBAADAwAAAoMIAAOBAAAC4wQAAgsIAABDCAACAPwAAmMEAAIDBAABMQgAAgD8AAADBAABYwgAA0MEAAFBBAADoQQAAwEEAAIA_AADoQQAADEIAALDBAACAwQAAgEAAALBBAABAQAAALMIAAEDBAAAAAAAA2MEAACTCAABkwgAAkMEAAHBCAABwQQAAQEEAAFTCAACgQAAA0EEAABDCAADAwQAA4EEAABDBAADAQAAA-EEAADBCAAAIwgAA4MEAABBCIAA4E0AJSHVQASqPAhAAGoACAAAQPQAA4DwAAIY-AAAEPgAAbL4AAHA9AABkvgAAMb8AAGS-AAA0PgAAzj4AAJg9AAAEPgAAoj4AAOi9AAAEvgAAND4AAOA8AADIPQAAzj4AAH8_AADovQAAmL0AAIA7AACgPAAA2L0AAMi9AAAsvgAAqr4AAPg9AAAEPgAA4LwAAGS-AAAEPgAAJD4AACy-AADgPAAAyL0AAIa-AAAkvgAAgLsAAJi9AACgvAAA2L0AAIA7AACKvgAATD4AAEy-AADgvAAAtr4AAOC8AABwvQAAsj4AAOA8AABEvgAAED0AAC8_AACAuwAA2D0AAMg9AADIPQAA-D0AAHA9AAA0viAAOBNACUh8UAEqjwIQARqAAgAAoLwAAIA7AAA8vgAAJ78AAKC8AADIPQAAQDwAAJi9AAAkvgAAhj4AADA9AAAMvgAAQLwAALK-AABAvAAAoLwAAFA9AAAnPwAAqL0AAHw-AAAwvQAARD4AAOg9AACgvAAA2L0AAEQ-AABMvgAAmD0AAJg9AADIvQAAyD0AAIg9AAAwPQAAXL4AAFC9AACAOwAAZD4AAPg9AABEvgAAcL0AADw-AABQPQAAPL4AABC9AAC4vQAA-D0AAH-_AADovQAA4DwAADw-AAAEPgAAVL4AAOg9AADoPQAAJD4AAEC8AACAOwAAoLwAADy-AACgvAAAoDwAABQ-AAC4PQAAoDwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=uF_B3b4kzNU","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["8673805244953813648"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false,"videoContentId":"2107365678"},"6737717318135553391":{"videoId":"6737717318135553391","docid":"34-5-13-ZF10ECEF11C6C2583","description":"Dynamic seL4-based Systems: Designing for Verifiability Moderators: Gerwin Klein Speakers: Matthew Brecknell The current state of the art in seL4-based system design is to statically partition...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/992157/4a90819956f4192d0a24c8e62be88ed5/564x318_1"},"target":"_self","position":"19","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DhHihCvB1cJI","linkTemplate":"/video/preview/6737717318135553391?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Dynamic seL4-based Systems: Designing for Verifiability - Matthew Brecknell, Kry10","related_orig_text":"The seL4 Microkernel","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"The seL4 Microkernel\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=hHihCvB1cJI\",\"src\":\"serp\",\"rvb\":\"Eq0DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChQxMDk4OTU3ODQ0ODI4MzUyODQ4OAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTcwNDUxMTU2ODQxMjU5MDUxNTQKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDExNzQ4ODkzNjIzNTU2ODk1MzE2ChQxODA5MzIwOTkzNzExOTU0NTc3NAoSNTM4NDA5OTYwNDEyNjk3NzEzChM2ODAwMjY0MDU1MzEyODA0MjgyChQxMzAwMzI3OTMxMjY0NjExNzk4NwoUMTczNTk2NTYyNTMxMDkyMDQxMDIKEzExNjE1MzM1OTQxMTA0NDQ4NTUKFDE0OTc3NzExMjg0MDg4NzM3OTI3ChMxMzc5NTAxNDYwMDk4MDk4NzEzChQxMTMwMzc1MjIwMzg3MTI0MzE3MwoTMzMxODE5NzI3Mzc0NjI2NTU2OQoTODY3MzgwNTI0NDk1MzgxMzY0OAoTNjczNzcxNzMxODEzNTU1MzM5MQoUMTI2MDAwOTk0MzkxMzUxODc1MTUKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwGhUKEzY3Mzc3MTczMTgxMzU1NTMzOTFaEzY3Mzc3MTczMTgxMzU1NTMzOTFqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxPlDYIEJAGABCsqiwEQARp4gfQDAv7_AQDxARAE-gT_AREDBvoH__8A8wn0CvsB_wD16f4C-gAAAOr3Av8HAAAABwYDBfn9AQACDPMB8AD_AA78_Ab7AAAA_BIC8_8BAAD-APgHA_8AAAH9DxAAAAAA_QUN7wAAAAAFDfkDAQAAAAz6-PoAAAAAIAAt2DLUOzgTQAlITlACKnMQABpgIPUAKvTn7N8JKPf9AtodEPLa6-y5Dv_w7wDyKdbGByfrrhIbAEHLEOexAAAA8OQNKwAAGWTg4-XfDygYu8fPO_l_IAQG7zMP8N41OfcFDAr7By85ANj5CgBF7LdG4fb8IAAtydQwOzgTQAlIb1ACKq8GEAwaoAYAAKhBAACgQAAAoEAAANjBAACAQQAAMMEAAEBCAAAoQgAAFMIAAADAAACKQgAAssIAALjCAAAQQQAAOEIAAATCAACQwQAAhsIAACzCAAAowgAAoMAAABjCAAAAwAAABEIAAABAAADYwQAAhMIAAJbCAACoQQAAhkIAAEBBAABsQgAAzMIAAMhBAACQwQAAJMIAAABCAADIQgAAwMAAAKBAAAC4QQAAgMEAACxCAADgQQAABEIAANDCAACYwQAAIMIAAKxCAACIQQAAgMAAAABAAADQQQAAwEAAAFBCAADgwQAA0sIAAOBBAAAMwgAAEEEAAEhCAADIQQAAkMEAAFjCAAA8QgAAAEEAAHBBAACKwgAA-EEAAMjBAABkQgAATEIAACjCAACQQgAAMMEAAIDCAAAwwQAAQMAAABRCAACgwQAA8MEAAOhBAAAoQgAACEIAANDBAACwwQAATEIAAKBBAACyQgAA4EAAADTCAAAYQgAA0EEAADzCAAAEwgAAjsIAAPDBAACIQQAAYEEAAKBBAABgwQAAgkIAAADAAABcwgAAFMIAAPjBAABgwgAAwEEAAADBAAA8QgAAJEIAACRCAACowQAAgL8AAEBBAABwQQAAgMEAACDCAADgwQAAgMAAAAjCAAAYwgAAiMIAAPDBAAAsQgAAikIAAEBBAADgQAAA4MEAAKBBAACQQQAAEMEAAPjBAAAoQgAAQEAAAOBAAACAwAAAokIAAGTCAAA4wgAAcMEAABBCAACAvwAA2EEAALJCAABwQQAAoMEAAGDBAAAAwAAAwEAAAEDAAAAAwQAAgL8AACjCAABAwQAA8MEAALjBAACEwgAABMIAAJxCAAAMwgAATEIAACzCAAAkwgAAyMEAAIBAAADQQQAApEIAAERCAACSQgAAbMIAAMhBAADQwQAAYMEAAIC_AAAAwAAAQEAAAPjBAACAQAAAkEEAAGDBAACwwQAAQEAAAIBBAABAQQAAgL8AACzCAAAkQgAA8MEAANjBAAAwwgAApsIAAMhBAAAAwQAAAEEAABDCAADAQAAAcMEAAMLCAADYwSAAOBNACUh1UAEqjwIQABqAAgAAHL4AADA9AACCPgAA2D0AAOC8AADIPQAAcL0AACG_AADGvgAAML0AAAQ-AABQPQAATD4AALg9AABwvQAAVL4AALI-AADgPAAADD4AAKI-AAB_PwAAmD0AAII-AACovQAAyD0AAKC8AAAwPQAAuL0AAGS-AABwPQAAND4AABA9AAAUvgAAfD4AAHw-AACIvQAAED0AALi9AAB0vgAAlr4AAAS-AACAOwAAiD0AAIA7AABQPQAAQDwAANg9AACivgAAuL0AABS-AACoPQAAmD0AADA9AABAPAAA6L0AAMi9AAALPwAAQDwAAOA8AABMPgAAuD0AAEA8AADgPAAAdL4gADgTQAlIfFABKo8CEAEagAIAAOi9AAA0PgAA-D0AAB2_AABAvAAAgDsAAKC8AACgPAAAyL0AAKY-AAAsvgAAFL4AALg9AABcvgAAmL0AABC9AADgvAAART8AABQ-AACmPgAAyD0AAJi9AADIPQAAqL0AALi9AADoPQAA4LwAAIg9AAAwvQAAJD4AAOC8AACYPQAAQLwAACy-AABEvgAAcL0AAIA7AADIPQAALL4AAKA8AADgPAAAcD0AAOg9AAC4vQAAqD0AANg9AAB_vwAAyL0AAKi9AAAQPQAABD4AAHC9AABEPgAAuD0AAMg9AABAPAAAgDsAAJi9AAA8vgAAoDwAADA9AAAQvQAA4LwAAAy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=hHihCvB1cJI","parent-reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["6737717318135553391"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"censoredShock":false,"isShockDoc":false}},"dups":{"5925784844217352613":{"videoId":"5925784844217352613","title":"Intro to \u0007[the\u0007] \u0007[seL\u0007]\u0007[4\u0007] \u0007[microkernel\u0007]","cleanTitle":"Intro to the seL4 microkernel","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=gBIRDBekQP4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/gBIRDBekQP4?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDR2VNc0tKM2hVd0l6VXY2YUQta1E2QQ==","name":"DornerWorks, LLC","isVerified":false,"subscribersCount":0,"url":"/video/search?text=DornerWorks%2C+LLC","origUrl":"http://www.youtube.com/@DornerWorks","a11yText":"DornerWorks, LLC. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2563,"text":"42:43","a11yText":"Süre 42 dakika 43 saniye","shortText":"42 dk."},"views":{"text":"3,2bin","a11yText":"3,2 bin izleme"},"date":"7 şub 2019","modifyTime":1549497600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/gBIRDBekQP4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=gBIRDBekQP4","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":2563},"parentClipId":"5925784844217352613","href":"/preview/5925784844217352613?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/5925784844217352613?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"10989578448283528488":{"videoId":"10989578448283528488","title":"Achieve Extreme Security with \u0007[the\u0007] \u0007[seL\u0007]\u0007[4\u0007] \u0007[Microkernel\u0007]","cleanTitle":"Achieve Extreme Security with the seL4 Microkernel","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=oXrvYEplnn4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/oXrvYEplnn4?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDR2VNc0tKM2hVd0l6VXY2YUQta1E2QQ==","name":"DornerWorks Ltd.","isVerified":false,"subscribersCount":0,"url":"/video/search?text=DornerWorks+Ltd.","origUrl":"http://www.youtube.com/@DornerWorks","a11yText":"DornerWorks Ltd.. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":96,"text":"1:36","a11yText":"Süre 1 dakika 36 saniye","shortText":"1 dk."},"date":"30 tem 2018","modifyTime":1532908800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/oXrvYEplnn4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=oXrvYEplnn4","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":96},"parentClipId":"10989578448283528488","href":"/preview/10989578448283528488?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/10989578448283528488?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"3514661481754285469":{"videoId":"3514661481754285469","title":"\u0007[The\u0007] \u0007[seL\u0007]\u0007[4\u0007] \u0007[microkernel\u0007]: Mathematical proof of security - SecTalks SYD0x40 (64th)","cleanTitle":"The seL4 microkernel: Mathematical proof of security - SecTalks SYD0x40 (64th)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=KVL9xMveNv4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/KVL9xMveNv4?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNU5kLTQyQTJnMmxkSWZyZEhieDVRZw==","name":"SecTalks","isVerified":false,"subscribersCount":0,"url":"/video/search?text=SecTalks","origUrl":"http://www.youtube.com/@SecTalks","a11yText":"SecTalks. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":5848,"text":"1:37:28","a11yText":"Süre 1 saat 37 dakika 28 saniye","shortText":"1 sa. 37 dk."},"date":"25 tem 2023","modifyTime":1690243200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/KVL9xMveNv4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=KVL9xMveNv4","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":5848},"parentClipId":"3514661481754285469","href":"/preview/3514661481754285469?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/3514661481754285469?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"17045115684125905154":{"videoId":"17045115684125905154","title":"IEEE SecDev tutorial on \u0007[seL\u0007]\u0007[4\u0007] \u0007[microkernel\u0007] By Nicholas Evancich (Trusted Science and Techn...","cleanTitle":"IEEE SecDev tutorial on seL4 microkernel By Nicholas Evancich (Trusted Science and Technology, Inc)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=oY5kRbBc1AQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/oY5kRbBc1AQ?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDUk94UWF2cmw0VlB6b2tqX1VDeHpzZw==","name":"IEEE SecDev","isVerified":false,"subscribersCount":0,"url":"/video/search?text=IEEE+SecDev","origUrl":"http://www.youtube.com/@ieeesecdev3943","a11yText":"IEEE SecDev. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":4043,"text":"1:07:23","a11yText":"Süre 1 saat 7 dakika 23 saniye","shortText":"1 sa. 7 dk."},"date":"31 eki 2020","modifyTime":1604102400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/oY5kRbBc1AQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=oY5kRbBc1AQ","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":4043},"parentClipId":"17045115684125905154","href":"/preview/17045115684125905154?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/17045115684125905154?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"2582203770958415666":{"videoId":"2582203770958415666","title":"w01a: Introduction to \u0007[microkernels\u0007] and \u0007[seL\u0007]\u0007[4\u0007]","cleanTitle":"w01a: Introduction to microkernels and seL4","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=w83WT-3dgw4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/w83WT-3dgw4?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDaTNLZjVlT05Jd1Y2UWdOSGlZcVZ6Zw==","name":"CSeLearning","isVerified":false,"subscribersCount":0,"url":"/video/search?text=CSeLearning","origUrl":"https://www.youtube.com/channel/UCi3Kf5eONIwV6QgNHiYqVzg","a11yText":"CSeLearning. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":5094,"text":"1:24:54","a11yText":"Süre 1 saat 24 dakika 54 saniye","shortText":"1 sa. 24 dk."},"views":{"text":"6,6bin","a11yText":"6,6 bin izleme"},"date":"1 haz 2020","modifyTime":1590969600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/w83WT-3dgw4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=w83WT-3dgw4","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":5094},"parentClipId":"2582203770958415666","href":"/preview/2582203770958415666?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/2582203770958415666?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"11748893623556895316":{"videoId":"11748893623556895316","title":"W01a: Introduction to \u0007[microkernels\u0007] and \u0007[seL\u0007]\u0007[4\u0007]","cleanTitle":"W01a: Introduction to microkernels and seL4","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=IvqM2pmApSY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/IvqM2pmApSY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":5986,"text":"1:39:46","a11yText":"Süre 1 saat 39 dakika 46 saniye","shortText":"1 sa. 39 dk."},"views":{"text":"12,2bin","a11yText":"12,2 bin izleme"},"date":"1 haz 2022","modifyTime":1654041600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/IvqM2pmApSY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=IvqM2pmApSY","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":5986},"parentClipId":"11748893623556895316","href":"/preview/11748893623556895316?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/11748893623556895316?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"18093209937119545774":{"videoId":"18093209937119545774","title":"\u0007[The\u0007] \u0007[seL\u0007]\u0007[4\u0007] Core Platform","cleanTitle":"The seL4 Core Platform","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=khcjH77riGA","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/khcjH77riGA?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1831,"text":"30:31","a11yText":"Süre 30 dakika 31 saniye","shortText":"30 dk."},"views":{"text":"1,3bin","a11yText":"1,3 bin izleme"},"date":"19 kas 2020","modifyTime":1605744000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/khcjH77riGA?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=khcjH77riGA","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":1831},"parentClipId":"18093209937119545774","href":"/preview/18093209937119545774?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/18093209937119545774?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"538409960412697713":{"videoId":"538409960412697713","title":"\u0007[The\u0007] \u0007[seL\u0007]\u0007[4\u0007] Microkit - Ivan Velickovic, UNSW","cleanTitle":"The seL4 Microkit - Ivan Velickovic, UNSW","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=1Y6uE3eZWKQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/1Y6uE3eZWKQ?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1726,"text":"28:46","a11yText":"Süre 28 dakika 46 saniye","shortText":"28 dk."},"date":"24 oca 2024","modifyTime":1706054400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/1Y6uE3eZWKQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=1Y6uE3eZWKQ","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":1726},"parentClipId":"538409960412697713","href":"/preview/538409960412697713?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/538409960412697713?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"6800264055312804282":{"videoId":"6800264055312804282","title":"w05b: \u0007[Microkernel\u0007] design and implementation, with focus on \u0007[seL\u0007]\u0007[4\u0007]","cleanTitle":"w05b: Microkernel design and implementation, with focus on seL4","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=nQUJYDBHJMw","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/nQUJYDBHJMw?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDaTNLZjVlT05Jd1Y2UWdOSGlZcVZ6Zw==","name":"CSeLearning","isVerified":false,"subscribersCount":0,"url":"/video/search?text=CSeLearning","origUrl":"https://www.youtube.com/channel/UCi3Kf5eONIwV6QgNHiYqVzg","a11yText":"CSeLearning. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":5252,"text":"1:27:32","a11yText":"Süre 1 saat 27 dakika 32 saniye","shortText":"1 sa. 27 dk."},"views":{"text":"1,2bin","a11yText":"1,2 bin izleme"},"date":"28 haz 2020","modifyTime":1593302400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/nQUJYDBHJMw?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=nQUJYDBHJMw","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":5252},"parentClipId":"6800264055312804282","href":"/preview/6800264055312804282?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/6800264055312804282?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"13003279312646117987":{"videoId":"13003279312646117987","title":"From L3 to \u0007[seL\u0007]\u0007[4\u0007] what have we learnt in 20 years of L\u0007[4\u0007] \u0007[microkernels\u0007]?","cleanTitle":"From L3 to seL4 what have we learnt in 20 years of L4 microkernels?","host":{"title":"YouTube","href":"http://www.youtube.com/v/RdoaFc5-1Rk","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/RdoaFc5-1Rk?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDUHlBMFhtVTZhUzRKQ3dWb0lCVG1JUQ==","name":"Association for Computing Machinery (ACM)","isVerified":true,"subscribersCount":0,"url":"/video/search?text=Association+for+Computing+Machinery+%28ACM%29","origUrl":"http://www.youtube.com/@TheOfficialACM","a11yText":"Association for Computing Machinery (ACM). Kanal onaylı"},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2024,"text":"33:44","a11yText":"Süre 33 dakika 44 saniye","shortText":"33 dk."},"views":{"text":"12,3bin","a11yText":"12,3 bin izleme"},"date":"27 şub 2014","modifyTime":1393459200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/RdoaFc5-1Rk?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=RdoaFc5-1Rk","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":2024},"parentClipId":"13003279312646117987","href":"/preview/13003279312646117987?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/13003279312646117987?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"17359656253109204102":{"videoId":"17359656253109204102","title":""\u0007[The\u0007] \u0007[seL\u0007]\u0007[4\u0007] Foundation – growing through upheaval" - Gernot Heiser (LCA 2022 Onl...","cleanTitle":""The seL4 Foundation – growing through upheaval" - Gernot Heiser (LCA 2022 Online)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=sGfyGhP6M_A","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/sGfyGhP6M_A?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDY2lLSENHMDZybnEzMXRvTFRmQWl5dw==","name":"linux.conf.au","isVerified":false,"subscribersCount":0,"url":"/video/search?text=linux.conf.au","origUrl":"https://www.youtube.com/channel/UCciKHCG06rnq31toLTfAiyw","a11yText":"linux.conf.au. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2627,"text":"43:47","a11yText":"Süre 43 dakika 47 saniye","shortText":"43 dk."},"views":{"text":"1,5bin","a11yText":"1,5 bin izleme"},"date":"20 oca 2022","modifyTime":1642636800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/sGfyGhP6M_A?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=sGfyGhP6M_A","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":2627},"parentClipId":"17359656253109204102","href":"/preview/17359656253109204102?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/17359656253109204102?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"1161533594110444855":{"videoId":"1161533594110444855","title":"\u0007[The\u0007] \u0007[seL\u0007]\u0007[4\u0007] Foundation – Progress & Vision","cleanTitle":"The seL4 Foundation – Progress & Vision","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=mptdf-_NQes","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/mptdf-_NQes?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1742,"text":"29:02","a11yText":"Süre 29 dakika 2 saniye","shortText":"29 dk."},"date":"23 tem 2022","modifyTime":1658534400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/mptdf-_NQes?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=mptdf-_NQes","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":1742},"parentClipId":"1161533594110444855","href":"/preview/1161533594110444855?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/1161533594110444855?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"14977711284088737927":{"videoId":"14977711284088737927","title":"\u0007[seL\u0007]\u0007[4\u0007] VMM on the RISC-V Rocket Chip - Robbie VanVossen, DornerWorks","cleanTitle":"seL4 VMM on the RISC-V Rocket Chip - Robbie VanVossen, DornerWorks","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=a-JLqYVINxo","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/a-JLqYVINxo?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1671,"text":"27:51","a11yText":"Süre 27 dakika 51 saniye","shortText":"27 dk."},"date":"24 oca 2024","modifyTime":1706054400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/a-JLqYVINxo?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=a-JLqYVINxo","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":1671},"parentClipId":"14977711284088737927","href":"/preview/14977711284088737927?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/14977711284088737927?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"1379501460098098713":{"videoId":"1379501460098098713","title":"\u0007[seL\u0007]\u0007[4\u0007] update at TC-CoE Summit","cleanTitle":"seL4 update at TC-CoE Summit","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=hzKsQnYg3J8","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/hzKsQnYg3J8?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1769,"text":"29:29","a11yText":"Süre 29 dakika 29 saniye","shortText":"29 dk."},"date":"11 mayıs 2023","modifyTime":1683763200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/hzKsQnYg3J8?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=hzKsQnYg3J8","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":1769},"parentClipId":"1379501460098098713","href":"/preview/1379501460098098713?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/1379501460098098713?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"11303752203871243173":{"videoId":"11303752203871243173","title":"\u0007[The\u0007] \u0007[seL\u0007]\u0007[4\u0007] Report (aka State of the Union)","cleanTitle":"The seL4 Report (aka State of the Union)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=_2KgrFm2Fz4","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/_2KgrFm2Fz4?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2837,"text":"47:17","a11yText":"Süre 47 dakika 17 saniye","shortText":"47 dk."},"date":"19 kas 2020","modifyTime":1605744000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/_2KgrFm2Fz4?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=_2KgrFm2Fz4","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":2837},"parentClipId":"11303752203871243173","href":"/preview/11303752203871243173?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/11303752203871243173?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"3318197273746265569":{"videoId":"3318197273746265569","title":"\u0007[seL\u0007]\u0007[4\u0007]: Experiences, Improvements, and Optimizations - Chris Guikema, DornerWorks","cleanTitle":"seL4: Experiences, Improvements, and Optimizations - Chris Guikema, DornerWorks","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=SsEuhby_U6k","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/SsEuhby_U6k?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":728,"text":"12:08","a11yText":"Süre 12 dakika 8 saniye","shortText":"12 dk."},"date":"24 oca 2024","modifyTime":1706054400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/SsEuhby_U6k?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=SsEuhby_U6k","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":728},"parentClipId":"3318197273746265569","href":"/preview/3318197273746265569?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/3318197273746265569?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"8673805244953813648":{"videoId":"8673805244953813648","title":"W01b: \u0007[seL\u0007]\u0007[4\u0007] Mechanisms","cleanTitle":"W01b: seL4 Mechanisms","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=uF_B3b4kzNU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/uF_B3b4kzNU?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":5895,"text":"1:38:15","a11yText":"Süre 1 saat 38 dakika 15 saniye","shortText":"1 sa. 38 dk."},"views":{"text":"3bin","a11yText":"3 bin izleme"},"date":"2 haz 2022","modifyTime":1654128000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/uF_B3b4kzNU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=uF_B3b4kzNU","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":5895},"parentClipId":"8673805244953813648","href":"/preview/8673805244953813648?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/8673805244953813648?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false},"6737717318135553391":{"videoId":"6737717318135553391","title":"Dynamic \u0007[seL\u0007]\u0007[4\u0007]-based Systems: Designing for Verifiability - Matthew Brecknell, Kry10","cleanTitle":"Dynamic seL4-based Systems: Designing for Verifiability - Matthew Brecknell, Kry10","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=hHihCvB1cJI","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/hHihCvB1cJI?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSXFWWTFYRlBPUElaMXoyQTlUcm1NQQ==","name":"The seL4 Microkernel","isVerified":false,"subscribersCount":0,"url":"/video/search?text=The+seL4+Microkernel","origUrl":"http://www.youtube.com/@seL4","a11yText":"The seL4 Microkernel. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1765,"text":"29:25","a11yText":"Süre 29 dakika 25 saniye","shortText":"29 dk."},"date":"24 oca 2024","modifyTime":1706054400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/hHihCvB1cJI?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=hHihCvB1cJI","reqid":"1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL","duration":1765},"parentClipId":"6737717318135553391","href":"/preview/6737717318135553391?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/6737717318135553391?parent-reqid=1774802147416390-9555168673098809269-balancer-l7leveler-kubr-yp-vla-24-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false,"commentsDisabled":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x906f9600bf4","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"9555168673098809269724","errorList":[],"isAdultAdv":false,"isImportantCommonAdv":false,"shouldShowAdvId":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"shouldValidateSandbox":false,"sandboxInitTimeout":15000,"isSSROnlyMastheadEnabled":true,"query":"The seL4 Microkernel","queryUriEscaped":"The%20seL4%20Microkernel","filterMode":1,"isUserChild":false,"advInstreamConfig":{"regular":{"default":{"category":"2","impId":"7","partnerId":"2216089","vmapScenarioId":"119"}},"adult":{"default":{"category":"3","impId":"4","partnerId":"1988486","vmapScenarioId":"119"}}}},"playbackQueue":{"currentIndex":0,"items":[]},"related":{"items":[],"pages":[],"loadingStatus":"None","nextPageNum":0,"ncrnd":0},"playlist":{"items":{}},"delayedViews":{"ids":[],"loadingStatus":"None"}}}