Brent's Bookmarks

Tuesday, August 21, 2018

The seL4 Microkernel Security is no excuse for poor performance!

http://sel4.systems/
Interesting - a provably secure microkernel.

Posted by Ivey Brent Laminack at 9:08 AM

Email This BlogThis!Share to Twitter Share to Facebook Share to Pinterest

Labels: architecture, microkernel, opensource, os, security

Newer Post Older Post Home

Search This Blog

About Me

Ivey Brent Laminack

View my complete profile

Labels

3dprinting accessibility accounting acoustics addiction adhd adsense adventure advertising advice adwords aerogel aes67 affiliatemarketing agile aging ai airtable alexa algorithms alternativefuel alternativehealing amateurradio amazon ambientaudio analog analytics android angular.js animation anime antenna antivax apache api apis app appbook apple arbitrage archiecture architecture arduino arg art ascii asciiart assistant astronomy astrophotography astrophysics async audio audioengineering audiophile augmentedreality authentication automation automobiles aws b2b backend backlinks backup banking bash battery bbq beaglebone benchmark bespoke bgp bi biamp bigdata billing biography bitcoin blade blimp blockchain blog blogging blogs book bookmarking books bookstore bootcamps bootstrap bots boxclubs bps brickandmortar broadcasting browsers bsd buddha busines business businessdevelopment businessmodel businessschool C cabin cable cablemodem cad callcenter calltracking camera captcha career cars casestudy centos cern certificates certification change chaos charts chat chatbots chatgpt cheatsheet christainity chrome chromebooks chrony churches ci cicd cinema citizenscience classification cli clock closures clothing cloudcomputing cloudformation clusteranalysis cms cnc co-founder codeless coding cognitive biases college color coloring colorscheme comics community components composer compression computation computerliteracy computerscience computervision computing configuration conlang conspiracies consulting containers conted content contentmarketing contest contracts control conversation conversion cookies cooking copyright copywriting cosmology costco costs course courses coworking crafts creativecommons creativity creators credentials creditcards crime criticism crm cron crossovers crowdfunding crowdsourcing cryptocurrency cryptography css cssgrids csv curl cxo cybercrime d3 dac darkweb dashboard data database dataengineering dataflow datagrid datamanagement datamining datascience datascienct datascraper datasets datavisualization datetime daw dc ddos debugging decisionmaking deck deeplearning demographics deployment depression design designpatterns desktop developers developmenrt development devops diagnostics diagrams diet digital digitalmarketing digitalphotography discussion disk disney distance distributed distributedteams distro diy django dlt dns docker documentation documents domains DOS driverless drm drone dropshipping drupal dsp dst dvd dynamodb e-government ebook ebooks ec2 ecommerce economics edgecomputing editor educatino education elasticsearch elearning electricity electromagnetism electronics elixir ELK ellipticcurve eloquent elt email emailmarketing emoji emory employment encryption energy engineering English enterprise entertainment entrepreneur entrepreneurship epub equations equipment erlang escape rooms esp ethereum etl evernote exercise expat extensions eyeglasses facebook failure fantasy fba fedora feedback feynman fiction filesharing filesystem film finance financing fintech firewall flask flatfile flexbox flying focus fontawesome fonts food foreveryoung forms forum foundation framework frameworks framing franchise free freelancing freespeech frontenddevelopment fun functionalprogramming funding fundraising funny fusion future gae gambling games gamification gaming gas gatech gce geneticalgorithms geography geometry giftideas ginseng git github gitlab gmail go golang google google earth google maps googleanalytics googleapps googlecalendar googlecloud googledocs googlefonts googlesheets googletrends government grammar graph graphicnovels graphics graphing graphql graphs grid gsuite gtd h1-b habits hacking hamradio handlebars happiness hardware hashing headless health heating hifiberry history hobbies homelab hosting housing howto html html5 http humor hvac iam ide ideas ides illustrations imagerecognition images incubator indexdb inflammation infographic infosec innovation inspiration instagram instrumentation intelligence internet interviewing inventory management investing invoicing ios iot iota ipfs iphone iptv iq isp IT jam jamstack java javascipt javascript jeopardy jobs joists joomla journaling jpeg jq jquery JRRT js8call json jupyter jwt kafka keepitforme keyboards keywords kibana kickstarter kindle kits klipsch kotlin kubernetes kvm lambda landingpages language laptop laracasts laravel latex law leadership leadgeneration leads learning legacycode legal lego leisure lendingclub lessons libraries library licenses life lifehack lifelessions lifelessons lifeskills lightning linearalgebra lingustics linkedin linux listening literature lithophane livestreaming LMS loans logging logic logos long-tail lowcode lta luck lumibox machinelearning machines macintosh macos magento mail mailinglists maker malware management manufacturing map mapping maps marketing marketingautomation marketplace materialdesign math mba measurement mechanics media medicine meditation membership memes memory mentalhealth mentalmodels messaging metrics microfinancing microframework microkernel micropayments microphones microscope microservices microsoft midi mindfulness minimalism mobile mobiledevelopment modeling money mongodb monitoring monolog motivation mountainphotos movies mp3 mturk multitags mushrooms music mvc mvp mysql mystery nasa naturallanguage netflix network networking neuralnetwork neuroscience news newsletter nginx nlp nocode node nodejs non-profit nootropics nosql notifications nsa ntp nuclear null numby numpy oauth object-oriented-programming office offshoring omnichannel online oop open4business opencourseware opendata openhardware opensource operatingsystems opesource options organization os outsourcing overview paas packages pagekit pagerank pagespeed pain pandas parenting parody particlephysics password passwords patternrecognition payment payment gateway payment processor pcb pci peer-to-peer pens pentesting performance personaldevelopment personalfinance personality pharma philosophy phones photography php php performance physics piracy pki plan9 podcast podcasting podcasts podman poker police policy politics pollution portal POS postgresql postman powerpoint presentations pricing printers privacy prng probability process product-launch productivity productlaunch products programming projectmanagement promotion propane prosper protocols proxy psychedelics psychoacoustics psychology publicdomain publicity publicspeaking publishing pubsub puzzles pv pwa python pytorch QA qrcode quality quantum quantumcomputing queue quic quotes r RabbitMQ race radio raid railroad randomness ranking raspberrypi rbac rdbms react react.js reactnative reading readlater realestate recaptcha recording recordings recreation reddit redhat redis redshift refactoring reference regex reinforcement relationships relativity relaxing reliability religion remote remotework reporting reproducibility research resonance responsive REST restaurant retail retirement reverseetl review reviews rhetoric rhythm risks Rlanguage robotics robots roku route53 router rpc rsa rss rsync ruleofthumb rv rving s3 saas salaries sales SAML sass satellite SBC scalability scam scheduling science scifi scikit screencast screenscraper scripting sdr search security seim selfdriving selfhosted selfpublishing selling sem seo serverless sfa shakespeare shed shell shopify shoppingcart sidechannel sidehustle simulation sitebuilder sixsigma sketch skip slack sleep slideshare smallbusiness smartcontracts smarthome smartphone smartspeakers sms smtp soapbubbles socialengineering socialmedia socialmediaautomation socialmediamanagement society socket.io software solaris solarpower SOLID sota sound sous-vide spa space spam spark speakers spirituality sponsor spotify sql sqlite ssg ssh ssl stablediffusion startup startups static staticwebsite statistics statsd steganography STEM stocks stocktrading storage storytelling streaming stripe stript studio stupidity styletransfer subscriptions success supercomputing supervisord suppliers suse svg swf swift symphony sysadmin sysops systemd tables tabletop tagging tailwindcss tcpdump tcpip TDD teaching techdebt teched technews technology telemetry telephony telescopes television teleworking templates tensorflow terminal terraform test testimonials testing text-to-speech textbook textmessaging thinking thoughleadership threads time tinyhouse tippingpoint tls to see todo tokens tools topsites tor toread toys traceroute tracing tracking traffic training trains traits transactional transcoder transcription transit travel triz truck tube tutorial tutorials tv twilio twitch twitter typescript typography u2f ubuntu udp ufos UI ulysses unicode unittesting unix upc upcycling urlshortners usability userinfo utility UX vacation vault vi video videochat vim virtualclassroom virtualization virtualoffice vision visualization visualizer visualprogramming vlogging voice voip voting vpn vr vscode vue.js walking walmart WAN wealth weather weatherunderground web webcomics webdata webdesign webdevelopment webdevelopmet webforms webgl webgraphics webhosting webmaster webmention webpack webradio webrtc webscraper webserver websites websockets webtechnology webvideo wellness whiteboard wifi wiki windows wireframe wisdom woocommerce woodworking wordpress work workflow workshops writing wsog xdebug xml xss youtube zfs

