{"pages":{"search":{"query":"The seL4 Microkernel","originalQuery":"The seL4 Microkernel","serpid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","parentReqid":"","serpItems":[{"id":"5925784844217352613-0-0","type":"videoSnippet","props":{"videoId":"5925784844217352613"},"curPage":0},{"id":"1206368214396750516-0-1","type":"videoSnippet","props":{"videoId":"1206368214396750516"},"curPage":0},{"id":"17045115684125905154-0-2","type":"videoSnippet","props":{"videoId":"17045115684125905154"},"curPage":0},{"id":"3514661481754285469-0-3","type":"videoSnippet","props":{"videoId":"3514661481754285469"},"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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","ui":"desktop","yuid":"7454246371769502114"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"13003279312646117987-0-5","type":"videoSnippet","props":{"videoId":"13003279312646117987"},"curPage":0},{"id":"6800264055312804282-0-6","type":"videoSnippet","props":{"videoId":"6800264055312804282"},"curPage":0},{"id":"2582203770958415666-0-7","type":"videoSnippet","props":{"videoId":"2582203770958415666"},"curPage":0},{"id":"10198449747873028900-0-8","type":"videoSnippet","props":{"videoId":"10198449747873028900"},"curPage":0},{"id":"538409960412697713-0-9","type":"videoSnippet","props":{"videoId":"538409960412697713"},"curPage":0},{"id":"14715585470456758761-0-10","type":"videoSnippet","props":{"videoId":"14715585470456758761"},"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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","ui":"desktop","yuid":"7454246371769502114"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"11748893623556895316-0-12","type":"videoSnippet","props":{"videoId":"11748893623556895316"},"curPage":0},{"id":"16683293515169426854-0-13","type":"videoSnippet","props":{"videoId":"16683293515169426854"},"curPage":0},{"id":"18093209937119545774-0-14","type":"videoSnippet","props":{"videoId":"18093209937119545774"},"curPage":0},{"id":"2500085713178376000-0-15","type":"videoSnippet","props":{"videoId":"2500085713178376000"},"curPage":0},{"id":"1161533594110444855-0-16","type":"videoSnippet","props":{"videoId":"1161533594110444855"},"curPage":0},{"id":"14977711284088737927-0-17","type":"videoSnippet","props":{"videoId":"14977711284088737927"},"curPage":0},{"id":"12810108055640909185-0-18","type":"videoSnippet","props":{"videoId":"12810108055640909185"},"curPage":0},{"id":"12600099439135187515-0-19","type":"videoSnippet","props":{"videoId":"12600099439135187515"},"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,"isFeedbackModalVisible":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","ui":"desktop","yuid":"7454246371769502114"}}},"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"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"6881978263002759047304","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_viewer_heartbeat_disabled_in_no_js_api":1,"video_search_toggle_with_text":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","distr_splashscreen_on":1,"video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":1,"video_resource_loader":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"}}},"new_template_version":4,"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_no_islands":1,"video_viewer_channel_link_mode":2,"video_partner_label":1,"video_resource_loader_load_timeout":6000,"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_viewer_critical_error_codes":"101,102,103,100,151,152,153,154,155,156,150","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_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,"beauty_header_futuris_tab":9,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"distr_popup_on":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"video_viewer_doc2doc_instant_load":1,"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":1,"distr_pcode_off":1,"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},"slots":["1472324,0,79;1466867,0,33;1457615,0,23;82359,0,38;66286,0,1;124068,0,14;1424968,0,70;1450255,0,25;1460923,0,7;1460712,0,89;1462157,0,81;1460214,0,4;1152684,0,62;1472010,0,81;1472031,0,7;6161,0,48;1383554,0,53;1464523,0,98;1455766,0,75;1470250,0,32;1463533,0,91;1466296,0,96;1465947,0,64;1470858,0,0;1463530,0,39;1452015,0,15;1466618,0,75;1470513,0,47;133998,0,46;1472080,0,64;1471184,0,45;461653,0,15;1470320,0,12;1304309,0,20;284407,0,20;45956,0,49;151171,0,73;1281084,0,82;287509,0,74;1447467,0,62;1254304,0,59"],"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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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":"yfa7ae61538e1629b4ce11505806754b8","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1472324,1466867,1457615,82359,66286,124068,1424968,1450255,1460923,1460712,1462157,1460214,1152684,1472010,1472031,6161,1383554,1464523,1455766,1470250,1463533,1466296,1465947,1470858,1463530,1452015,1466618,1470513,133998,1472080,1471184,461653,1470320,1304309,284407,45956,151171,1281084,287509,1447467,1254304","queryText":"The seL4 Microkernel","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"7454246371769502114","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,378416,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,1227266,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,1459277,1459585,1461130,1472666,1466451,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1769502202","tz":"America/Louisville","to_iso":"2026-01-27T03:23:22-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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":"1472324,1466867,1457615,82359,66286,124068,1424968,1450255,1460923,1460712,1462157,1460214,1152684,1472010,1472031,6161,1383554,1464523,1455766,1470250,1463533,1466296,1465947,1470858,1463530,1452015,1466618,1470513,133998,1472080,1471184,461653,1470320,1304309,284407,45956,151171,1281084,287509,1447467,1254304","queryText":"The seL4 Microkernel","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"7454246371769502114","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":"6881978263002759047304","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":153,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"shouldShowVideoPlaylistPane":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"isFinalHeartbeatDisabledInNoJsApi":true,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsInD2d":false,"isDoc2DocInstantLoadEnabled":true,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isIslandsDisabled":true,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"criticalErrorCodes":["101","102","103","100","151","152","153","154","155","156","150"],"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":false,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"preventAdvHideOnEmpty":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"7454246371769502114","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1754.0__7d090cb2d4d9823803190509a95d03c049893005","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","snippet":"254","icon":"1167","abuse":"1436","submit":"297","wizard":"358","incut":"1073","extralinks":"3557","show":"487","feedback":"296","out":"3218","popup":"1544","scroll":"768","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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DgBIRDBekQP4","linkTemplate":"/video/preview/5925784844217352613?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoVChM1OTI1Nzg0ODQ0MjE3MzUyNjEzWhM1OTI1Nzg0ODQ0MjE3MzUyNjEzaogXEgEwGAAiRRoxAAoqaGhobHF3dXlwem1vbmRqY2hoVUNHZU1zS0ozaFV3SXpVdjZhRC1rUTZBEgIAEioQwg8PGg8_E4MUggQkAYAEKyqLARABGniB9vv7-_sFAO0DAgwHA_4ABwAA8Pj__wD07wD9-AL_APv9AP__AAAA-QQE-AcAAAAFDQj6-P4BAA4FC_wFAAAAAPIAAfkAAAAJBvcI_gEAAPb-AwQDAAAAAP8E-v8AAADuAw8C_wAAAP4PBQAAAAAA9fX7_wAAAAAgAC1ZkeI7OBNACUhOUAIqhAIQABrwAW8DEgK_CgP9H_7yAAcN9gGBBQv_Ifn8ANkJ7gDOAukAAAvoANriAAD1-R3_8xwJ_wfg__82DA0A7QgKADAZ-QAMERwAOwv-_zD18QD8_P__Agn9_xsJCv8L7hkAEAH1ACHuAv7uC-ABBRQRAgDwEP8NFhMAFQL9AQgGFAEU8QEACAAQ_iH3Bf_nHOkABhEMAO4J9AMKBAIB7f7oA_sX8gT5H_sCK_fw_BT8EwUF7Pv_8wEGABIzBgEX8fYCCAT5Afzr9QQDAPwIAPr9Ax71FQD76hEB9PUC_wkX7wD39_z-_wwI-OcCCgIABQkBAOj8-yAALW4nSDs4E0AJSGFQAirPBxAAGsAHVwcMv9qDWrwvvmi8Vdn3PBJV0zz4MCC9j52BPQNKPr2ntYS80hC8O-xcYj0DVIK8si_hvo6IczyCwNK6PSlzPpTA5rv1cg4951TSvYdDID2feKk8T3iRvmcVTD2p5ou6B5oPPlbehLxFeMU8WvTOPcLybD0_OOG6yVfCvOYMAD1C7gK98Mk7O6rQZb3SI3w8d4TDPRP7Orwyb5s7nIr0PavQGz1xMVC83kB8vZy_qjuXe7e8eraova7iw7spi-s7lMIcPuST37t6oxs9duMbPLV6drpW6I082Ww2PdwAojw2Etc7gaXEvGHLZj2RtEA8xS47Pcf3QL3QWOA8PhltvW8zUD2wY5I899a2Parw1DloVwQ7dEtGPTJyljxGXhY9q1WQvZEe0DzmqEg8ByZ3PVwNPzzN0im8VlqQPFVx_jwqkxa8z0XoPBrBRjxEjDK8AW-euyasjT1OuPk5PaPIvcMOo7ydD087fJ10vTbCDD2ifdc58RL8PcAonL2tKGu74eEHPdlF7LyRcRY88tjqvNdLiD3RrHA7GeaEPSitST2aOIM7SzpKPCAKprzya1o8maiUvMfzWT23jjs7SAjFvNoXFjxpGIS7vgpaPdcnyrxFB2o75gmfPW3gszxRnwk8KEIvPdafqzqATc67aagRvRiu8zx8HSE83MaVPE8BtLo4izQ7tGBYPc_56TzEL6s6vYTQumgLQ73GX4M7Yi9UPSmjwLy_dyO7zwSUPDR6j70nmQi6ZhW2PF5vcT0-krM5WeQSvfDvXb07WnO5tOt3Owj6VbyCZTs619B3PXEpvrp6X7Y47m-aPKMsMr2895u4snKevHklpLxZi0u5z4HlvdVoqDwWpig5TKWfOqaOn7xycHE3gDYIPUFutbwdA2K5bnHovMH7rz1T7ry4BLLwu0cdnbvbzvU3vOtsPPth37zzSZO4-EZ-PZkjUDzxINO4YWZpvDWtPj0A7om4F1YAvb-GG72Cgh-4Ri7TvPYBEj1oC_E4NWIhvTmmXTyE0MK3AmRIveQJyjtVCSK589r2vAj5yr1ah3u2pSXgPEGx-jxAO9O4VLIXvXO4Nr0okVi37h3aPBwZtbyflGy3rzoVPPl_ejxyRjw4MrIfPe4hAb00_Vy4AOGovEB3ODySGsk1KgQPvIwiVT2WUtw3dQI6PUn3Dj0C5Sg3CLzAO_4ra72RK5i3aVLKPBdLTL2SAFu4ITK2PDs54z0EGwY55yBDvQt0cj0FdZW4pLAmvVQG6bwgfh64R4i8OzWJBrr3wzw4IAA4E0AJSG1QASpzEAAaYDEAAPn1--UgOkXsvArnGAsE3QEN2D3_-vwA7wibEQ0wxYsMAgAgAwndpQAAANzTCSvjABd25NftFOFo67KY6gcAfxof9sq3-AIV4S_72unqEs8L8QAE5rIZZPLPHyjABCAALTYQGDs4E0AJSG9QAiqvBhAMGqAGAAAEQgAAwMEAALhBAADgQAAAAEEAAGDBAAAIQgAA4EAAAIjCAABwQQAAoEAAABDCAAC2wgAAKMIAADDBAACwwgAAYEEAAIBBAAAUwgAAUMEAAMjBAAAUwgAA8EEAAJBBAACAwAAAAMAAAIjBAAA8wgAAjEIAAIC_AAAQQQAA0EEAAIbCAACgwQAAQMIAAFDBAAAIQgAALEIAAJBBAACoQQAABEIAAIJCAADIQQAAYEEAABBBAAAUwgAABMIAAAAAAACoQgAAsEEAAIA_AAAcwgAABEIAAMDAAABgQgAAIEIAAKbCAADAwQAAYMIAAIDAAACgQQAAiMEAAATCAABAwgAABEIAAPBBAABUwgAAIMEAAIDBAABQwQAA6EEAAHRCAACgQAAA-EEAAIBCAAAAwwAANMIAAExCAADoQQAAlsIAAJrCAACoQQAAcEEAAIC_AAAgwQAAGMIAABBCAACYQQAAuEEAAAjCAADYwQAAmMEAABBBAABAwgAA8EEAAPjBAACAwAAA0EIAAJTCAABAwAAA2MEAAKDAAAA4QgAAHMIAAJbCAACoQQAAoMEAAEBAAACgQAAAXEIAADBCAAAIwgAAgD8AAADBAAA8QgAAsMEAAADBAADAQAAALMIAAOjBAABwQQAAIMIAAJDBAAA0wgAAhkIAAIBBAADQwQAAAEEAALjBAABEwgAAVEIAAEDAAACQQQAAwEAAAHDBAAA8QgAABEIAADBCAAD4wQAAmsIAAJBBAAD4wQAAuMEAAEBAAAC8QgAAiEEAAKDBAACAwAAALMIAAIjBAABEwgAASMIAAKBAAACAwgAAQMEAAADCAADowQAAAEAAAOBBAAAAQgAACMIAAEBCAADQwQAAGMIAANjBAADAwAAAlEIAAOBBAADiQgAAAMEAAL7CAABUQgAA-EEAAHBBAABAwQAA4MAAAOjBAAAowgAAiEEAAJxCAACoQQAAAEAAALDBAACQwQAAPEIAANjBAAAAwAAAbEIAAPjBAABAQgAAiMEAAETCAACIQQAA4EAAAEjCAABAQAAAAMEAADzCAACawgAAwsIgADgTQAlIdVABKo8CEAAagAIAAKg9AAAwvQAABD4AAKC8AAAUvgAADL4AAEC8AAANvwAAsr4AAEC8AADIPQAAMD0AAOg9AADgPAAANL4AACy-AAAUPgAAED0AAKg9AAC2PgAAfz8AADA9AADIvQAAqD0AAKg9AADgvAAAQDwAAMi9AADIvQAAQDwAADQ-AAAUPgAAiL0AAOA8AAB0PgAAZD4AACw-AABMvgAAXL4AAJa-AAAcvgAAqL0AAHC9AADYvQAArj4AABy-AACIPQAA2L0AADC9AABsvgAA4DwAAES-AABkPgAAUD0AALi9AABAvAAABT8AAOg9AACovQAA2D0AAKg9AAB0PgAAiD0AAKg9IAA4E0AJSHxQASqPAhABGoACAACovQAAND4AABw-AAAvvwAANL4AADC9AAAEPgAAMD0AAEA8AABEPgAAcL0AAJq-AAA8PgAAUL0AAIC7AACYvQAA4DwAAD8_AABUPgAAvj4AADA9AAAUvgAAFD4AABy-AACovQAAUL0AAMg9AADoPQAABD4AABw-AACgPAAAMD0AALi9AABwvQAAEL0AABS-AAA8PgAAqD0AAAS-AAAcPgAADD4AAIA7AACAuwAAmD0AABy-AABUPgAAf78AAOi9AABEvgAAnj4AAHA9AAC4PQAAmD0AAEw-AAAEPgAAmD0AAHC9AAC4PQAAoLwAAFC9AABMPgAAMD0AADC9AAAkviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=gBIRDBekQP4","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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,"videoContentId":"348656199"},"1206368214396750516":{"videoId":"1206368214396750516","docid":"34-8-12-Z869DB1F02A0A8A24","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/3681267/1f2171f04371ad6e5672ac78819571db/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/j53YpAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"1","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DSkT_6yuvkIU","linkTemplate":"/video/preview/1206368214396750516?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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=SkT_6yuvkIU\",\"src\":\"serp\",\"rvb\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoVChMxMjA2MzY4MjE0Mzk2NzUwNTE2WhMxMjA2MzY4MjE0Mzk2NzUwNTE2arUPEgEwGAAiRBoxAAoqaGhobHF3dXlwem1vbmRqY2hoVUNHZU1zS0ozaFV3SXpVdjZhRC1rUTZBEgIAEioPwg8PGg8_E3GCBCQBgAQrKosBEAEaeIH8CQD9-wUA8f38Df0F_gEQAwb6B___APv2Bf4GBP4A8vX_AQIAAAAA_Q_9CAAAAP7-_v_4_gAAAgkM_QQAAAAO-_z19gAAAA0L_AP-AQAA-wYHBwP_AAAM_QQA_wAAAPoFEQb-AAAA9vsK_wAAAAD98_oEAAAAACAALaML4Ts4E0AJSE5QAiqEAhAAGvABfwIDAtUAGP8GBPEA6wj3AJoAAf8w9ucA6P0QAJj3-P7aAiIA8PAMABH0DAHMHxQB5PYMAEYQEP_mBxYBLv0AAPMJGwAxAPkBBAECAfncCv_lCxT_FAvt_xPvCAAVChn_DvIFAQD_8QAR9vQCAPL3AgwY7AEPCRsDDPzyAuf9_QLu8voFCxbvAfb3DAAFEQwA7QLpAfz49QLxGv4DCQID_gwC_P779_oJH_cgAOv9Afzv_fn8HiL9AObz6gAHGhr79vkcAQAg8f_-BPAHDO72BBXuBgPuAAH_5gr-AAMI8PX7_wT27QLzAvYPFAUI8vwFIAAtpUBMOzgTQAlIYVACKnMQABpgFAAAHwAQ7dntYtvyEegSJeUQI-rKDf8D5P8DG7QK4PDbmCYcACPlMvOoAAAAFv_8OM0A6H_CyhD4CljynqrkNQ1-5ibPqPIo7-D79ezz9N8jBhgbABb9sz1R4fA1F9z7IAAti78aOzgTQAlIb1ACKq8GEAwaoAYAAMBAAACAvwAAoMAAAOBBAACAPwAA4EAAAAxCAACYQQAAiMIAAKBAAACAQQAAEEIAAJzCAAAAwgAAHEIAAKrCAADoQQAAuEEAAOBBAADgwAAANMIAAJBBAAAEwgAA2EEAAHRCAACIwQAAUMIAAILCAABMQgAA-EEAAODBAACMQgAAOMIAAITCAAD4wQAA2EEAAIBAAACOQgAAAMAAALhBAACoQQAApkIAAIDBAAAUQgAAiEIAAFDBAAAwwQAAAEEAAJpCAAAwQQAAEEEAABTCAAAkwgAAoEAAAKBAAADgQAAAhsIAAMDBAACAwAAAXEIAAGBBAAAEQgAAiMIAAFDCAADAQQAA0EEAAEBBAAAkwgAAqMEAACzCAABoQgAAFEIAAATCAAAQQgAAmEEAAKzCAAC4wgAAQEIAAMhBAABEwgAAwMEAAJhBAAAEQgAA-MEAAIC_AABwwQAA4MAAADxCAAB4QgAAkMEAADDBAACgQQAAqEEAACTCAAAAwgAAQMIAAJDBAACKQgAAIEEAAAzCAAAAQgAAAAAAAJZCAADQwQAAIMIAAOhBAADYwQAASEIAAOBBAAAEQgAAoEEAAABCAAAMwgAAIEEAAFRCAAAQQgAA4EEAAKBAAAAwwgAAfMIAAEDBAAD4wQAAyMEAAMDBAABYQgAABMIAAADAAACwwQAADMIAAHDCAABUQgAAJEIAANjBAACQwQAA4EAAAFDBAABQQgAAOEIAANzCAAAAwwAAwEAAAIC_AABkQgAAoEAAAFRCAAD4QQAAYEEAAEjCAAD4wQAAgD8AAGTCAADwwQAAkEEAALjBAACowQAAgD8AACzCAABEQgAA2MEAAKxCAAB0wgAAgEAAAPDBAACAQQAAGMIAAHBBAABcQgAAOMIAAKDAAACAQAAAQMEAAFhCAAAAwQAAAAAAAMDAAABIQgAAUEEAABzCAABQwQAAoEEAAEBAAAAUQgAAoMEAAFDBAABoQgAAYMIAAIDAAADsQgAAQMAAADBBAAAkwgAAUMIAAOjBAADwwQAAJMIAAFBBAABUwgAA-MEAAEDAAAAQwiAAOBNACUh1UAEqjwIQABqAAgAAcD0AAKC8AAB8PgAAcL0AACS-AACgvAAAij4AAAW_AAB8vgAAMD0AAOA8AAC4PQAAFD4AAJg9AACgvAAA4DwAAKg9AADYPQAALD4AAMY-AAB_PwAA2D0AAKC8AAD4PQAA6L0AAIC7AADIvQAA6L0AANi9AADoPQAAiD0AAOA8AAAcvgAAML0AAIY-AAAUPgAAyD0AAHC9AAAkvgAARL4AANi9AACAOwAAJL4AAPi9AACoPQAANL4AAMi9AACovQAAcD0AAIK-AAAMPgAAMD0AAIY-AAAMPgAA-L0AAKC8AAAdPwAAEL0AAKC8AADgPAAAgLsAAOA8AAC4PQAA4DwgADgTQAlIfFABKo8CEAEagAIAAIK-AABsPgAAcL0AAD2_AADYvQAAuL0AAMg9AABQvQAAoLwAAKg9AACgvAAAgr4AAAy-AAA8vgAA2L0AAIA7AADgvAAANT8AABA9AACGPgAAQLwAAAS-AABQPQAATL4AAAS-AAA8PgAAHL4AADA9AACgPAAAiD0AAMg9AADIPQAAmL0AAEA8AAAwPQAAHL4AABw-AACAOwAALL4AAJi9AABcPgAAoDwAANi9AABAPAAAnr4AAEw-AAB_vwAAbL4AAAy-AAAUPgAAbD4AAIA7AADYPQAALD4AAEQ-AABAPAAAML0AAOg9AABwvQAAUL0AAJg9AACovQAA2L0AAIi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=SkT_6yuvkIU","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["1206368214396750516"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3778219473"},"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":"2","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DoY5kRbBc1AQ","linkTemplate":"/video/preview/17045115684125905154?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxNzA0NTExNTY4NDEyNTkwNTE1NFoUMTcwNDUxMTU2ODQxMjU5MDUxNTRqtg8SATAYACJFGjEACipoaGt6YXdja3lqZWx5Z21kaGhVQ1JPeFFhdnJsNFZQem9ral9VQ3h6c2cSAgASKhDCDw8aDz8Tyx-CBCQBgAQrKosBEAEaeIH7C_4A_wEA6_v4APoAAQD2CATv-f38APTuAP33Av8A9fcD__cAAAAIBADwAwAAAAEIAf7x_gEAGPz5AAMAAAAQ-vUB9QAAAA4M_AP-AQAA9QYCAgMAAAD8DAINAAAAAPL_CAX7_wAA_wcF_QAAAAAICfsDAAAAACAALQhh1Ts4E0AJSE5QAiqEAhAAGvABYvsDAroWEf43_f8A5CHTAYHw-_8u-fYAuvj1AM8C6gD-EfcA0e0M_wUSHP_qCf7_A_rn_yv2-AAgAw4AJgoIABcKDQA56goBMQIQ_-sF7gAIDfQAJPkdAQruGAAKEvb-DQgEAOAG4wDvBfj_-PMXAQQSBwAc8wAB9QUJAQITCwLp6hL9Gg8QA9sNDf_9Af4GE_z6AP4X_AXg6AD_8AnvBBj1_wYR-gX9I_HzBurv-_joBQj4CQkJ-BMN-gb6FgD__OH_BAn0BPz6DwkAId4MAfv2F_b85gf7Awr2AvT1CPb19Ab1-hH7AAAFCQH8-vv0IAAtkPpOOzgTQAlIYVACKnMQABpgV_QALP774cUYRugBBewM9ADpAwXVHv8H3gAJFbvR2hu3rDE3_ybb_vqjAAAAOuj2JRIA2n_t7hD_whgLqsjiBhhhGB4cnwYjDsGz5AvQBwcEBQwcAA0FnPhFyrkrFfzWIAAtLKQdOzgTQAlIb1ACKq8GEAwaoAYAAHBBAAAQQgAAqEEAAIjBAABUQgAAskIAABRCAADAQQAAhMIAALhBAACgQQAArsIAAHjCAACgwQAA0EIAAATCAAAMQgAAiMIAANjBAABIwgAAQMAAACTCAABgwQAAMEIAADBBAACYwQAAAMAAAEDBAAD-QgAAEEEAAFjCAAAgQgAArsIAAJxCAACAwgAA2MEAABxCAADYQgAAQEEAAExCAAAQQQAAhEIAAChCAAAEQgAABMIAACDBAAAkQgAAAAAAAABBAACAwAAAhsIAAIjBAAD4QQAAwEAAAIpCAABcQgAA4sIAABjCAACYwQAAEEEAAGDBAAA8wgAAcMEAACjCAABMQgAAqMEAAMBBAAAgQQAAUMIAAODBAACwQQAAskIAABTCAACoQQAAWMIAACBBAADgwQAAEEEAADhCAAAIwgAAoMIAALBCAADgwAAAQEIAAIDAAADgwAAA2MEAABBBAAAIQgAAgEAAAMDAAACwQQAA4EAAAHzCAADgQAAAwMAAALjBAACQwQAAAEAAABjCAACAwAAAaEIAADRCAACYwQAAQMAAAJhBAABAwQAAHEIAAKDBAACgQQAAAEEAANjBAADAQAAAMMEAAKhBAADAQQAAXMIAALDBAAAswgAA2EEAAADAAAAAwgAALMIAAIzCAACgwAAAFEIAACTCAACAQQAAYMEAAETCAADAwAAAPMIAAKDBAADAQAAAIMEAANhBAABEQgAAVEIAAKBAAAD4wQAAdEIAALBBAADQQQAA0MEAAKBBAADgwAAA-MEAAMBBAADgwAAAsEEAABDBAACgwQAAPEIAANjBAADAwAAA6MEAADDCAADYwQAAIEEAAFBBAAAQQQAAIEIAAJDBAABAwAAAOMIAANjBAACgwAAAAMAAAGDBAABAQAAAOMIAAKhBAACowQAA2EEAAADAAACgwAAArEIAAADBAACgwAAAhkIAAEDCAABkwgAA0MEAABTCAAAMQgAAwEEAAKTCAAAwQgAANEIAALBBAAAAQQAAIMIAAKhBAABAwAAAqMEAANhBAACiwgAAZEIAAATCAAAAQSAAOBNACUh1UAEqjwIQABqAAgAAoDwAALg9AABUPgAA2D0AAOi9AAAcPgAAUL0AAOK-AABMvgAAiD0AAKi9AADgvAAALD4AAFw-AACovQAAyL0AAAQ-AACAOwAAqD0AAKI-AAB_PwAAFL4AAAQ-AABQPQAADL4AALg9AACgvAAA6L0AAOi9AACoPQAAiD0AAAQ-AAAMvgAAcD0AAGQ-AACAOwAAQDwAABy-AABsvgAARL4AAES-AAAwPQAAyL0AAES-AAC4PQAAML0AABw-AACovQAAqL0AAHy-AABAPAAAmL0AAJ4-AAD4PQAAuL0AABC9AAD2PgAAmL0AAJg9AABUPgAA6L0AAEA8AABQPQAAuD0gADgTQAlIfFABKo8CEAEagAIAAHC9AAAEPgAAED0AABO_AABQvQAAFD4AAOC8AAAUPgAANL4AAEQ-AAA0vgAAir4AAKC8AAB8vgAABD4AABC9AADgPAAASz8AABA9AACePgAAQLwAANi9AADgPAAAqL0AAEC8AAAwPQAA-L0AAIA7AAAQvQAAQDwAAKC8AACgPAAAmD0AAJi9AACYPQAAiL0AAMg9AAAEPgAAXL4AAEA8AACAuwAAiD0AAHA9AADovQAAmL0AAKg9AAB_vwAAqL0AANi9AABwvQAAmD0AADS-AADYPQAAmD0AABQ-AACAOwAAED0AAIA7AADIvQAAPD4AAIg9AADgPAAAQDwAAIC7IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=oY5kRbBc1AQ","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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,"videoContentId":"2669406609"},"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":"3","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DKVL9xMveNv4","linkTemplate":"/video/preview/3514661481754285469?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoVChMzNTE0NjYxNDgxNzU0Mjg1NDY5WhMzNTE0NjYxNDgxNzU0Mjg1NDY5aq8NEgEwGAAiRRoxAAoqaGh3bm92dnB1aHdleGRoZGhoVUM1TmQtNDJBMmcybGRJZnJkSGJ4NVFnEgIAEioQwg8PGg8_E9gtggQkAYAEKyqLARABGniB9QQA-PwFAPb5BgkNBvwBIfgF_AYCAwD2-_v9_gL_APv5CvoBAAAAAv0A-QIAAAAO-_4L9_8AAAMDBAL8AAAACAf_9_cAAAALDfAC_wAAAPn5_gYD_wAAE_cO_f8AAAD3Awv8AQAAAP4IAwsAAAAA-_oBAwAAAAAgAC0r5N47OBNACUhOUAIqcxAAGmAX_wAnGwUc5vYx_dvzxwfx-OcH6vAHAALgAPow4fb2JNnG-QcAG_sl5L4AAAAhAfcZ9gDoSsnr5ggYLvXv1-baAn8sC8cJAxEDCRIP5Pb8BAjDFgsA_-weDiv2yTcqASwgAC0hzFY7OBNACUhvUAIqrwYQDBqgBgAAgEEAACDBAAAsQgAALMIAAJRCAADoQQAAcEIAAIC_AAB0wgAAgEAAACxCAACQwQAAKMIAAIDBAACcQgAATMIAADzCAAAUwgAAwMEAAHjCAACeQgAAyMEAABxCAACGQgAA4EEAACjCAAA8wgAAusIAAMpCAACCQgAAEMEAAChCAACEwgAATEIAACBBAACOwgAAgMEAAOBCAACgwQAAYEEAABRCAACIQQAAgkIAAOhBAACgQQAAHMIAAIDBAADgwAAAjEIAACDBAAAkwgAAAEAAAIBBAADYQQAA8EEAAOjBAACKwgAAAEEAADjCAAAYQgAA2EEAADBBAACAwAAALMIAAKpCAAAAwAAAREIAAPjBAABEwgAACMIAADhCAACSQgAAAMIAADRCAAAMQgAALMIAAOhBAADAQAAAsEEAAPDBAAAswgAADMIAABBCAADQQQAAIMEAAIjBAABAQQAAKEIAAIpCAACAPwAAoEEAAIA_AABgQQAAjsIAAIDBAACowgAAAEEAAIhBAABIQgAA8MEAAKDBAADwQQAAgkIAAHjCAACuwgAAgMAAAGDBAACYQgAAyMEAADBCAABsQgAA2MEAAFjCAACgwQAAOEIAAFhCAAAQwQAAOMIAACTCAAAAQQAACEIAAEDBAABgwgAAAMEAAGBBAADAQAAAQMEAAFBBAAAAwgAAqEEAAODAAAAQwQAAEMIAANhBAAC4QQAAUMEAAPhBAADIQQAADMIAAKrCAACAQAAAoEAAADBCAACYwQAATEIAADDCAACIwgAACEIAAPjBAADYQQAAoEEAABBBAAAQQgAAmMEAAADAAACQQQAARMIAABTCAACgwAAAJEIAAMDBAACIQgAAJMIAALjBAACIQQAA4MEAAAAAAACMQgAAHEIAAAhCAACOwgAAHEIAABDBAADgwAAA4MAAAJjBAACgQAAAQEEAAABCAABEQgAAwMAAALjBAAAAwgAAoEEAAIA_AABAwAAAjsIAACRCAAAgwgAAcMEAABTCAAAwwgAAVEIAANDBAAAAwQAAyMEAAMDBAACAPwAAisIAAMjBIAA4E0AJSHVQASqPAhAAGoACAACIvQAA4DwAAFQ-AABAvAAAZL4AAMg9AABwvQAAzr4AAAy-AACAOwAA2D0AAEC8AAD4PQAAJD4AABS-AACgvAAAMD0AAIC7AAAsPgAAjj4AAH8_AABwvQAAiD0AAFw-AACovQAA4LwAALi9AABwvQAAqD0AAPg9AACIPQAAML0AABC9AAAwPQAA-D0AALg9AADgPAAAZL4AAIq-AAAUvgAAbL4AAPi9AACgvAAA2L0AAKC8AAB8vgAAPD4AADy-AAAwvQAAVL4AAEA8AADgPAAAlj4AAJg9AABEvgAAQLwAAPY-AAB0PgAAcD0AAIg9AACYvQAAFD4AALg9AADYvSAAOBNACUh8UAEqjwIQARqAAgAAhr4AAFA9AACovQAAK78AAEy-AABAvAAAXD4AAHA9AADovQAAHD4AAHC9AACSvgAAUL0AABS-AACovQAA4LwAAOg9AAANPwAAyL0AAII-AABAPAAAoDwAAMi9AADovQAAQDwAANg9AABAPAAAgLsAADA9AACoPQAAMD0AAHA9AAAcvgAAHL4AAJi9AAAwvQAAuD0AANg9AAAsvgAAED0AAMg9AABQvQAAmD0AAIg9AAAMvgAAiD0AAH-_AADgPAAARL4AAPg9AABUPgAAUL0AAAQ-AACYPQAA-D0AAIC7AACAuwAAdD4AALi9AAAwvQAAED0AALi9AAAwPQAAgDsgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=KVL9xMveNv4","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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},"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":"5","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DRdoaFc5-1Rk","linkTemplate":"/video/preview/13003279312646117987?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxMzAwMzI3OTMxMjY0NjExNzk4N1oUMTMwMDMyNzkzMTI2NDYxMTc5ODdqhxcSATAYACJEGjAACiloaG9lb2puZHFuamFob2VoaFVDUHlBMFhtVTZhUzRKQ3dWb0lCVG1JURICABEqEMIPDxoPPxPoD4IEJAGABCsqiwEQARp4gfL8__X-AgDv-_sKCwT9AAIOBvT3__8A7vAE_AcAAAD_Agb5_wEAAO0IB_gFAAAAAwH5BfL-AQAGBP0BBAAAABDuCPf7AAAACAf_Av4BAAD2BAIJ9wIAARD7-AUAAAAA9P4EAQEAAAD5EP0HAAAAAPMA-PwA_wAAIAAtHT3WOzgTQAlITlACKoQCEAAa8AF_CAgBog7o_SHs3QE3KeIAkwTzADcUxgCq-hwBuPbHABUaAgG97uf_BALtANz8HgDO_u8AHBTxABwKFAAmIisAIgHuACK2HQBPFhAB8Q0C_t4kEv8I_jwA5vwS_wv2wAAf8BP8KQbY_gbt5AAP_j4BFB8HASMFDgkCP_cE7QT6AuP22P0h5QkG1grwAsP3BwUL_dYANCfq__37-gcQCA0IBPPtAQPmCv5h8PgC8vcN9vEiIwYYAvMBC_YMAuwB-__24v_-Je8I8zgnEQcs6gcGEN8eAucBAv_sEPUCHvQG7vn-BfLADPkG-yD0_wzs-gcgAC2NuxM7OBNACUhhUAIqzwcQABrABy_9674KYgU93dT-O--M1j16CDk9iskbvTy1xDyuJjS90xRBvT7Q6j2ZzvM8nYdRu_jBgb5_6Pi8RGlPPcZrpj7IqlI86ZctvGLZLL5yAqo7w2QKvfXxcL7__oC6HKZMPZOr2D00l8U9qOs_vODZfj1ScU29zTdHvHxi_T33fpm8V4uZvKz6AT2om6W9ZUH6O61_4Tyzxb-8xE8tvNNO7T11QA29nWkdvTLk-L2k6s086-vvPGtumjtJ-GO675EJPLWMJD4_vum8ZGuHPEfiijz4J6e8LUPaO9m7yj2cY4q8SNSVvPGwmr1QFRW7xSLAujg33Dwyn_08At7dvF6jwLwNYpE9jtOrPORm-D1mTOE9GCPUOwNzWb0N5po9L2MvvKtVkL2RHtA85qhIPAcmdz1cDT88zdIpvNSF8zy60lc8M4lBuvaFxrzGLSy7ukZwPHBzTztndoI9SJK7vFOdRLyGeCA7UYCNPN0KMb4sL7e7xJ1iu7NWfjzOOC29UcywPFsouT1_9iO9vJAzvBAj5D2AJJE8K9sounsHy7sbupu7xJGsvNdcpLyV5ws9Tcg9vKnOFbypbzS9CWSAvArbz7wqcBW8T3zSu7idrLy0HA29l1MnPN0rvj2_CjU9MubPOyhCLz3Wn6s6gE3Oux_9Jb0DtOu7PVfCOyRztr26F_e7HIJMOrRgWD3P-ek8xC-rOo0jezxV7zq8sJFBO1JfGz1ZYYS8bXlYOY1BCjxAdSC8RGgpO4cWjbnpYhM-jiFaufV-iD0z3wG9QHxsOajDSj1mZ9G8BLf1uMb52z3iScE8zFqluZRhAb1YuLy75QPDOQXT-rv4ToG9CfmRubrShz3LuM68z3sROcp_Uj3DvIe9tt4DuSL4hL1Td6W8Reh4OnDpXb0X5Hy7J0UOtjRIA7ypkvc8XWNwuMbcFT3HG489M2gQt_jA87whLWQ9UJy7OLwvnbyLgZ890q5sN3AKK71xOZ68yz6FuGJDnDzDHYk9WLChOWL1xzy1K9-7LfkPt6wTYTwChO89qBqeNrBCkL1MAJm9IWVjuLRaYD1EGB-9dJJtOD2HaLzzrEU7ab2_OMVCKL0_YDS9atiVNooi5D3eVc-8m3ZUN70doby5VQC-u-YtuK4GjbwO7168T52RN7hdk73Pq5C92nVEuP0naT1Nrli9hEKENyL8i7yIH9K81G1IuD1zkD3Ir2S9JLIEN2pPGT6pbpk9CAIyt7z3ob2RzqU8_6iiuDV6Fb0rYTc8LrIPNzFo1zyZTIC9WeUKtiAAOBNACUhtUAEqcxAAGmAy_AAX2zgD4ihE-MbZGBAEHAQgAsAc_-rPAMpE2xkIJZuqD_7_M_wl6psAAAAt__c20ADSf9_gCxqfEd3bnuHdFnrlEvyp4C0F_O3-CuQWKRzwODIAzQGxBF_fy_4qzxggAC2PsRQ7OBNACUhvUAIqrwYQDBqgBgAAFEIAAIjBAAD-QgAAgMAAAMBAAAD4wQAAgkIAAKBBAACmwgAAoMAAAEBAAADAQQAAFMIAAFDBAADgQQAAqMEAADRCAADOwgAAwMAAAIjBAABwQgAAoMAAACBBAAC6QgAAgMEAANhBAACowQAAyMIAAFhCAABcQgAAAEEAAKpCAADgwQAAwMEAAABAAADQwQAAAMAAAJ5CAAA8QgAAoMEAAKDBAAAowgAAQEEAAOBBAACYQQAAyMEAACDCAABAwQAAUEEAANBBAACmwgAACEIAAKDBAABQQQAAgkIAAABBAABAwgAAAMEAAAxCAAAMQgAAKEIAAEDAAADwwQAAMMEAAIJCAADowQAA-EEAAADCAABAwAAAYMEAAFxCAACuQgAAAMAAAERCAAAgwgAA3sIAADDCAACQwQAAEMEAAKzCAACywgAAkEIAACTCAAAAQgAAYMEAAADAAABwwQAAUEIAAGBBAACgwAAA4MEAAIA_AAB0wgAAaMIAAAjCAACCwgAAQMAAABxCAABkQgAArsIAAFDBAACYQQAAFEIAAJBBAAAYwgAAgEEAANDBAAAMQgAAuMEAACxCAACAPwAAYMIAAIjBAAC4wQAAyMEAAGhCAAAAQQAAwMAAAOBAAAC4wQAAXEIAAKjBAAAEwgAACMIAACBCAAAQQQAAoEAAAODBAADwQQAAPMIAAHDBAAA8wgAA-MEAABzCAAAQQgAAyEEAAFxCAACAwgAAUMEAAGzCAACAPwAAwMAAAIjBAACwQQAAIEEAABjCAAAkwgAAAEEAAIDAAADowQAAgL8AAIDAAACAQAAAeMIAAMDAAABIQgAArMIAALDBAACYQQAAgkIAAKjBAAAUQgAA2MEAAGDBAAC4wQAAgD8AAOhBAAA4QgAAXEIAALjBAABIwgAAkEEAAMhBAABQwQAAgMEAAKDAAACgwAAAqsIAAADAAADAQQAACMIAAIC_AAAAAAAACMIAABhCAABgwQAAjsIAADBBAADgwQAAgD8AAGzCAABAwQAAcEEAAPBBAAAAAAAAgMEAAFDBAABEwgAA-MEAAKBBIAA4E0AJSHVQASqPAhAAGoACAABQPQAAcL0AAEA8AACovQAAJL4AAAS-AAC4vQAA3r4AAJK-AACoPQAAuD0AAFQ-AADoPQAAPD4AAFS-AACOvgAADD4AAFA9AAAcPgAAmj4AAH8_AADgPAAAND4AAKg9AACIPQAA6D0AAKg9AAC4vQAALL4AANg9AAAMPgAA4DwAAMi9AACovQAAJD4AANg9AAA8PgAALL4AAK6-AACmvgAABL4AANi9AACIvQAAML0AANg9AABkvgAA-D0AADy-AABQPQAADL4AAAS-AADIvQAAqj4AALg9AAD4vQAAQDwAAPI-AAC4PQAAqD0AAFC9AAAMvgAAUD0AANg9AACKviAAOBNACUh8UAEqjwIQARqAAgAALL4AAFA9AAAQPQAAOb8AAJi9AACIvQAAHD4AAMi9AADovQAAdD4AAKg9AACKvgAAUL0AAGS-AABAPAAAoLwAABQ-AAAfPwAAgj4AAKo-AACYPQAAmD0AAIA7AADovQAAQLwAACQ-AACovQAAQDwAAOC8AAAEPgAAED0AAIg9AADgPAAAuL0AAHA9AAAEvgAAFD4AAFA9AABkvgAAED0AAAQ-AAAUPgAAQDwAAEA8AAAkvgAAJD4AAH-_AAAMvgAA-L0AAIg9AAD4PQAAcL0AAAQ-AACYPQAAuD0AAOA8AABAvAAAEL0AAJi9AACovQAAcD0AABC9AAC4vQAAqD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=RdoaFc5-1Rk","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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,"videoContentId":"3546410118"},"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":"6","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DnQUJYDBHJMw","linkTemplate":"/video/preview/6800264055312804282?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoVChM2ODAwMjY0MDU1MzEyODA0MjgyWhM2ODAwMjY0MDU1MzEyODA0MjgyarYPEgEwGAAiRRoxAAoqaGhjZ2hrdnB2aXl3a2piYmhoVUNpM0tmNWVPTkl3VjZRZ05IaVlxVnpnEgIAEioQwg8PGg8_E4QpggQkAYAEKyqLARABGniB6vj8-wL-APT-Cw0CB_wBJPgF_AYCAwD37g8D_wT-APwD_wX_AQAA-gL67wEAAAAHBgMF-f0BABUD-wYEAAAAIP3y-vwAAAAHCgIK_gEAAOQK-wkDAAAABgAJ_wAAAAACEBIF_wAAAP0K_wMAAAAABgYDCv8AAAAgAC2OTss7OBNACUhOUAIqhAIQABrwAX8DCwK6BNn-ABMAAP4d9gGWHAn_8yX3AfMIDQG7D9X_8wbUANvuCwBD-BT_Aw37_wAaI_8_EgEA7eAV__wZFQAIDPkAMfH8ABz8BgEXIeb-HBz1_9MCCwD8Fxr_8hP8_foQIf7f6dcAEgcAAer5HQIBCPQBA_f-BAwfAgLjGBEABPb_BBPk9fzmHegAE_oUAxjV_v7xAvMEE-zV_wbj-voM--r-_t4EAxvT9AIE_fz-5wwV_hwMFQEJ6fn1A_3w_Ont_gP2A_4DDv0N_fYPEP4LCRP-1ewAAQML9QId-gUA7AYFAQYMEAT8Gfb_6_cB9SAALZpbPDs4E0AJSGFQAipzEAAaYBbxAA3q-sjT_l7f2hopBcr0Fxf-rBL_6PkAvv27EAZDsqPqDAAsxe0YoQAAABoO50vVAN5_59D7IPVJOaDA5x7jYx0Brs7sEPLu5_b_9AEh9gg-4wDC49D3RP-nVO31AyAALdIXFjs4E0AJSG9QAiqvBhAMGqAGAAA0QgAAoEAAALRCAACQwQAAAEIAAABCAADAQgAAcEEAAHjCAADAQQAAwEAAAITCAAAcwgAAUMEAAMhBAACGwgAAgEAAAIzCAACQQQAA2MEAAJhBAADYwQAA0MEAAIJCAAAQwQAAcEEAAAzCAAB4wgAA0EEAAJhBAAAgwQAAvkIAABDCAACAwQAAXMIAACjCAAAEQgAAqEIAABBCAABEQgAAIEEAADRCAACOQgAAAAAAAEDBAABQwgAAHMIAANBBAABUQgAA0EEAACjCAADAwAAAMMEAAERCAABoQgAAmEEAALDCAAC4QQAAAEAAAABCAABoQgAA0EEAALjBAAAowgAAgkIAAIBBAABcwgAAxMIAABxCAABQwgAA4EAAAKJCAACAwAAAcEEAAIDBAAD4wQAAcMIAAIDAAADoQQAA-MEAAM7CAACmQgAAYMEAAJ5CAAC4wQAA4MEAADDBAACcQgAAIEIAALjBAAAQQQAAZEIAAMBBAACAPwAAkEEAACjCAAAAwgAAUMEAAP5CAABAwgAAIEEAAIjBAACIQgAAGMIAAEBAAACAvwAAgMEAAIBBAABAwQAAgEIAAFhCAACgQAAAuMEAAGhCAADQwQAAUEEAABBBAABAQAAAgsIAAIBAAADoQQAAEMIAAIA_AAAgwgAAgMAAAMBBAACAvwAAuEEAAEDAAAAwQQAAQMEAAIBBAACGwgAA4MEAAGDBAADwwQAAREIAAIBAAACAQAAAUMIAABTCAADoQQAAMEIAAADBAAB0QgAACMIAALDBAACAQAAAIMEAAABAAAAkwgAAgEEAAOBAAAD4wQAAYEEAABjCAACAwQAAoMAAAATCAADYQQAAIMIAAEBCAACYwQAAZMIAAIzCAADAwAAA6EEAAIJCAAC4QQAAqMEAACBBAAB4QgAAoEEAAADBAACAQAAAAMEAADDBAADAwQAAyEEAAHBBAAAowgAAMMIAAEBAAAAQQQAAcEEAAJjBAABEwgAAmMEAAMjBAABwQgAAbMIAAGDCAAAsQgAA6MEAAIBAAABgwQAA6MEAAEDBAAAowgAAcEIgADgTQAlIdVABKo8CEAAagAIAAEC8AAAEvgAAMD0AADC9AACAuwAAqL0AALg9AAADvwAAHL4AABA9AADIPQAAED0AAMg9AABQPQAANL4AAMi9AADIPQAA4DwAAGw-AADePgAAfz8AALg9AAAQPQAAmD0AAFw-AAAwvQAAiL0AABC9AACYvQAA-D0AANg9AADYPQAAPL4AADy-AACoPQAARD4AAGw-AAAkvgAA0r4AAI6-AAB8vgAAgLsAANi9AACAuwAAbD4AAIK-AADYPQAARL4AAHC9AAB8vgAA-L0AABy-AACyPgAADD4AAAy-AABAPAAA7j4AADC9AAAwPQAAED0AAFC9AAAsPgAAoLwAADC9IAA4E0AJSHxQASqPAhABGoACAACIPQAAfD4AAIC7AAAbvwAAbL4AADC9AACoPQAAgDsAANi9AACqPgAAED0AAEy-AAAcPgAATL4AANi9AACAuwAAmD0AADk_AABsPgAAvj4AAOg9AADgvAAAuD0AAFS-AADIvQAAgDsAAKC8AAAwPQAAiL0AABQ-AABAPAAA4LwAABA9AAAEvgAAyL0AACS-AAAcvgAA4LwAAOi9AACIPQAAJD4AAOg9AACAOwAAiL0AAOi9AABsPgAAf78AAEy-AADovQAAMD0AAEQ-AAAMPgAAQDwAAAw-AAAkPgAAED0AAKi9AABQPQAAHL4AAHC9AABAPAAAMD0AAKC8AABcviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=nQUJYDBHJMw","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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},"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":"7","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dw83WT-3dgw4","linkTemplate":"/video/preview/2582203770958415666?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoVChMyNTgyMjAzNzcwOTU4NDE1NjY2WhMyNTgyMjAzNzcwOTU4NDE1NjY2aogXEgEwGAAiRRoxAAoqaGhjZ2hrdnB2aXl3a2piYmhoVUNpM0tmNWVPTkl3VjZRZ05IaVlxVnpnEgIAEioQwg8PGg8_E-YnggQkAYAEKyqLARABGniB8vz_9f4CAPj38w4HB_wBEAkL9PYBAQD49AHyAwP_APH69fr_AAAA-_gF8QYAAAAGDgj6-P4BABIGBAUEAAAADfn4_P4AAAAOA_j-_gEAAPYEAgn3AgABDf0EAP8AAAD3DBH7_wAAAP4PBQAAAAAA-fECBgAAAAAgAC0dPdY7OBNACUhOUAIqhAIQABrwAVHyD_-GBP34S-oIAEQp_v-BBQv_MQb7ANQNGgHZ__EBGRb3Adru-QAEAwUA_A0M_w_rBQAOBfb_-fIO_y4BEQAjAQcAG-MIACkMEQL_CgD_4wj6APoQFQEEDgz-ByHyABEADv8A__AA6BQEA_QDEwEpGPkAEdL5APMYE_sCFAsC-ST8_w0PD___9fD_0O4NAP396wUdAOwCGP39AgAQ-vsZ9P8GHRT4_Bn-8vsX_Pj68wEGABALCAMo9vAG9gHs-vzr9QQV7QH9BQsAByrwDP0K8Q788_8KDQMK9gL_7wb26BEAAgHp8gYCDvEDCfH8BSAALW4nSDs4E0AJSGFQAirPBxAAGsAHxecCvwwNurw7uwa9qFIDPv1K6zvk1sk7KnEtPm4rg7tmm0C8zNJOPejoJzyT5X-8_Iy7vlpTD7zG6sW7nUaCPn8WS7y-Esi8YtksvnICqjvDZAq99aGDvjx38TsuxZc7oJ8OPc_5mT0uBuo8snWaPaXL0bwt6AG85MPHPMPyILqDmuu8GBwqvb5Oir0GDgu8G3-HPNc3m72uqWK74ZcKPnGolL26q2y7UUzeu_Y5yDwp3Dy8EKtkvEP5p7w1zeC64zVPPnna67yDXcM8Ht9ePS3x2zzRckU8k1GlPMFHjjxb7ze805klvRc5ejxbqEa856cYPYB3vLyVf6286jeIPRiTfj2AWIC75Ib_PTl29TyMb548LnC5vATGij1fRjG6OR69vHjvqDzyYvy8ByZ3PVwNPzzN0im8RBTTPEfSiTxfFsk8PfG8vWREfbwKavi6E__GPfRcVT1GvMw7QScpvVn2yTy1HIM8JwetvRdWYLz0-3682ChwPcXuob01yfY71OICPVuNtryYkAe8-gEZPbNWOb3l-WO70omEO_dGA726gU06mP2VvOkpsrytemm7ahDJO0yTrTxzyLw55xYfvY1Hqbz5A7O62mTePPzqPjpExCg8QzSfvAoDAD0JFSC7g2n4PSH2uDySX9c5qVUPvXsUrry-B3k6o2iUPEWupbyWk7O7OpyfPdo6uDxcfEA7zJ9rOyrxSrw6joK7nTQIPaOxNj3UieQ3WgpNPU1XkTkmbGG4xxwava_-qT38qge62C7tPOfqPb1TdSa5HHoLPeLGEjxNLyi6Xcp0PYTgJzxqSE253_i_vEi0LrxDFw82-v0MvT9LYb2_V5O5seutPQLeXbzuQgI5_0WLPdaLgb16NK-5gDYIPUFutbwdA2K5k5uyvOemDT2xIue4s6hZvfrYeD09b_24ZoeoPZp93jyQT323MmTrPNXVGbuZN8u4iRJovb5zHj0WWVk4exLYvM8Gar3xp6E47YMsPN5kqj1e6b242fXBvOVkYr2iyGq4celzvHKmy7saBv43laM7vUWbA74N2jM3-BUQPFHj1LxfXqo4fn-UPHf6HjzeVT45ZXOwvMs8A7xNimK4yEpnPdwnrDyzofg1SUMyPEbpt72kLmA32-GKPafEPzzRKxE5jJ6bvcl9oTykdbm3c_lqPFX4o73jEDs3XIifvGhtRL0FDMI35NWevHqJ8b1lVTC4o7m0Pch9iz2A8YM4rARGvRElMD0PcrO4TJ4cvRbKurok3si3KDWqvDPcIL0Vkkw2IAA4E0AJSG1QASpzEAAaYDwDAPDxJez4KSP11vL8Cg4E1hASzjT_6vwA-BKi9RIp_pzz-v8X4gP6rgAAAPTp4yX7AN5l1un9B-Qq_bjB9vv8f0ghDMG2CPII7xb96_YYAO8P5gDnCLkFc9nMKCnp-yAALR60LTs4E0AJSG9QAiqvBhAMGqAGAAAgQgAAsEEAAFRCAAAAQQAAuMEAAKjBAADuQgAAKEIAAJTCAACowQAAbEIAAKDAAABYwgAAwMEAALhBAAAAwgAAHEIAAILCAACgQAAA0EEAAGBCAAAIwgAAwMAAAIBBAAA4wgAADEIAAEDBAACYwgAAYEEAAJhBAADoQQAAjkIAACTCAABgwQAAAMEAADzCAADgQQAAXEIAAOBBAADgQQAARMIAAIDAAACuQgAAUMEAAPhBAAAYwgAAVMIAAATCAAAQQgAAyEEAAJ7CAAAAQgAA-MEAABBCAACmQgAAIEEAAMTCAACwwQAAsMEAAKxCAACYQQAAgkIAADzCAAAMwgAAGEIAAIBAAAAowgAAyMIAAMBBAACOwgAAAAAAALBBAACgQAAAwEEAACjCAABwwQAAEMIAABBBAABQwQAAZMIAAGjCAACCQgAAFMIAAHRCAADAwAAAgMEAACDBAACOQgAAuEEAAFDBAADAwQAA0EEAAABCAABAwQAAgEEAAJTCAAAAwgAA-MEAALhCAACswgAAiEEAABDBAAA8QgAA2EEAAJDBAABAwQAAqMEAAGDBAABQQQAA4EEAAEBBAAAkwgAA4MAAAEBCAACgwQAA-EEAANjBAAAIQgAAgMEAAKBAAAAAQgAAhMIAAATCAABQwgAAQMAAAAAAAACQwQAAhEIAAMDAAAAMwgAAiMEAAOjBAAAQQQAAAEIAAFhCAAAEwgAAQEAAADTCAAAMwgAAAMEAAFBBAADAQAAAiMIAAIBAAAAAwAAAAMIAACRCAADAwQAAFEIAABDBAACgwQAAMEEAAIhBAABEQgAAuEEAAHjCAACAvwAAQMIAALjBAACgQQAAiEEAALhBAABgwQAAgMIAADDBAAAAQAAAAEIAALJCAABAQQAAhMIAAHDBAACoQgAA-MEAAMDBAACQwQAA6EEAAMDAAAAcwgAAoEEAACBBAABUwgAAAEIAAIBBAAAgwQAAbEIAAAxCAAA4wgAAoMAAABxCAABwQQAAQMEAAJbCAACoQQAA4MAAAEBAAADAQQAACMIAACDCAAAwwgAABEIgADgTQAlIdVABKo8CEAAagAIAALi9AAAUvgAA2D0AAEC8AAAcvgAAML0AABC9AAAPvwAAor4AAIC7AADoPQAAoDwAAKA8AAAQPQAAJL4AAHC9AABQPQAAoDwAABw-AAC-PgAAfz8AAEC8AACgvAAAoDwAABA9AACoPQAAyL0AAKA8AAAUvgAAEL0AADQ-AABwvQAAPL4AAEA8AACiPgAAMD0AAMg9AAB0vgAAVL4AAEy-AACAOwAAFL4AAFS-AAD4vQAALD4AAKa-AADIPQAATL4AAOC8AACOvgAA6L0AAJi9AABUPgAAMD0AAKC8AAAQPQAA4j4AAKg9AAAwPQAA2D0AAIA7AABcPgAA4DwAAFC9IAA4E0AJSHxQASqPAhABGoACAADovQAAND4AABA9AAATvwAAoLwAALi9AABQPQAA2L0AAMi9AACmPgAAgDsAABS-AADIPQAADL4AAKA8AAAQvQAAED0AAEc_AABkPgAAsj4AAIA7AACgPAAA6D0AAAy-AADIvQAAmL0AAEA8AABwPQAAoDwAAKg9AABQPQAAmD0AAIA7AACAuwAA2D0AABS-AAAUPgAAyD0AAFS-AACgvAAAFD4AAAw-AAAMvgAAiL0AAKi9AAAsPgAAf78AAAy-AABQPQAAoDwAAGQ-AAAwvQAAgDsAABw-AABkPgAAUD0AAEA8AADgvAAAmL0AADA9AAAwPQAAQDwAAHC9AAAcviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=w83WT-3dgw4","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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,"videoContentId":"3422951551"},"10198449747873028900":{"videoId":"10198449747873028900","docid":"34-5-10-Z40830E4290A974A4","description":"This is seL4 microkernel running SOS (Simple Operating System) as an application on top of RISC-V RV64/SV39 mode Rocket Chip on Zc706 FPGA board. [1] http://heshamelmatary.blogspot.co.uk/...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3937972/ca7155683b9dcfd58b8722aa72765946/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/c4QnJwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"8","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DzcXwENo-auk","linkTemplate":"/video/preview/10198449747873028900?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"seL4 microkernel runs on RISC-V/FPGA","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=zcXwENo-auk\",\"src\":\"serp\",\"rvb\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxMDE5ODQ0OTc0Nzg3MzAyODkwMFoUMTAxOTg0NDk3NDc4NzMwMjg5MDBqhxcSATAYACJEGjEACipoaHhlcGVsbXJjbWJjcHJkaGhVQ2s2SzZ0dFJCZkh3RFlFdTdmalQ1d0ESAgASKg_CDw8aDz8TLYIEJAGABCsqiwEQARp4gfcF9_z-AgDx_fwN_QX-ARAJC_T2AQEA-PQB8gMD_wD3-QD3AQAAAPQCB_H-AAAA-Qf68_b-AQAXAAP-BQAAAAzx_f_6AAAAAgv3Bv4BAAD__Pv_A_8AAAP0AP__AAAA9QcIA___AAD-FBABAAAAAAPwAAUAAQAAIAAtWiDYOzgTQAlITlACKoQCEAAa8AE_BS780wkCAOwYCADpG_oBgeH9_0gv_wDv9g4A5vMPANX46ADJ_RABlvUFBLL-6AHc0MABIzMkABD38f8K-gQAIQIBAOcRCQEvyfv__Sn6_kUnB_4R0QcAEer8AMLrxv8O4_r8DBAJALP67AIJ_BEF9dD2BD34CgMQ_wgBHDQN_v_MEQDfGwMI_Nbu_BLpDgAa-vcA8A4U_-0S3v0PFgcF7fwnASgL-wMkCwcNMgUQ_Or79_sO8f376iEb_gkjIvnEAxD9CCv8-ero_P36CN8F8xMG--jeBRAN7QEIAQz-7__0E_frJQnw4fESCRAsAREgAC0UBRs7OBNACUhhUAIqzwcQABrAB4kJ8r7vro68PRbRvEtbrL2KxGk938U7PTyLOb1yGwg9x4EeOsgRoTs6EaM9DlIrPfyMu75aUw-8xurFu8u4rj1hIem8cElpPAanGbx98LW86Li_vEePD75tpJE8aDjKPE_Lz73qi8q7DifZO8O55j0gk6E95eervNtvSL00t-c8RfuzPFsLbj2EDe-99zjqOb3jJD4ftIO8ZB79O-YDQj72PU-9RwEBu4DeCj3Umf-7hNRtO_IowL2vrcQ8hXMRO-iDBb3x0FW5sHxMvJKFuTz9Z629OX6ou2oarz3Ia5Q8EF2QPNLFpjx4Oyc9tmo2u_rnTj2GPW08wMy3vHf1Cr6gny49XPlRvIRL5z1RNkC8eU1ZvO-SWL2TyQ05CCp8u9e2kj1sVHE9soGVO898oz24MlI9p9BUPDRT9bwPtCc8RTQTPOy_nj25dZI8GuFIPHrenT3F7Ss88EsCPf9Bf7zQA4S8MoxgvEloC745Cxs9P94OPFAIEz1VYy48xhaCO1X9BT2MmoS9nvshvCdYkDpuPbk9JPAHPLjN1D3CUc082ekJPAWTUbxCPoi9LXVzOzf8nr0ENJm7G1YnPEuR_L2Ky7E9fO2UOcM-mz0TjzW9JSQSPJfiKr3L3Q66QNTku0d7dz2leaG9ipz0u2SHwrx4RMW8-zUfPEq5Nj3Neoy9k3GYN2NMNT1QXya7dMI6vOoypbuFZq46nzjGO-4F5rtXzg6-atrcOAjOpL0bEak7fOwROzdNtL00BNE8wgr8OGZ_RTyu4oM87-CrOhZ2Bz2RtMC8VXCHOZsynDw7MKW8tW4kuVU6s7xcwZu8rim2uQDgvT1iyQs9k_LBOE4Vor23EI-9aY9xurjOur1q-xI9mHBMOc72jT0aUC89xx6aOdG-aD3uVKW9k98TuRR8rj0rwo094GRlOO-mAD0oSde9_L8UuS1zPz0A-HG9nIObuAKDBL3nJbW8gCettfxWyz0IFzy9A-4DOXboaj2uvrW9rUZGuD4RWj0Yboo8bfBcOI94CTv-nsi98e2vOAdnlr12z_C8hj7Lt-W2vTzsJVe7SJ1uOEvmWL1_OZ694zIyOARI_ry305a9GGMutsgDtrwU5Ze974nvOCx6rzu1koy9cPFfOA2eoz1OyNi8dh-_uFhjfz3kBPc8PfdfuOgnQbzX6Is9uttQOAVp5j0z6F88Ng8uOHSy-TwxMAG9t8vVtkLLXz1jGrc9bpCOOOcgQ70LdHI9BXWVuKSwJr1UBum8IH4euFQ27LxG-I29zgbQtyAAOBNACUhtUAEqcxAAGmAE9AAN7g24I0BE9sLpETYhFJ7nBNAo_yfX_-Ly0CHyF6-T9ev_Hujt4JQAAAASDNYrmgAVfwy_EQvaO-Ke1sYwF0UoAffCvAkVKa5E_try-fUc__sA5dfS8kPc9hUV4x4gAC0kmBY7OBNACUhvUAIqrwYQDBqgBgAA0MEAAIBCAACwQQAAwMAAAABBAAD4QQAASEIAALhBAACAwgAAAMAAABRCAAC6wgAABMIAAAjCAADAQAAAwEAAAEDAAAA8wgAAUMEAAIDBAACAQAAAQMIAAKBAAACgQQAAMEEAALDBAAC4wQAAcEEAALhCAAAUQgAATMIAAADBAACWwgAAhkIAAIjBAACqwgAAQEAAADxCAADYQQAAnkIAAHxCAABQwQAAIEIAAGBBAADQwQAAAMEAAHBCAAAQwQAATEIAAAAAAACuwgAA4MEAAAhCAACAwAAArkIAAERCAACmwgAAEMEAANDBAADgQQAAgEAAAEzCAAAQwQAAaMIAAMDAAADowQAADEIAAEBBAAAAwAAAgMEAABxCAACoQQAAEEEAAIDAAACIwQAAgMAAANDBAAAoQgAAlEIAAHBBAABwwgAAvkIAANjBAABAQAAAgEEAAIBBAACgQAAAMMEAAMBBAAAcQgAAMMEAADBCAACwwQAAzsIAAODBAACwQQAAQMEAAFDCAAA4wgAAwMAAACDCAADgQQAANEIAAIBBAABwwQAAyEEAABzCAACAvwAAAMIAAJBBAAAYQgAA4MAAAJBBAAA8QgAADEIAADhCAACAwQAAFMIAAIBBAAAAQQAAIEIAAIjCAADQQQAAPMIAAAAAAAAYwgAAsMEAANBBAACwwQAAAEAAALjBAADgwQAAlkIAAJjBAACgQAAAgEEAALjBAACAQQAACEIAAEDAAABAQQAATEIAAABAAABEwgAApEIAAMBBAAC4wQAAAEIAABxCAADgwQAAoMEAAFDBAADgwQAAOMIAABTCAAAQwQAA8MEAAATCAACoQQAA4EEAAHBBAAAoQgAAiMIAAABBAACAQQAATMIAAHDBAAAMQgAAEEEAAMBAAACowQAAjEIAAJBBAACgQAAAcMEAAJZCAAB0QgAAwMEAAADCAAD-QgAAlsIAAHDCAABcwgAAgMEAACxCAAC4QQAApsIAAIJCAABkQgAACEIAAIJCAAAcwgAAuMEAAEBBAACywgAA8EEAAGjCAABQwQAA4EAAAADBIAA4E0AJSHVQASqPAhAAGoACAABAvAAA-L0AABw-AAB8vgAAmL0AAKg9AACgvAAA4r4AAIa-AACAuwAAyD0AAKC8AAAsPgAAoLwAABy-AABMvgAAHD4AAOA8AACSPgAApj4AAH8_AADgvAAA4LwAABA9AAAQPQAAFL4AALi9AAAcvgAAqL0AAFw-AADIPQAAEL0AAJg9AADgPAAAdD4AADw-AAAEPgAAHL4AAI6-AABcvgAAML0AAIi9AAAwvQAAiL0AANg9AAB8vgAAoLwAAHC9AADIvQAAdL4AABy-AABwvQAA1j4AAFA9AABkvgAAcD0AANY-AABAPAAA2D0AAKC8AAAcvgAAyD0AAKA8AAAwvSAAOBNACUh8UAEqjwIQARqAAgAAuL0AAHQ-AADIPQAAKb8AANi9AACgvAAAHD4AAJi9AABQvQAAnj4AAEC8AABMvgAAgLsAAMi9AADYvQAAoLwAABS-AABLPwAAuD0AAJ4-AAA8PgAAZL4AAFA9AABkvgAAuL0AAOA8AADIvQAA6D0AAKC8AAA8PgAAcD0AAEC8AABAvAAAUL0AAPg9AAA0vgAAJD4AAIi9AABUvgAAoDwAAHw-AACIPQAAqD0AABC9AABcvgAABD4AAH-_AAD4vQAAUL0AAPg9AABQPQAAJD4AAOg9AAAEPgAAgj4AAOA8AAC4vQAA4DwAADC9AACgPAAAyD0AAHA9AADgPAAAqL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=zcXwENo-auk","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1200,"cratio":1.6,"dups":["10198449747873028900"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3466380617"},"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":"9","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D1Y6uE3eZWKQ","linkTemplate":"/video/preview/538409960412697713?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoUChI1Mzg0MDk5NjA0MTI2OTc3MTNaEjUzODQwOTk2MDQxMjY5NzcxM2quDRIBMBgAIkQaMAAKKWhoeHRybWl4cWplemxmcGhoVUNJcVZZMVhGUE9QSVoxejJBOVRybU1BEgIAESoQwg8PGg8_E74NggQkAYAEKyqLARABGniB7gH5_fwFAAP1-wkGCPwC8hUA9vn9_QD_9gb5-AT-APXwCfz-AAAAAvgGBAoAAAAFDQj6-P4BABYCDwUEAAAAAvz5-gEAAAAS-f4R_gEAAPn5_gYD_wAADf7_-P8AAAD-CP4AAgEAAAEJDf8AAAAAAAACBgAAAAAgAC1xht47OBNACUhOUAIqcxAAGmA5DAAtBu30AQQl9fwF5wkpCeII-Mj-_xEnAA0lw-X7CeHMGTAABNgnA7sAAAAT5dwrCwDfWQ_Q8QkJIQbT0sD3C3_7BdvHFAzx6evc4BUwCjshLiEA3wgH-Cyt4QsF3-sgAC1kdkM7OBNACUhvUAIqrwYQDBqgBgAAgEEAAEBAAADAQAAAEMIAAJBBAAAgwQAAIEIAAExCAABswgAAiMEAAIhCAAC0wgAA7MIAAABAAAC4QQAAqMEAAEBAAABowgAAPMIAAAjCAADgQQAAwMEAAIBBAAAQQgAAAMEAAKDBAABowgAAHMIAALBBAACUQgAA4EEAAIRCAAC8wgAAgD8AAGDBAABMwgAA6EEAAMBCAAAAAAAAwMAAAIBBAADgwAAASEIAABxCAADYQQAAlMIAAEDBAAAkwgAAqkIAACBBAACAPwAAQMAAACBBAACAwQAAREIAABjCAAC0wgAAmEEAANDBAADAQAAAVEIAAAxCAABAQAAAWMIAADRCAACAwQAANEIAAKTCAACoQQAAEMEAAERCAAAkQgAAQMIAAIJCAACgQAAAQMIAAMjBAAC4QQAAIEIAAODBAAAAwgAA4EEAAJBCAACIQQAAuMEAAATCAABwQgAAIEIAAMRCAADwQQAAWMIAAGhCAAAgQQAAYMIAAATCAACWwgAA8MEAAKBBAACAQAAAkEEAACDBAABIQgAAAAAAAEjCAAAgwgAAIMEAACDCAACgQQAAMEEAAOhBAAA0QgAAyEEAADDBAADAQAAAUEEAADBBAACAwAAAFMIAANDBAACIwQAAFMIAAATCAAB8wgAALMIAAARCAACcQgAAQMAAAEBAAAAAwgAAYEEAALhBAACAPwAACMIAAPBBAAC4QQAAuEEAAEBBAACYQgAAaMIAALDBAAC4wQAAOEIAAEDBAAA0QgAAwkIAAOhBAADowQAAQMAAADDBAADoQQAAAMEAAADCAACwwQAAhsIAAMDAAAAgwgAAsMEAABjCAACowQAAkEIAAADCAAAgQgAAMMIAABDCAADowQAA-MEAALhBAACIQgAANEIAAIpCAAA0wgAAAEEAADDCAAAEwgAAMMEAAFDBAACAQAAAMMIAAPDBAACYQQAABMIAAADCAABgwQAA4MAAAEDBAADIwQAADMIAAGhCAADgwQAAuMEAADzCAACowgAAJEIAACBBAACAwQAABMIAAMhBAAAAQAAAmsIAAODBIAA4E0AJSHVQASqPAhAAGoACAACavgAAXD4AAHA9AADYPQAAiD0AANi9AACAuwAAA78AAIq-AAAQvQAARD4AAOi9AABwPQAAMD0AADC9AABkvgAAUD0AAHC9AAAMPgAAmj4AAH8_AADoPQAAoDwAAIg9AACYPQAA-D0AAKi9AAAQPQAA2L0AAOg9AABMPgAAED0AADy-AADIPQAABD4AADA9AACIPQAAPL4AAJK-AACmvgAAir4AAKg9AAD4PQAAuL0AADQ-AABcvgAAfD4AACy-AACAuwAAFL4AAMi9AAAMvgAALD4AAAQ-AADovQAAEL0AAN4-AAAkPgAAMD0AAJg9AAAUvgAAHD4AANg9AADIvSAAOBNACUh8UAEqjwIQARqAAgAAir4AALg9AAA0vgAAU78AAHA9AABsPgAAUD0AAPi9AACIvQAAmj4AAOC8AABwvQAATL4AAFC9AAAwPQAAoLwAABA9AAApPwAAUL0AANI-AACYvQAAED0AAAQ-AADYvQAABL4AAJo-AADovQAAMD0AALg9AABQPQAAiD0AAKA8AABAPAAAVL4AABA9AACgPAAABD4AAIC7AADIvQAAVL4AAJg9AAAsPgAAoLwAAKA8AABcvgAALD4AAH-_AADYvQAAcD0AAK4-AACgPAAABL4AAKg9AAC6PgAAyD0AABA9AAAwPQAAHL4AAOA8AADovQAAqD0AADA9AABEPgAAUD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=1Y6uE3eZWKQ","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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},"14715585470456758761":{"videoId":"14715585470456758761","docid":"34-1-15-ZC30771F0F19DEFB7","description":"seL4 Multikernel Roadmap and Concurrency Verification - Corey Lewis In this talk we will present Proofcraft's roadmap for producing a verified static multikernel configuration of seL4, allowing...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2093147/35e243b403a2a269d6f40b57cebfb40a/564x318_1"},"target":"_self","position":"10","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D8JLKtpB1KPM","linkTemplate":"/video/preview/14715585470456758761?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"seL4 Multikernel Roadmap and Concurrency Verification - Corey Lewis","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=8JLKtpB1KPM\",\"src\":\"serp\",\"rvb\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxNDcxNTU4NTQ3MDQ1Njc1ODc2MVoUMTQ3MTU1ODU0NzA0NTY3NTg3NjFqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxP9DYIEJAGABCsqiwEQARp4gfr3_Pn_AQD1AQMFCAX9AQIOBvT3__8A6QH4-_n-AQD18An8_gAAAPr_AQYIAAAA9_3-9fr_AAADC_b_BAAAAAb6_f_6AAAABPoC-f8BAAAG8BEAAgAAAAv2AQcAAAAABv8SCf8AAAAFB_7-AAAAAAD6_PkAAAAAIAAtKzLXOzgTQAlITlACKnMQABpgIxAA9isGAfv_E_Lz-OgSE_b2A_j0EAAC7AD4DfgdMeLV0P7y_zLjHe7LAAAAEAYWE_cA_EPs7OT-_AgXzu70DTB_-ybyD-oZ4RTj188aBPj-CBYYAOn6Cw4G6Qs1GRz4IAAtpvN2OzgTQAlIb1ACKq8GEAwaoAYAAKBBAADAwAAA0EEAAGDBAABAQQAAUMEAANBBAAAkQgAASMIAALDBAACOQgAAqMIAAMzCAAC4QQAABEIAAOjBAAAgwQAAeMIAAFjCAAAYwgAAAEAAANjBAACAPwAA2EEAAIDAAADAwQAAfMIAAGDCAACQQQAAmkIAANhBAACeQgAAzMIAAEBBAADgwAAAHMIAAJhBAADKQgAAAAAAAHDBAAAgQQAAyMEAADhCAAAIQgAAwEEAALTCAABQwQAALMIAAIxCAABAQQAAMEEAAEBBAACwQQAAQMAAAChCAAAUwgAAxMIAAIhBAADAwQAAgEAAABRCAAAkQgAAEMEAADTCAABoQgAAAAAAACBCAACIwgAADEIAAIDAAABkQgAAXEIAABjCAACgQgAAuMEAAIjCAADYwQAAAEEAACRCAADowQAADMIAADhCAAA0QgAAQEEAALDBAAAQwgAAgkIAAMBBAACuQgAA2EEAAHjCAAAgQgAAAEEAADzCAACowQAAisIAAIjBAACAQQAAoMAAAHBBAAAAwQAAKEIAAABBAABUwgAAAMIAABDBAABwwgAAwEEAAMBAAAD4QQAAGEIAACBBAACgwQAAAMAAADBBAACYQQAAmMEAADjCAACwwQAAYMEAABTCAAAowgAAXMIAACTCAAAcQgAAdEIAAEBBAACgwAAAwMEAAFBBAADAQQAAAMEAAAzCAAAAQgAAwEEAAABCAADAQAAAnkIAAGDCAAAwwgAAuMEAAChCAACAvwAAJEIAAMZCAAAIQgAAsMEAAIC_AABAwAAAcEEAADDBAACgwQAAiMEAAHTCAABAwQAAwMEAAPDBAABswgAAUMEAAIZCAAC4wQAATEIAAFzCAAAYwgAADMIAAFDBAACoQQAArEIAAGBCAACUQgAAaMIAAJBBAACAwQAAmMEAAEDBAACgwAAAQMAAADjCAADgwAAAkEEAAIjBAAD4wQAA4MAAACDBAAAAwQAAYMEAABjCAAA4QgAAGMIAALjBAAA8wgAAxMIAANBBAACAQAAAYMEAAADCAAC4QQAAMMEAAJzCAACowSAAOBNACUh1UAEqjwIQABqAAgAAyL0AAJi9AAAcPgAAHL4AACy-AACAuwAABD4AAAm_AACOvgAAQDwAAOA8AABwPQAAEL0AAFA9AAD4vQAANL4AAJI-AACAuwAA4DwAAKo-AAB_PwAAiL0AANg9AABQvQAAmL0AAKi9AACoPQAAVD4AANi9AADgPAAAHD4AACQ-AACovQAAiD0AADw-AADgPAAAND4AALg9AABMvgAAlr4AAMi9AACIPQAA4DwAACy-AACgPAAAVL4AAOg9AABcvgAAgLsAACy-AAAEPgAABD4AAII-AAAcPgAARL4AAHC9AADuPgAAuD0AAKA8AABQPQAAoLwAAHC9AABEPgAAyL0gADgTQAlIfFABKo8CEAEagAIAAAy-AABkPgAAoDwAACm_AABAPAAAqL0AAOg9AADIvQAALL4AAIo-AADgPAAALL4AAIA7AACevgAAyL0AAIC7AAD4vQAAPT8AAPg9AABUPgAAJD4AAJi9AACoPQAANL4AAFC9AABQPQAAfL4AAIg9AACYvQAAgLsAAOA8AACIPQAAUD0AAPi9AAAwvQAAPL4AAOg9AACgPAAAFL4AADC9AAB8PgAAoLwAADC9AAAEvgAAgLsAAAQ-AAB_vwAAbL4AAIC7AADgPAAAlj4AAKC8AABEPgAAQDwAADA9AACAuwAAyL0AAHC9AADIvQAAQLwAAIC7AACgvAAAJL4AADC9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=8JLKtpB1KPM","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["14715585470456758761"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"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/472084/57e66cd8291da45680596b4cdb09561d/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/ZuXEMgIAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"12","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DIvqM2pmApSY","linkTemplate":"/video/preview/11748893623556895316?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxMTc0ODg5MzYyMzU1Njg5NTMxNloUMTE3NDg4OTM2MjM1NTY4OTUzMTZqhxcSATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxPiLoIEJAGABCsqiwEQARp4gfL8__X-AgD49_MOBwf8ARAJC_T2AQEA-PQB8gMD_wDx-vX6_wAAAPv4BfEGAAAABg4I-vj-AQASBgQFBAAAAA35-Pz-AAAADgP4_v4BAAD2BAIJ9wIAAQ39BAD_AAAA9wwR-_8AAAD-DwUAAAAAAPnxAgYAAAAAIAAtHT3WOzgTQAlITlACKoQCEAAa8AF_7fQCvv0f_Sf-6AAWFfsAogAB_zn-8wDc6wwBwPjvAOQTBADw6wAABRMMAOYK7wDm9OgAJxL4APgfBgAyCgoALQz9AD_xAAAQ-OYADQIH__oC_v8Y8xH_CPoGAigW_f8o9Av-4wblAAYKBwD3-A0AEwAE__wBBAEFEg0ADxDsAd76HgAQFwT77QIH-OYDFwEQ8_X9BAjsAP35BwYA7O_6BPb9-xQN-wQk_gED-v_2AwABBP0fGvME-QMK_RAZ_QPw8_UCGgUDB_EIAgER9woF_AUVAfvsDQf4A_P__QD6_PQK_PzzAAH6FAP_-_nv9vAgAC3aDV87OBNACUhhUAIqzwcQABrAB8GnBb_UlRU8csPvvLx6NT7l-pA71KvSvC_hoD2TOkG9YPOgPCtR9jxzvtg8OnR6vJxNl77qPVy5ZI8WvB8PvT57LKI9yDssvM0C7b12EIU95MAmPfNZDr44bzc9dvssuyGsRj4obIU9xno0PREXxT06wxk9sN-4PLpLgj38E8G88joHvaNNvz31Abe8NFLGu0YAkT1hzLG9BTYHvQRrwT0QmEG7YR4tvVpXVr2eDC49CkoPPCMByb1wl429pF07PPc_ED4XoG28n0nyO-kblz3CbII8AsX-PKnEkD0RSJM8x0SxOx9n2r0Mko49dQahPAT5o7ymX-K8-AHEud6w7byb1TE92fYsPNaCyD0CI7k8dxvKvIPPhbzrnzE90aGdO68JSb0VUTg8VmDtu898oz24MlI9p9BUPDw9JTwjPXu86qO-ugD8uLwUT6g7eT0Yu9hFEb1JSwU96rU0PJN9Br1paEg9iNEaPFhrbb1Cj967iz7VvEL_KT2M3NO9T_eLPAZuFzw6gBS9k9E3PDf6HT3nCqU8M2AcvDpvaD03O608YfaXvHDC77oJXI28cQVvvLJbdT3cZ3U9eAayu4Uedr3Qsxm9yGk-vJDl1TuFGUe76rPBOzHvgT0JebO8sqoSPNt-wzt0slQ8PfshPPjsb7129S-9l_pcuzTPGz12kw69AeGeO3bBwztv2Xy8g_4dOxX1E71RiIC9qsE_OndeFD19ofY8WBHButSe8j00qOy8lBmIuiADfr0x3Zo9ss2uNwfRWj0PTAm9s4WAugr3Cj3PBio99q29OdFCXTxIkCW91WeUOKeCI7tmP9w8FzQzOuh2Jb2xC9C8EqsIuZ7wULucqSu91YHFuZbiND3zisy8d4OOuVsd5Tz72FO9cKk_Ocw1Vr3Wi-M7RkoAuVwkCL2zZKc79JaCuWLAkjyXIvU7FMdfOfKAjT3nkkU9-e2suRWV6Lw34d475SovuMCVibpEY3e9XtwVuAdt5juzySa9eEUMuJJvkL1At5G9XGWMuB6ezrv8lBk9a2zOt4Lhwbxha9u8GqVkN_TovDxDoyU9jBfbt6CuaT1z9zk8vt46uDxqzLzypWa9-vflt6ck6z3pdRi64lpFuDjshLoR7sS8KwdeN4xeor0fWvU82KsqNvergD3rXTI9AxpWOOnwkD37wSo9-lKFuIDXN7hS0gO9qjz9tt7oXj145YS9QVK0uKlrjT2LC5E9EyciOPCyNb1czM89DEYKuQmZ9TyPM807wfcNN_rXvb0WOLS749tYtyAAOBNACUhtUAEqcxAAGmA_EgAD9A7i-gY1_sXw_Rf5EfAaF7IQAP_sAPwOtwAVJOi19Av_DeMADbcAAADmA-82FwDxW_Xv5hrjH_bHpQH3_382HvnEwATvFwz8B_X-FgTeA-kA6vTRACrluyAo6AcgAC3TJUA7OBNACUhvUAIqrwYQDBqgBgAAIEIAANBBAACMQgAAQEEAALDBAAAIwgAAykIAACRCAACswgAAJMIAAFRCAACwQQAAKMIAAADBAADQQQAA6MEAACRCAACmwgAAIEEAACRCAACMQgAAwMEAAGDBAAAgQgAAdMIAAPhBAAAgwQAAXMIAAIhBAADIQQAA-EEAAGRCAACSwgAAkMEAAODAAABIwgAAwEEAADxCAAAsQgAAUEEAADzCAAAswgAAiEIAAJDBAABAQQAACMIAAFTCAAAwwgAAQEEAACBBAAC-wgAAIEIAANjBAAC4QQAAuEIAALhBAACQwgAAEMEAAKDBAACWQgAA4MAAAIJCAACEwgAAgD8AAFBCAAAgQQAAFMIAAJTCAADAQQAAZMIAAIDAAADAQQAAwEEAAPBBAAAgwgAAyMEAAPjBAADAwAAAcMEAAGTCAACAwgAAmEIAAADCAABcQgAAUMEAAIDAAADAQAAAVEIAAIhBAABQwQAADMIAAIBAAAC4QQAAuMEAABBBAACOwgAA-MEAAIDBAACSQgAArsIAACBBAAAAQAAAMEIAAPhBAAAAwQAAwEAAAIjBAACQwQAAYEEAAMBBAABgQQAAWMIAAIDAAAAcQgAAEMIAAEBCAADAwQAALEIAAIjBAACAwAAAFEIAAJjCAAAAwgAAcMIAAADAAABAwAAAQMEAAIhCAAAwwQAA0MEAAKBAAACwwQAAgD8AABRCAACCQgAA4MAAAEBBAAAgwgAA0MEAANjBAABAwAAAwEAAAKrCAABAQAAAIMEAAADCAAAkQgAAqMEAAIBBAAC4wQAAgMEAADBBAAAEQgAA2EEAAOBAAABMwgAAYMEAADjCAACYwQAAcEEAAEBAAABwQQAAyMEAADjCAACAPwAAqEEAACBCAACoQgAAQEEAAHTCAADYwQAAkkIAAODBAACowQAAsMEAABBCAAAwwQAAXMIAAJhBAABgQQAAjMIAAIhBAACAQQAAAMEAAHhCAAA0QgAAUMIAAABAAADoQQAAcEEAACDBAACcwgAAYEEAAEBAAACAQAAALEIAAPjBAACEwgAAKMIAAOhBIAA4E0AJSHVQASqPAhAAGoACAAAQvQAARL4AABA9AAA8vgAALL4AAKC8AABAvAAAH78AAKq-AABAvAAAJD4AABC9AACYPQAA4DwAABy-AAAEvgAA4DwAAIA7AABkPgAA4j4AAH8_AACgvAAAcD0AAEC8AAAQPQAAmD0AAOi9AACIPQAAPL4AAIi9AACCPgAAyL0AABS-AACYvQAAjj4AADA9AAAMPgAAHL4AAI6-AABkvgAAcD0AAAy-AAA0vgAANL4AAIY-AACSvgAARD4AAIK-AABQPQAApr4AAGy-AAA8vgAAlj4AAFA9AABQvQAAuD0AAAE_AACIPQAAgDsAAIg9AAAwvQAAjj4AAOA8AADIvSAAOBNACUh8UAEqjwIQARqAAgAABL4AAIg9AAAwPQAAIb8AAEC8AABQvQAAuD0AAAS-AAAUvgAAdD4AABA9AAAkvgAA2D0AANi9AABAPAAA4LwAAFA9AAA7PwAATD4AALo-AACAuwAA4DwAAJg9AAAsvgAAqL0AAJi9AACAuwAAgDsAAKg9AAD4PQAAcD0AALg9AACIvQAAcL0AAKg9AADYvQAAyD0AAAQ-AABEvgAA4LwAAAw-AAC4PQAAyL0AABC9AAAMvgAAPD4AAH-_AAAsvgAAgDsAAKA8AABsPgAAUL0AAJg9AAAEPgAABD4AAFA9AACAOwAAEL0AAHC9AACAOwAAmD0AABC9AACovQAABL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=IvqM2pmApSY","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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,"videoContentId":"2413995352"},"16683293515169426854":{"videoId":"16683293515169426854","docid":"34-5-4-ZC10BB34F50C85276","description":"Matt Brecknell, Kry10 Kry10 is building a cost-effective platform for connected devices, with extreme security and reliability. We choose to build on seL4 because its capability model gives us...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1031933/ee1d66ecf51813e39d02b285dd1ded07/564x318_1"},"target":"_self","position":"13","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DfyF9w_CsCEU","linkTemplate":"/video/preview/16683293515169426854?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"1d: Matt Brecknell: Explaining the seL4 integrity theorems","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=fyF9w_CsCEU\",\"src\":\"serp\",\"rvb\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxNjY4MzI5MzUxNTE2OTQyNjg1NFoUMTY2ODMyOTM1MTUxNjk0MjY4NTRqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxOsDYIEJAGABCsqiwEQARp4gf0ECQ3_AgD8ABAFBwf8AQYC8vX3__4A8_0B9fUBAADs-RD8_f8AAPryAvv8AAAA-A3-B_L_AQAS__AHAgAAAAD8_gb5AAAABgH9_v8BAAAFAfj4A_8AAA7-AQgAAAAA5_cG-AAAAAAQDgoCAQAAABMB-QAAAAAAIAAtOO7XOzgTQAlITlACKnMQABpg_f8AABb7BNP2GvDiDfIJ8fno__TEGwDm9AAIHenxAgrJ2hooABjQFO3GAAAACQwuK94A80vd4PDdGxfw77_gLBZ_Jwzh-gb9-9rt3fMJ8-P7-gksAPATBARX4_wWBBYYIAAtnqBcOzgTQAlIb1ACKq8GEAwaoAYAAIBBAAAAAAAAYEIAABDCAADAwQAAkEEAALRCAABgQQAAssIAAPDBAAAAQgAA0MEAADBBAAAQwQAAyEEAAPjBAAAwQQAAoMEAAADBAAAAQQAAWEIAAHzCAAAYwgAAfEIAAMDAAADgQAAAwEEAAEjCAAAwQgAAmEEAACBCAAC6QgAA2sIAAMDBAAA0wgAA8MEAAJhBAAB0QgAA0EEAAIZCAAAAQAAAmEEAAKBBAACOQgAA-MEAALrCAADYQQAAMEEAAHRCAABAQAAA8MEAADhCAADwwQAAwEEAAARCAABgQQAAqsIAACDCAACgwAAA6EEAAMBBAABQQgAACMIAAETCAAD4QQAA-MEAAMDAAADgwQAAbEIAAMDAAAAQQgAA8EEAADRCAABEQgAAAEAAADzCAABgwgAAiMEAABBBAADowQAAlsIAAIBCAACowQAAgEEAAMBAAAAQwQAA4EEAABxCAADAQQAAAEIAAIhBAABEQgAAYEEAAJjBAACGQgAAVMIAAAAAAAA8wgAAoEEAAMDBAACwQQAAUMEAAAxCAABMwgAAgEEAABTCAAA0QgAAiMEAAAhCAADAwAAAMEIAAOBBAAC4QQAAkMEAAGRCAADAQAAAwEAAAIBBAABQQQAAAEAAACBCAABwwgAAIMIAAJLCAABEwgAAgMAAADRCAABAQgAAmMIAAIDBAACAQAAAaMIAAMjBAAAAAAAAQMIAACBBAACgwAAABEIAAKBBAACCwgAAAAAAAMJCAADAQQAA6EEAAKhBAAAcQgAAkMEAAARCAADAwQAAcEEAAPBBAADQwQAAPMIAAIC_AADwQQAAiMIAAEjCAAAwQQAAiMEAAMBBAACwwQAAgEAAAGBBAACoQQAAPMIAAMDBAAAcQgAAmkIAADBBAADgQAAAwMEAAIxCAAC4wQAAMMEAAPhBAACwwQAA4MAAAADCAACYwQAAAEIAALrCAAD4QQAA2MEAANLCAADIQQAANEIAABDCAABwQgAACEIAACxCAAAMwgAAsMEAAABBAACgQAAAaMIAALjBAACowQAAHMIAAKrCAAAsQiAAOBNACUh1UAEqjwIQABqAAgAAyL0AAIK-AACYPQAAmD0AAEA8AAAwvQAAgDsAAAu_AACWvgAA-D0AAIg9AABwvQAAvj4AAMg9AAAkvgAAuL0AADQ-AACoPQAAqD0AAMo-AAB_PwAAyD0AAFQ-AADgPAAAoLwAAJg9AAAsPgAAoLwAAOi9AACYvQAAbD4AADC9AAB0vgAADD4AAFQ-AABQvQAALD4AAEy-AACevgAAdL4AAJK-AACAOwAAiL0AADy-AAAwvQAAoLwAAEQ-AAB0vgAAgDsAAFS-AABwvQAA2L0AAAQ-AACiPgAAoLwAAKi9AAA5PwAAML0AAIA7AACuPgAAED0AADC9AACgvAAAtr4gADgTQAlIfFABKo8CEAEagAIAADy-AADoPQAAFD4AADO_AABAvAAAuD0AALg9AAAwPQAA2L0AAOg9AABQvQAAmr4AAHA9AABcvgAAUL0AABA9AAAMPgAATz8AAFQ-AAA0PgAARD4AAPi9AABMPgAAJL4AAIi9AAAkPgAAFL4AANg9AACYPQAAUD0AAOA8AAAQPQAAgDsAAPi9AADgPAAA4LwAAEQ-AADgPAAADL4AAOi9AACaPgAAqL0AAAw-AACIvQAAUL0AALY-AAB_vwAALL4AADy-AAA0PgAAhj4AABC9AAAMPgAAmD0AAEC8AABQPQAAML0AAIA7AACoPQAAmL0AAMg9AABsvgAAjr4AAHA9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=fyF9w_CsCEU","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["16683293515169426854"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"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":"14","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DkhcjH77riGA","linkTemplate":"/video/preview/18093209937119545774?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxODA5MzIwOTkzNzExOTU0NTc3NFoUMTgwOTMyMDk5MzcxMTk1NDU3NzRq1RASATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxOnDoIEJAGABCsqiwEQARp4ge4F_AUB_wAJ8QD_-wb-ARIDBvoH__8A3PcC_Pn5AwDo_BEFBQAAABD__BAGAAAA_ff3Avr-AAAMCw0GBQAAAAfwAgQBAAAAAf37CAr_AQH1-gb5AgAAAP4H_Qb_AAAA-_UEBAQAAADuGgEHAAAAAPwB-PsAAAAAIAAtaizPOzgTQAlITlACKoQCEAAa8AF86u8CvAcg_QwH3wANK_MCgRXw_zsI5QDc8An_uRDU_w4yAwHa7QwA8Q4MANoLCADv6fAAIgz3ABcIEQA9DQwAEArpAU3tAAAj_O4B_wsA__AT-gAtDBUBD-38ABsU9_44CQEA6vzgA-0G9___BCUAEBkGAQ_x_QPyGxX79SESA-v1DgQA9xID0vME-usZBwD9_ekG_Abx_-f3FP3q8e38APMLAiDyAv5EHQwI9PX5-AMXF_0dDfn5Hvr8Avr89wLv6PX5KfD8Av__Evsh9BcA--gSAvrYEf70DuID6vb89wsXBPHbCAkQBxj8CPv5-vMgAC1R9DU7OBNACUhhUAIqzwcQABrAB_rvAb-BG287_tJivTXatT1NTzM8K8glvY-dgT0DSj69p7WEvCtR9jxzvtg8OnR6vHR8xL4chO88mdotvd0nnz4Z63Y9lA2QPOdU0r2HQyA9n3ipPE94kb5nFUw9qeaLuiZnsj2zMQY70dObPEG2HD7BMKo8jUl7O7pLgj38E8G88joHvVGWa7yBdKa9m3PTO9fqwT038JS9CekfPCDrCT7Fbdm8qpk1vGZI-rzxbjs9CWmRu-T39rxjFec7S2ryPLWMJD4_vum8ZGuHPDysJjzg1p08_noqvFChXz3wdta7a5iGvC2OEjyR5pk9TP4nPJ8R1zv5tXq99k6eu8Yqb7y3nTE9x-PYPPX1_D2cogg96ytZvKgRRLw3bak765WNPEn3nr1Th6q6AvjhO0sPmT0hGKy8P4gmu7P7Xz2Q8GK8kXDvOvXZgTxBb-C8ybSRvNGkXrxmrCw9915Xu93zdDvvDt88NfHROSjV3r1oCvi87QO5u3yTqz1GCI-9i9vsOnmEKT0Q3xM9IGIDPSclDj1-4Ta7ieuYO_m6MbyJbQE9LYFvu22MQrwhKBK9wVu5u_NhC7wV8nc8bcvfu_bwgL0cpJY8OWl1vIzoCD27PEK8lkHWuxPojT3sBkA9zSAAPGpzNTuveRW9IPXTu7eboL1Y0kC9ok4SPNzJcTsbbra8J5OqOzqcnz3aOrg8XHxAO6svsb13-8e8pS2puL6BTj2lWlU8aWFku8S5H7vs7LW8mVGDO4IQ2rwnvOQ9fVKIuYs4XT0_6Pa7NZaHNxXKQjzKsWs9m8zqOX2x1z0uoII7v9oQuSrG-byIOyi9VnZMt3Li6TtzQQe9EphuuZ32NL10rYO66oh_uSW2Fj3qs669WYfquOJNBrunmQm9dDdlOVWEO71UrQU9SBacuPvaxLyzLig77FoYOJ9O4DtG9bG8FKcstw8WBL1ceBo8zK5duEtWqjxDuSM9tPIdOY2u97zAycu9oaWBOTdD_bvQygI9C-RAOeYWxLw70QS9ERbquM9h47w8uOA81WbZt-Pxfr3dNGy9ksS-t6dtjTxo3EU94PbGuD4SRb2mcTk8tTMJOU3aVL2G95a9N4MBt5UREj1jeLK6G4OBOD6IkTsYT569TKnpNxuwdby0Shq9oRW6NynWXzwVJPC6-yIouDX4FDxUcJk79segN8TOlDxC3ly9h7g0NmmArD3x9Eq9cOtLtWRekj20a2w9IXjuOPCyNb1czM89DEYKudoROL0tK6g89CIkuMRA17yYBjS8q4C-NiAAOBNACUhtUAEqcxAAGmBlBgAQAhvnANhc5BDa5xkdFvgS_pz0_y0A_xwO7gQsHOO09fz_RQE-zJ8AAAAi6vEm8wABf9zH3OHMRQCKpAb0LXTyMw_e8e_nIZztCdH92ATCBToA0vyp5lP58P4rD_cgAC0_ohQ7OBNACUhvUAIqjwIQABqAAgAA2D0AAKi9AAAUPgAAij4AAGy-AAC4vQAAoDwAAFS-AAAsvgAAZD4AAFC9AADoPQAAQDwAADA9AAAMvgAAQLwAANg9AAAQvQAA-D0AAIo-AAB_PwAAQLwAAOA8AADgPAAAyL0AAOC8AACgvAAAyL0AAJa-AACYPQAAED0AAKA8AABQvQAAVD4AAOg9AAAcvgAAFD4AAHS-AADqvgAAoDwAAGS-AADovQAAoLwAAKi9AADoPQAA6L0AAAw-AAAQvQAAML0AACy-AADIvQAA4LwAAFw-AABwPQAA4LwAAEC8AAADPwAA4LwAAHA9AAD4PQAAQLwAANi9AACgvAAAEL0gADgTQAlIfFABKo8CEAEagAIAAEy-AABQPQAABL4AACu_AABEPgAAXD4AABC9AADgvAAAiL0AAPg9AAAsvgAAML0AAKg9AAB8vgAAUL0AABC9AAAsvgAAPz8AAOC8AACGPgAAML0AAIg9AADCPgAAJL4AAPi9AAC4PQAA6L0AABQ-AACgvAAAJL4AADQ-AACAuwAAmD0AAKA8AADIPQAAmr4AAI4-AADYPQAAdL4AAOA8AACOPgAAoDwAAIC7AAAQvQAAgr4AAFC9AAB_vwAAuL0AAOA8AADuPgAAuD0AAIi9AAAkPgAAkj4AAK4-AACAuwAAUL0AANi9AAAMvgAABL4AAEC8AABsPgAAUD0AAAS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=khcjH77riGA","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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,"videoContentId":"122001827"},"2500085713178376000":{"videoId":"2500085713178376000","docid":"34-4-0-Z9A7F4C61CBBB23AC","description":"Kent McLeod, Kry10 Verified multicore seL4 seem too far away? Think again, this talk presents a simple multikernel approach to achieve this goal that is attainable using the verified unicore...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3820682/344ab9f1f16a95db33c90f1b0cf24647/564x318_1"},"target":"_self","position":"15","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DooIPe4wRMKk","linkTemplate":"/video/preview/2500085713178376000?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"1h: Kent McLeod: Multiprocessing on seL4 with verified kernels","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=ooIPe4wRMKk\",\"src\":\"serp\",\"rvb\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoVChMyNTAwMDg1NzEzMTc4Mzc2MDAwWhMyNTAwMDg1NzEzMTc4Mzc2MDAwaq4NEgEwGAAiRBowAAopaGh4dHJtaXhxamV6bGZwaGhVQ0lxVlkxWEZQT1BJWjF6MkE5VHJtTUESAgARKhDCDw8aDz8TrhWCBCQBgAQrKosBEAEaeIEKC__3_wEA8f38Df0F_gEQCQv09gEBAOv4-_MC_wEA9fAJ_P4AAAACAQX8CgAAAAEIAf7x_gEAIQv8AAQAAAAA_P4G-QAAAP0C9gT-AQAACfcFEQP_AAAIBAIKAAAAAP__CfkDAAAABQPw_AAAAAAD9gn7AAAAACAALXH91Ts4E0AJSE5QAipzEAAaYDYAAPhvCg4TBirqud_eIQTZ1vzT1Cv_7tb_5yG68RcZrI7xFABR6yb4nAAAABDhJg0BAAF2teb2ANnY-coPrD42f1EX5xX-HwABAfYH5-Ty6-xOEwD4_xEcU_SrWyPmyCAALcJbFDs4E0AJSG9QAiqvBhAMGqAGAADgwAAAsEEAAKhBAAAIQgAAgL8AABBBAACeQgAAoMAAAKjCAAAwwQAAMMEAADDCAABQwgAA-MEAAExCAACgwAAAsEEAAJBBAADYwQAAoEAAAERCAAC2wgAAQEAAAHBCAAAIwgAAAEAAAEBBAAC4wgAAoEAAAGDBAADYQQAAWEIAAITCAACYwQAAGMIAAIbCAACAwAAAQMEAAAxCAAAAQAAAcMIAALDBAAAMQgAAyEEAAGDBAAAAAAAAJMIAALhBAABgQQAAmEEAAHzCAACgQQAAWMIAAIC_AAA8QgAApkIAAHjCAACIwQAAYMEAAEhCAABQwQAA-MEAALDBAADAwgAAnEIAABzCAADAwAAAwMAAAPDBAABAwQAA4EEAAADBAACSQgAAsEEAAGTCAACAwgAA4MEAABBBAABwwQAA-MEAADDCAAC0QgAAyMEAAABAAAAAQQAA0EEAACBCAAAYQgAAqEEAAEBBAACYQgAAbEIAAHDBAACgwQAAAEEAACzCAAAQwQAAsEEAAADBAAAswgAA4EEAAMjBAABsQgAA-MEAAADAAADAwAAAUEIAAMDBAACgQAAAqMEAAOhBAACowQAAEEIAAOhBAABQQQAA2EEAAIC_AADwwQAAgEEAADBBAABcQgAAAMAAACDCAADGwgAAYMIAACzCAADgQAAAWEIAAAjCAACAwgAAYMIAADBBAACAwQAAgL8AAIzCAADIQQAAcEEAADDCAADgQAAAlsIAAABAAAC0QgAAmEEAAJjBAACCQgAA0MEAAADCAACgQQAAIEIAAJJCAAAQwQAA4MEAAKDBAABAwgAAiMEAACDBAABUwgAAoMEAALDBAACAQAAAXEIAALhBAAAIwgAA4EEAAEDBAACAvwAAcEIAALhBAAAoQgAARMIAAADBAABkQgAAAAAAAOjBAAAAQgAAQMEAALDBAABAwgAAmEEAAMBAAAC0wgAAQMAAAADCAAA8wgAAwkIAADBCAABMwgAA0EEAAFBCAADIQQAALMIAAKDAAAAcQgAAFMIAAILCAAAoQgAAIMEAAOjBAACIwgAAbEIgADgTQAlIdVABKo8CEAAagAIAAOC8AAD4PQAAfD4AAKC8AACCvgAAJD4AABA9AAD-vgAAbL4AAEA8AADgPAAAMD0AAFQ-AADgPAAAFL4AAEC8AADCPgAAmL0AAFA9AAD-PgAAfz8AABC9AADIvQAAED0AAAw-AAAwPQAAED0AAGy-AABEvgAA6D0AAHA9AACIPQAAMD0AABA9AADKPgAATL4AAOi9AAAsvgAAHL4AAIK-AAB8vgAAED0AADQ-AAC4vQAAiD0AAGS-AAAcPgAAkr4AAES-AADovQAA6D0AAJi9AACSPgAA6D0AAEy-AABQvQAABz8AAEA8AAAUPgAA-L0AAPg9AACoPQAAmD0AAFy-IAA4E0AJSHxQASqPAhABGoACAAAkvgAAVD4AAKi9AAAtvwAAlr4AAKC8AADIPQAADD4AALi9AAAcPgAAcL0AAGS-AABAvAAAmL0AAKi9AAAQvQAAuL0AAE8_AADIPQAAqj4AAOg9AACSvgAAiD0AAFy-AAD4vQAAEL0AACS-AABQPQAABD4AALg9AADgPAAAEL0AAKC8AACovQAAVD4AAGS-AABQPQAAUD0AACS-AAAwPQAAjj4AABA9AADgPAAAyL0AAPi9AABMPgAAf78AAOC8AACAuwAAiL0AAHw-AABAPAAAgLsAAGw-AACePgAAcD0AAFC9AAC4PQAA4LwAAKA8AADoPQAAQLwAABC9AAA8viAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=ooIPe4wRMKk","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["2500085713178376000"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"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":"16","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dmptdf-_NQes","linkTemplate":"/video/preview/1161533594110444855?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoVChMxMTYxNTMzNTk0MTEwNDQ0ODU1WhMxMTYxNTMzNTk0MTEwNDQ0ODU1aq4NEgEwGAAiRBowAAopaGh4dHJtaXhxamV6bGZwaGhVQ0lxVlkxWEZQT1BJWjF6MkE5VHJtTUESAgARKhDCDw8aDz8Tzg2CBCQBgAQrKosBEAEaeIHqBQL6_gIA7w0I9_0AAQAFEAgJ9wD_AO0K_wYI_wAA-gUIBPkBAAAC-AcECwAAAP8EBf8E_gEAGPz5AAMAAAAJ8_cL-gAAAPUHEAP_AQAA8QT6_QMAAAAP_gEIAAAAAPAEBPz-_wAA_ggDDAAAAAAC6fYDAQAAACAALbqI1Ts4E0AJSE5QAipzEAAaYBsJAA4U6trvITHX4Qjm4-jt9xS7wvwAH9YA2hbr6Qf47Lbs_P9V8BT1tQAAAAsRCDcaAPVj9RvbABEJFMva9Qk5fxIC_u8p8tnHwOcLGd0C5CslIgDZ6PAdAObFR9ZLHCAALXvVNTs4E0AJSG9QAiqvBhAMGqAGAACYwgAA4EEAAAAAAAAEwgAAQEIAAFDBAAD-QgAA6MEAAFDBAAC4wQAA0MEAAAjCAAAUwgAAmEEAAJhBAACAwQAAVEIAAAzCAACIwQAAgEEAAERCAABQQQAAPEIAACxCAABAwgAAdEIAAFzCAAAgQgAAyEEAAGDBAABgQQAAEMEAAIrCAACsQgAAqEEAAMBBAAA0QgAAoEEAAIBBAABwwQAADEIAABxCAACOQgAAMEEAAEDBAAAQwQAAMMEAAIRCAABQQgAAbMIAAHBBAAAswgAA-MEAAOBAAACYwQAAiMEAALLCAAC4QQAAMEEAAKBBAADgQAAAQMEAAPjBAAAYwgAADMIAACDBAAAAAAAANMIAAAxCAADAQAAA8MEAACBCAACwwQAA0MEAAGDBAACYwQAAUEEAAIDBAABAQgAAEEIAADRCAACAQgAAuEEAAKDAAABowgAAGEIAAJTCAABMQgAACEIAAIC_AACAQQAAkMEAAHBCAAB4wgAAgEAAALDBAAC4QQAAgEEAAEDBAAAkwgAAIMEAALBCAACoQQAA2sIAADzCAADYQQAACEIAABDBAAAIwgAAuEEAAERCAAA8wgAAPMIAADDCAABsQgAAXEIAADhCAABQwQAAVMIAALjBAACAPwAAmsIAAK7CAAAcQgAA0MEAAIhBAAAQwQAAwMEAALhBAACgwgAAsEEAAEBBAACAwQAAqEIAAPjBAADAwQAAQEEAAFDCAABQwgAAJMIAAOjBAACwQQAA2MEAAGDBAABAQgAAAEEAACRCAAC4QQAAGEIAAKhBAADgwAAAEEIAAFDCAAAAwQAAsEIAALhBAACYwQAAHMIAAKBAAAAAQgAAcMEAANhBAACgQAAAgMEAAIDAAAAAAAAAMEIAAABAAADYQQAANEIAAEzCAABcwgAAUMEAAHBBAAAgQQAAOMIAADDBAABUwgAAhEIAAADAAADgwAAAtsIAAJBBAABMwgAAPEIAAKBBAABUwgAA2MEAALDBAADoQQAAmMEAAJDBAACAQAAAiMIAAADAAACoQgAA2MIAAJjBAACgwQAAAMEgADgTQAlIdVABKo8CEAAagAIAABC9AABUvgAAgDsAAKg9AAAQPQAAPD4AABA9AADOvgAAlr4AAHQ-AACYPQAA4DwAAFQ-AABwPQAANL4AAPg9AABsPgAAoDwAAPg9AACGPgAAfz8AABw-AADoPQAAMD0AALi9AACgvAAAJL4AAAS-AABUvgAADD4AACw-AAAEvgAAcL0AAOC8AAAsPgAAcD0AAEw-AABkvgAAyr4AALi9AAAcvgAABD4AAKg9AABwvQAAqD0AABA9AABQPQAABL4AABC9AADGvgAAQLwAAEy-AACCPgAAgj4AAOi9AADgvAAABz8AABC9AACgPAAAfD4AAKi9AACoPQAAQLwAAKK-IAA4E0AJSHxQASqPAhABGoACAAAcvgAAMD0AAHA9AAArvwAAcD0AAIg9AAAMPgAAgLsAAKC8AACuPgAADD4AAJi9AAC4PQAAcL0AAIA7AABAvAAAmD0AAEk_AAAkPgAAuj4AAKA8AACIPQAAND4AABS-AACIvQAAFD4AAKC8AAAcPgAAUD0AAKg9AADgPAAAiD0AAIA7AACYvQAADD4AAES-AABcPgAA2D0AAFy-AABQvQAAdD4AAIC7AACYvQAAcL0AAOi9AAAsPgAAf78AAOC8AACgPAAA2D0AAFA9AABAPAAAEL0AAEQ-AAB8PgAAyD0AAEA8AABMvgAA-D0AAOC8AADIPQAARL4AALi9AAAQPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=mptdf-_NQes","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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},"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":"17","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Da-JLqYVINxo","linkTemplate":"/video/preview/14977711284088737927?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxNDk3NzcxMTI4NDA4ODczNzkyN1oUMTQ5Nzc3MTEyODQwODg3Mzc5Mjdqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxOHDYIEJAGABCsqiwEQARp4gQsF8_0H-AD18xEI-gf9AvcOAPn3_f0A5gH3-vj-AQDoAwcAAv8AAP0HBAwFAAAA9AEE-_L_AQAiDAD98QD_APXoCPz7AAEABAX-8_4BAAAC9P3rAgAAAPsY_PX_AAAA9wv_Cfz_AAASDwsCAQAAAAEACvX_AAAAIAAtR52_OzgTQAlITlACKnMQABpgDBoADwn67fP-Kt3_5er7JQsc--a2HQAH2QAKFwTfD_cDxQv7_xTdHAXFAAAAFP7jFhIAF0gav9778w762N3yKC9_6AcGDu3xDSD4-v4PAgQNEEIGAPkPJAUe3Qs09fLiIAAtIEdkOzgTQAlIb1ACKq8GEAwaoAYAAOBBAABgQQAAEEIAAAjCAADgQQAAAEEAAEhCAABkQgAAgsIAAAzCAABQQgAAlMIAANLCAACQQQAAIEIAAKDBAAAAwAAAnsIAAODBAADgwQAAPEIAACTCAAAAwQAAQEIAALjBAACQwQAAiMIAANjBAABAQQAAKEIAAPhBAACMQgAAusIAAPBBAACIwQAAMMIAAMhBAADOQgAA0EEAAIC_AACgQAAAAAAAAFBCAADAQQAAAEIAAGzCAAAAwAAAyMEAAJxCAACAQAAAYMEAAJjBAACQQQAA4EAAABxCAACAwQAApsIAAIA_AACQwQAAAEAAAABCAADgQAAAgMAAAEjCAAB8QgAAoEAAAGhCAABcwgAAwMAAACDBAABAQgAAZEIAAADCAAC8QgAAAMAAABzCAAAQwQAAwEAAAARCAAAowgAAgMEAANBBAABoQgAAOEIAANjBAACwwQAAQEIAAFRCAACYQgAAoEEAACTCAABEQgAAQMAAADTCAAA8wgAAcMIAACTCAABAQQAA4EAAALBBAADAwAAAZEIAAJhBAAAswgAAYMIAAMDBAAAowgAAEEIAAMDAAACgQQAAAEIAAABAAACgwQAAAEEAAMBBAADAQAAAgL8AAEDCAADQwQAAoMEAAAzCAAAcwgAAjMIAAEzCAACgQQAAuEIAABBBAACwwQAAsMEAAABBAADQQQAAEMEAABTCAABsQgAAYEEAABBCAABAQQAAvEIAAIbCAAAEwgAAIMEAAFxCAACAwAAAUEIAAKJCAAC4QQAAPMIAAKBAAADowQAA8EEAACBBAAAAwAAAcMEAAKDCAADgwAAABMIAABTCAAA0wgAAgMEAAKZCAACAwQAAKEIAAMDBAAAAwAAAsMEAAKDBAABwQQAAZEIAAFxCAACUQgAAgsIAAGBBAADwwQAA2MEAANjBAAAwwQAAcEEAAFjCAADwwQAAHEIAAFDCAAAIwgAAQMEAAKDBAACAwAAAgMAAAEDCAAAcQgAAQMEAAFDBAADowQAAlMIAAEBCAAC4QQAAAMAAABDBAAAAQAAAsEEAAKbCAADowSAAOBNACUh1UAEqjwIQABqAAgAAoLwAABA9AACePgAA4LwAAAS-AABwvQAAoDwAAA2_AACovQAAQDwAAEQ-AACoPQAAbD4AAOg9AADYvQAARL4AAPg9AACIPQAAyD0AAIo-AAB_PwAAgLsAAIC7AADIPQAAUD0AAKi9AACoPQAA-L0AAKi9AADYPQAAED0AAEw-AAC4vQAAgLsAAFQ-AAAcPgAAND4AAAS-AABEvgAAlr4AAPi9AABQPQAA4LwAAKA8AACgPAAAlr4AALg9AACovQAANL4AAEy-AAC4PQAAyD0AAI4-AADIPQAAFL4AAIC7AADePgAAgDsAAKg9AADYvQAA4DwAAKi9AADYPQAAqL0gADgTQAlIfFABKo8CEAEagAIAAEy-AAAUPgAAUL0AADW_AAA0vgAAMD0AAAQ-AABAPAAAPL4AADQ-AADovQAAdL4AAMi9AADovQAAML0AAEC8AAAQPQAANT8AAGQ-AACyPgAAyD0AAOi9AACgPAAAJL4AACS-AABQPQAAUL0AAKC8AABQPQAAPD4AADA9AAAQvQAAoDwAAAy-AABAPAAAmL0AAKg9AACAOwAA2L0AAEA8AAAkPgAAyD0AAAw-AADgPAAAHL4AAJ4-AAB_vwAAnr4AAAS-AAA8PgAAfD4AABA9AAB0PgAAuD0AAAQ-AABAPAAAUL0AAJg9AABAPAAAmL0AACw-AAAsPgAADL4AAAy-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=a-JLqYVINxo","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-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},"12810108055640909185":{"videoId":"12810108055640909185","docid":"34-4-1-Z54CD632AD9C8F539","description":"Showcase: Microkernel OS, TPMs, and WASM in IIoT Environments Moderators: Lucy Parker Speakers: Sid Hussmann This talk will demonstrate how Gapfruit OS [0], an operating system built with the...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1580473/4263b9f179dd1f3a9084066e9841b10d/564x318_1"},"target":"_self","position":"18","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DR9zRyYVReKU","linkTemplate":"/video/preview/12810108055640909185?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Showcase: Microkernel OS, TPMs, and WASM in IIoT Environments - Sid Hussmann, Gapfruit","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=R9zRyYVReKU\",\"src\":\"serp\",\"rvb\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxMjgxMDEwODA1NTY0MDkwOTE4NVoUMTI4MTAxMDgwNTU2NDA5MDkxODVqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxOvD4IEJAGABCsqiwEQARp4gfARAggI9wDp8AwBCwL_AC4A-_ryBgYA9fn6_P0D_wD38vTs_wAAAPIDCO7-AAAA9PsLDfL_AQAaAAP-BQAAAPn4-O78AAAA_Qv59v8BAAAJ__QLBP8AAAj9FwUAAAAACA__APj-AAH0EP0VAAAAAAb9A_gAAAAAIAAtV-i5OzgTQAlITlACKnMQABpgIgsAFPYD4dYSKurM8Nb8AQj7EPro5gAP9gD1IuDSCgrStBQq_xP0E-m9AAAAD98DNusA0lkGAM4MCTsV1Nq8DxJ__xPryfAi1fP9EQgRBRAN9RoaANsO8fY95N1A8A0gIAAtqghKOzgTQAlIb1ACKq8GEAwaoAYAAPBBAAAwQQAATEIAAIDBAADAQQAAAAAAAPhBAAA4QgAAdMIAABjCAAA8QgAAgMIAALrCAAAEQgAAMEIAAOjBAACAvwAAnMIAAATCAAAIwgAAgEEAACDCAAC4wQAATEIAAIjBAABwwQAAeMIAACjCAAAQQQAASEIAAOhBAAC8QgAAxsIAACBCAAAAwAAAIMIAAHBBAADsQgAAgEEAAEDBAACAPwAAuMEAADxCAACYQQAA2EEAAI7CAAAAwAAAEMIAAIZCAACAPwAAAMEAAEBAAAAYQgAAQEAAAAhCAADAwQAArMIAAIDAAACIwQAAwEAAAKBBAADAQQAAUMEAACjCAAB8QgAAQEEAAFRCAABIwgAAgEAAAKDAAABQQgAAgkIAANjBAADSQgAAQMEAAGDCAACIwQAAgL8AACBCAAAMwgAAmMEAABxCAAAIQgAAJEIAANDBAADQwQAAVEIAAAxCAACcQgAAwEEAAGzCAAD4QQAAoMAAAAzCAAAswgAASMIAAPjBAABgQQAAgMAAAMBAAADAQAAALEIAAHBBAABIwgAAOMIAALDBAABIwgAA6EEAAIDBAACoQQAA8EEAAKDAAACowQAA4EAAALhBAADgQQAAAMEAADDCAACowQAAiMEAACDCAAAEwgAAjMIAACzCAADgQQAAkkIAAKhBAAC4wQAAIMEAAMDAAAD4QQAAMMEAABjCAAB0QgAA6EEAAAxCAABgQQAAukIAAFTCAABUwgAAMMEAAChCAADgwAAASEIAAKxCAACYQQAACMIAAMBAAADAwQAAoEEAAJBBAAAAwAAAcMEAAJTCAAAwwQAAmMEAADDCAABYwgAAgMAAAJxCAACowQAAWEIAAADCAAAQwQAAsMEAAADBAACoQQAAXEIAAIRCAACcQgAAjMIAAHBBAAC4wQAAiMEAAADCAADgQAAAQMAAAFzCAADowQAAIEIAABjCAADgwQAAgMAAAATCAAAAwAAAmEEAAEjCAACoQQAAuMEAAIDBAAAUwgAAosIAAChCAACgQQAAAMEAAIBAAACAwAAAYEEAALDCAADYwSAAOBNACUh1UAEqjwIQABqAAgAAyL0AAHA9AAA8PgAAiD0AAOC8AADgPAAA2D0AAAG_AAD4vQAAED0AAIC7AABwPQAADD4AALg9AADovQAAfL4AABw-AAD4PQAAhj4AANY-AAB_PwAABL4AADC9AACgPAAAyL0AAGS-AADIPQAA4LwAAAQ-AACuPgAAMD0AAIi9AABwvQAARD4AAOg9AACKPgAAHD4AABy-AABMvgAAhr4AAPi9AAC4PQAAgLsAAEC8AAAUPgAAHL4AAOg9AACIvQAAyL0AADS-AAD4PQAAND4AAHQ-AADIPQAAUL0AAEA8AAAFPwAA4DwAAFA9AABwvQAAuL0AAKC8AACoPQAANL4gADgTQAlIfFABKo8CEAEagAIAAOC8AAAMPgAAUL0AAB-_AAAUvgAA-D0AAAQ-AABwvQAA4LwAACw-AACYvQAARL4AABA9AAAcvgAAHD4AAEA8AADYPQAAMT8AABC9AAC-PgAAoDwAAJi9AAAQPQAAqL0AAHC9AAAkPgAAML0AAEA8AACgvAAAcD0AAIA7AADgPAAAiL0AAI6-AADgvAAA2D0AABS-AAAQPQAALL4AABS-AABAvAAAhj4AABw-AAAwvQAAUL0AALg9AAB_vwAAyL0AABA9AAAQvQAAED0AAOC8AAC4vQAAXD4AACw-AACIPQAAoDwAAEA8AAA8vgAAiD0AAHA9AABAvAAAhj4AAOi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=R9zRyYVReKU","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["12810108055640909185"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"12600099439135187515":{"videoId":"12600099439135187515","docid":"34-2-7-ZAE57253D61CB60C0","description":"Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4 Moderators: Ihor Kuz Speakers: Michael Neises, University of Kansas This application-in-development leverages the...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/911399/1a19aad0ed456db4d24bb507392d5fc2/564x318_1"},"target":"_self","position":"19","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DlyTyJKugoqU","linkTemplate":"/video/preview/12600099439135187515?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4 - Michael Neises","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=lyTyJKugoqU\",\"src\":\"serp\",\"rvb\":\"Eq4DChM1OTI1Nzg0ODQ0MjE3MzUyNjEzChMxMjA2MzY4MjE0Mzk2NzUwNTE2ChQxNzA0NTExNTY4NDEyNTkwNTE1NAoTMzUxNDY2MTQ4MTc1NDI4NTQ2OQoUMTMwMDMyNzkzMTI2NDYxMTc5ODcKEzY4MDAyNjQwNTUzMTI4MDQyODIKEzI1ODIyMDM3NzA5NTg0MTU2NjYKFDEwMTk4NDQ5NzQ3ODczMDI4OTAwChI1Mzg0MDk5NjA0MTI2OTc3MTMKFDE0NzE1NTg1NDcwNDU2NzU4NzYxChQxMTc0ODg5MzYyMzU1Njg5NTMxNgoUMTY2ODMyOTM1MTUxNjk0MjY4NTQKFDE4MDkzMjA5OTM3MTE5NTQ1Nzc0ChMyNTAwMDg1NzEzMTc4Mzc2MDAwChMxMTYxNTMzNTk0MTEwNDQ0ODU1ChQxNDk3NzcxMTI4NDA4ODczNzkyNwoUMTI4MTAxMDgwNTU2NDA5MDkxODUKFDEyNjAwMDk5NDM5MTM1MTg3NTE1ChMzMzE4MTk3MjczNzQ2MjY1NTY5ChQxNDI4OTM1MzI1MTA4NTUzOTM5MhoWChQxMjYwMDA5OTQzOTEzNTE4NzUxNVoUMTI2MDAwOTk0MzkxMzUxODc1MTVqrg0SATAYACJEGjAACiloaHh0cm1peHFqZXpsZnBoaFVDSXFWWTFYRlBPUElaMXoyQTlUcm1NQRICABEqEMIPDxoPPxOYCIIEJAGABCsqiwEQARp4gQoAAAQB_wD8BfwGAQf9AggBB_r3__8A5PD7AAn9AQAB8AT_-gAAAAMI-fv3AAAAAv799vP9AQD9Afnz9AAAAB8BCf_6AAAADA7vAv8BAAD1_P7tAQAAABcF_gYAAAAABAsMEv4AAAAK_wIMAAAAAAYJ7QIAAAAAIAAtm6rROzgTQAlITlACKnMQABpgDggAEBAL7NgYGOj79OzwGuQS9vXJ6QDv2gDVIvv7E9PT3eoJ_yrmF-XEAAAACBztHCgA61H25tH1ACDp2dTmER5_Ag_x2iHw79X86tQRFBDr8kMeAPzqCwEkDukvHSETIAAtAx5bOzgTQAlIb1ACKq8GEAwaoAYAANhBAABAQAAAAEEAAKDBAADAQQAAQMAAAChCAAAsQgAAAMIAAEDBAABsQgAAmsIAAMDCAAAgQQAAbEIAAAjCAACQwQAAhMIAAEjCAABAwgAAQMAAACzCAACwwQAAEEIAAEDAAAC4wQAAiMIAAKTCAABgQQAAiEIAAKhBAACGQgAAxsIAAOBBAAAQwQAACMIAAOhBAADWQgAAIMEAAEDAAACQQQAAqMEAAEhCAACwQQAAQEIAAOTCAABwwQAAMMIAAJ5CAABAQQAAoMAAAIBAAAAEQgAA4EAAAEhCAADQwQAAzsIAAJBBAADwwQAAoEAAADBCAADIQQAAyMEAADjCAAAwQgAAIEEAAOhBAAB8wgAA-EEAAHDBAACEQgAASEIAAETCAACsQgAAUMEAAHTCAABQwQAAwMAAAKBBAACIwQAAsMEAAMhBAAAcQgAAKEIAAADCAACAwQAAOEIAAJhBAACyQgAA4EAAACDCAADoQQAAwEEAADjCAAAcwgAAXMIAAAzCAADAQAAAYEEAADBBAACQwQAAgEIAAFBBAAA0wgAA4MEAABTCAABowgAAqEEAAJDBAABEQgAAFEIAAOhBAACgwQAAEMEAAFBBAABQQQAAkMEAAAzCAAAAwgAAQMAAAAjCAADYwQAAmMIAABzCAABIQgAAhEIAAABBAABAQAAA-MEAAHBBAADoQQAAMMEAAPjBAABUQgAAgEAAADBBAACAPwAAoEIAAGTCAABcwgAAmMEAAChCAAAAQAAAoEEAAKBCAABwQQAAmMEAAEDBAACAvwAAEEEAADDBAACgwAAAQMAAACDCAABAwAAA4MEAAAzCAACCwgAABMIAAKBCAADgwQAAVEIAAAjCAAAEwgAA0MEAAIBAAAAAQgAAokIAADBCAACWQgAAiMIAAOhBAADIwQAAAEAAABDBAACAvwAAAMEAANjBAACAPwAAmEEAAJDBAAAgwgAAwEAAAABBAACYQQAAgMAAAAzCAAAMQgAA0MEAAMjBAAAAwgAAnMIAABhCAABAwAAAMEEAALjBAABAwAAAMMEAAMDCAAD4wSAAOBNACUh1UAEqjwIQABqAAgAAHL4AAMi9AABUPgAA4DwAANg9AABwPQAA4DwAAAG_AABMvgAAHD4AAKi9AAC4PQAAmD0AAOg9AABEvgAAoDwAAFw-AADgvAAAcD0AAGw-AAB_PwAAgLsAAOA8AADgPAAAUD0AAKg9AADgvAAAuL0AAKi9AAAkPgAAUD0AAMi9AACovQAAqD0AALg9AADIPQAAJD4AANi9AABEvgAAnr4AAAy-AAAkPgAAQDwAAHC9AAAwvQAAhr4AACw-AAAcvgAAmL0AAIa-AACgPAAAcL0AADQ-AABQPQAAFL4AAKi9AACyPgAAgDsAAOC8AACmPgAAiL0AAIg9AADoPQAA4LwgADgTQAlIfFABKo8CEAEagAIAAAS-AADoPQAA4LwAACe_AACSvgAAqD0AACQ-AAD4PQAAEL0AAFQ-AAB0vgAAkr4AAKg9AADIvQAAQLwAABC9AAAMPgAAJz8AAOg9AACmPgAAQDwAAKi9AACIPQAAyL0AANi9AAAkPgAABD4AAKA8AACoPQAAmD0AAEA8AACAuwAAuL0AADy-AAAEvgAAoDwAAEw-AACOPgAAPL4AANi9AAAUPgAAkj4AAI4-AABAPAAAED0AAEw-AAB_vwAAoLwAAAS-AABMPgAATD4AADC9AACKPgAAJD4AADw-AADgPAAAED0AAIg9AABEvgAA-L0AADQ-AACYPQAAUL0AABS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=lyTyJKugoqU","parent-reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["12600099439135187515"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":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 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":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":2563},"parentClipId":"5925784844217352613","href":"/preview/5925784844217352613?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/5925784844217352613?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1206368214396750516":{"videoId":"1206368214396750516","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=SkT_6yuvkIU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/SkT_6yuvkIU?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":113,"text":"1:53","a11yText":"Süre 1 dakika 53 saniye","shortText":"1 dk."},"date":"6 ara 2018","modifyTime":1544054400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/SkT_6yuvkIU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=SkT_6yuvkIU","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":113},"parentClipId":"1206368214396750516","href":"/preview/1206368214396750516?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/1206368214396750516?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":4043},"parentClipId":"17045115684125905154","href":"/preview/17045115684125905154?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/17045115684125905154?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":5848},"parentClipId":"3514661481754285469","href":"/preview/3514661481754285469?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/3514661481754285469?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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,2bin","a11yText":"12,2 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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":2024},"parentClipId":"13003279312646117987","href":"/preview/13003279312646117987?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/13003279312646117987?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":5252},"parentClipId":"6800264055312804282","href":"/preview/6800264055312804282?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/6800264055312804282?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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,5bin","a11yText":"6,5 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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":5094},"parentClipId":"2582203770958415666","href":"/preview/2582203770958415666?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/2582203770958415666?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"10198449747873028900":{"videoId":"10198449747873028900","title":"\u0007[seL\u0007]\u0007[4\u0007] \u0007[microkernel\u0007] runs on RISC-V/FPGA","cleanTitle":"seL4 microkernel runs on RISC-V/FPGA","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=zcXwENo-auk","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/zcXwENo-auk?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":"d3d3LnlvdXR1YmUuY29tO1VDazZLNnR0UkJmSHdEWUV1N2ZqVDV3QQ==","name":"Hesham Almatary","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Hesham+Almatary","origUrl":"http://www.youtube.com/@heshamalmatary5730","a11yText":"Hesham Almatary. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":45,"text":"00:45","a11yText":"Süre 45 saniye","shortText":""},"views":{"text":"1,9bin","a11yText":"1,9 bin izleme"},"date":"17 tem 2015","modifyTime":1437091200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/zcXwENo-auk?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=zcXwENo-auk","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":45},"parentClipId":"10198449747873028900","href":"/preview/10198449747873028900?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/10198449747873028900?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1726},"parentClipId":"538409960412697713","href":"/preview/538409960412697713?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/538409960412697713?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"14715585470456758761":{"videoId":"14715585470456758761","title":"\u0007[seL\u0007]\u0007[4\u0007] Multikernel Roadmap and Concurrency Verification - Corey Lewis","cleanTitle":"seL4 Multikernel Roadmap and Concurrency Verification - Corey Lewis","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=8JLKtpB1KPM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/8JLKtpB1KPM?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":1789,"text":"29:49","a11yText":"Süre 29 dakika 49 saniye","shortText":"29 dk."},"date":"23 eki 2024","modifyTime":1729641600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/8JLKtpB1KPM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=8JLKtpB1KPM","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1789},"parentClipId":"14715585470456758761","href":"/preview/14715585470456758761?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/14715585470456758761?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"11,7bin","a11yText":"11,7 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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":5986},"parentClipId":"11748893623556895316","href":"/preview/11748893623556895316?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/11748893623556895316?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"16683293515169426854":{"videoId":"16683293515169426854","title":"1d: Matt Brecknell: Explaining \u0007[the\u0007] \u0007[seL\u0007]\u0007[4\u0007] integrity theorems","cleanTitle":"1d: Matt Brecknell: Explaining the seL4 integrity theorems","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=fyF9w_CsCEU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/fyF9w_CsCEU?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":1708,"text":"28:28","a11yText":"Süre 28 dakika 28 saniye","shortText":"28 dk."},"date":"26 eki 2022","modifyTime":1666742400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/fyF9w_CsCEU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=fyF9w_CsCEU","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1708},"parentClipId":"16683293515169426854","href":"/preview/16683293515169426854?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/16683293515169426854?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1831},"parentClipId":"18093209937119545774","href":"/preview/18093209937119545774?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/18093209937119545774?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"2500085713178376000":{"videoId":"2500085713178376000","title":"1h: Kent McLeod: Multiprocessing on \u0007[seL\u0007]\u0007[4\u0007] with verified kernels","cleanTitle":"1h: Kent McLeod: Multiprocessing on seL4 with verified kernels","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ooIPe4wRMKk","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ooIPe4wRMKk?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":2734,"text":"45:34","a11yText":"Süre 45 dakika 34 saniye","shortText":"45 dk."},"date":"26 eki 2022","modifyTime":1666742400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ooIPe4wRMKk?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ooIPe4wRMKk","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":2734},"parentClipId":"2500085713178376000","href":"/preview/2500085713178376000?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/2500085713178376000?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1742},"parentClipId":"1161533594110444855","href":"/preview/1161533594110444855?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/1161533594110444855?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":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":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1671},"parentClipId":"14977711284088737927","href":"/preview/14977711284088737927?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/14977711284088737927?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12810108055640909185":{"videoId":"12810108055640909185","title":"Showcase: \u0007[Microkernel\u0007] OS, TPMs, and WASM in IIoT Environments - Sid Hussmann, Gapfruit","cleanTitle":"Showcase: Microkernel OS, TPMs, and WASM in IIoT Environments - Sid Hussmann, Gapfruit","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=R9zRyYVReKU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/R9zRyYVReKU?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":1967,"text":"32:47","a11yText":"Süre 32 dakika 47 saniye","shortText":"32 dk."},"date":"24 oca 2024","modifyTime":1706054400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/R9zRyYVReKU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=R9zRyYVReKU","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1967},"parentClipId":"12810108055640909185","href":"/preview/12810108055640909185?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/12810108055640909185?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12600099439135187515":{"videoId":"12600099439135187515","title":"Trustworthy Measurements of a Linux Kernel and Layered Attestation via \u0007[the\u0007] \u0007[seL\u0007]\u0007[4\u0007] - Michae...","cleanTitle":"Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4 - Michael Neises","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=lyTyJKugoqU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/lyTyJKugoqU?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":1048,"text":"17:28","a11yText":"Süre 17 dakika 28 saniye","shortText":"17 dk."},"date":"24 oca 2024","modifyTime":1706054400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/lyTyJKugoqU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=lyTyJKugoqU","reqid":"1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL","duration":1048},"parentClipId":"12600099439135187515","href":"/preview/12600099439135187515?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","rawHref":"/video/preview/12600099439135187515?parent-reqid=1769502202790943-11688197826300275904-balancer-l7leveler-kubr-yp-klg-304-BAL&text=The+seL4+Microkernel","isEmbedOnly":false,"shouldPlayInstreamPreroll":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x001cd987dbd","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"6881978263002759047304","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"}}}