Blog Archive

► 2023 (39)
- ► July (8)
- ► May (3)
- ► March (12)
- ► February (1)
- ► January (15)

► 2022 (51)
- ► December (12)
- ► November (9)
- ► October (15)
- ► May (8)
- ► April (2)
- ► March (2)
- ► January (3)

► 2021 (150)
- ► October (4)
- ► September (11)
- ► August (19)
- ► July (23)
- ► June (17)
- ► May (16)
- ► April (20)
- ► March (20)
- ► February (1)
- ► January (19)

► 2020 (395)
- ► December (28)
- ► November (16)
- ► October (34)
- ► September (17)
- ► August (12)
- ► July (36)
- ► June (31)
- ► May (52)
- ► April (42)
- ► March (41)
- ► February (54)
- ► January (32)

► 2019 (826)
- ► December (75)
- ► November (36)
- ► October (68)
- ► September (57)
- ► August (79)
- ► July (114)
- ► June (75)
- ► May (71)
- ► April (75)
- ► March (73)
- ► February (45)
- ► January (58)

▼ 2018 (875)
- ► December (94)
- ► November (63)
- ► October (80)
- ► September (71)
- ▼ August (74)
- ► July (92)
- ► June (91)
- ► May (66)
- ► April (70)
- ► March (80)
- ► February (41)
- ► January (53)

► 2017 (658)
- ► December (47)
- ► November (22)
- ► October (33)
- ► September (63)
- ► August (32)
- ► July (53)
- ► June (77)
- ► May (49)
- ► April (57)
- ► March (84)
- ► February (59)
- ► January (82)

► 2016 (642)
- ► December (131)
- ► November (94)
- ► October (51)
- ► September (63)
- ► August (84)
- ► July (72)
- ► June (43)
- ► May (48)
- ► April (56)

Simple theme. Theme images by gaffera. Powered by Blogger.