igrep  id:igrep  



25,981    

-    

-    









.NET  (51)  

2ch  (58)  

AI(249)  

API  (53)  

ARM  (42)  

AWS Lambda  (18)  

ActiveRecord  (17)  

Advent Calendar  (28)  

Apple  (95)  

C(84)  

C#  (36)  

C++  (81)  

CI(64)  

COVID-19  (454)  

CPU  (62)  

CSS  (237)  

CSV  (15)  

ChatGPT  (89)  

Chrome  (305)  

Chrome OS  (20)  

Chromebook  (18)  

C  (30)  

DB(80)  

DNS  (37)  

Debian  (17)  

ECMAScript  (26)  

Edge  (31)  

Eight  (23)  

F#  (15)  

FRP  (23)  

Fintech  (21)  

Firefox  (106)  

Flash  (42)  

GC(25)  

GMO  (37)  

GPU  (29)  

GTD  (27)  

GUI  (43)  

Git  (255)  

Gmail  (26)  

Google  (443)  

Google Apps Script  (17)  

Google Home  (38)  

Google+  (23)  

GraphDB  (15)  

GraphQL  (51)  

IDE  (38)  

Intel  (34)  

IoT  (95)  

Java  (255)  

JavaScript  (1237)  

Kubernetes  (116)  

LGBT  (34)  

LINE  (55)  

LLM  (89)  

LLVM  (41)  

LaTeX  (49)  

Lua  (38)  

Mac  (71)  

Mastodon  (36)  

Microsoft  (185)  

Monad  (76)  

NHK  (38)  

Neo4j  (15)  

NoSQL  (22)  

OCaml  (44)  

OS(26)  

Oracle  (47)  

P2P  (20)  

PDF  (42)  

PHP  (38)  

PostgreSQL  (87)  

PowerShell  (44)  

PureScript  (51)  

Python  (233)  

Qiita  (27)  

R(29)  

RDB  (24)  

RDBMS  (21)  

REST  (21)  

Raspberry Pi  (16)  

Ruby  (539)  

SEO  (23)  

SIer  (15)  

SQLite  (17)  

SVG  (37)  

Safari  (22)  

Sansan  (50)  

Selenium  (28)  

Swift  (45)  

TCP  (27)  

TDD  (18)  

TLS  (19)  

Twitter  (216)  

UI(40)  

UX(16)  

Unity  (16)  

V8  (18)  

VR(37)  

Visual Studio  (18)  

Visual Studio Code  (52)  

WASI  (79)  

Web API  (36)  

WebRTC  (21)  

WebSocket  (18)  

Web  (237)  

Windows  (325)  

Windows 10  (59)  

XML  (16)  

XSS  (27)  

Yesod  (39)  

YouTube  (34)  

accessibility  (42)  

amazon  (74)  

android  (436)  

aws  (168)  

azure  (38)  

bash  (50)  

benchmark  (16)  

bot  (23)  

cabal  (65)  

canvas  (24)  

chromium  (24)  

cli  (113)  

clojure  (80)  

cloud  (81)  

conduit  (22)  

cookie  (20)  

coq  (17)  

cui  (17)  

cybozu  (20)  

ddd  (20)  

devops  (20)  

dhall  (21)  

docker  (241)  

dropbox  (25)  

eclipse  (15)  

electron  (25)  

elixir  (21)  

elm  (252)  

emacs  (26)  

emoji  (33)  

erlang  (25)  

eta  (15)  

ethereum  (19)  

excel  (44)  

facebook  (118)  

framework  (37)  

gem  (27)  

ghc  (367)  

github  (290)  

gitlab  (51)  

go(90)  

golang  (100)  

google cloud platform  (37)  

hash  (15)  

haskell  (3701)  

haskell-jp  (40)  

heroku  (28)  

html  (152)  

html5  (110)  

http  (58)  

http2  (28)  

https  (23)  

iOS  (137)  

iPad  (19)  

iPhone  (74)  

ie(38)  

iij  (108)  

intellij  (21)  

jQuery  (33)  

jenkins  (18)  

json  (117)  

jvm  (41)  

kindle  (23)  

kintone  (18)  

kotlin  (84)  

language server protocol  (18)  

lens  (48)  

linux  (375)  

lisp  (29)  

markdown  (45)  

microservices  (22)  

mixi  (15)  

moongift  (29)  

mysql  (128)  

neovim  (102)  

news  (344)  

nginx  (16)  

nix  (24)  

node  (53)  

node.js  (186)  

note  (71)  

npm  (53)  

oauth  (17)  

oss  (250)  

pandoc  (18)  

perl  (19)  

rails  (186)  

react  (149)  

redis  (19)  

rspec  (29)  

rust  (467)  

scala  (77)  

security  (948)  

servant  (42)  

serverless  (42)  

shell  (35)  

slack  (94)  

sns  (200)  

sony  (20)  

sql  (107)  

ssh  (55)  

stack  (95)  

svelte  (27)  

systemd  (18)  

test  (17)  

tips  (269)  

tmux  (29)  

trouble  (68)  

tutorial  (28)  

typescript  (199)  

ubuntu  (109)  

unicode  (40)  

unix  (24)  

vim  (368)  

vue.js  (26)  

wasmer  (24)  

webassembly  (841)  

webpack  (20)  

web  (893)  

 (318)  

 (21)  

 (30)  

 (25)  

 (29)  

 (59)  

 (88)  

 (35)  

 (254)  

 (33)  

 (102)  

 (56)  

 (168)  

 (117)  

 (30)  

 (152)  

 (117)  

 (53)  

 (40)  

 (25)  

 (17)  

 (42)  

 (28)  

 (28)  

 (38)  

 (25)  

 (18)  

 (23)  

 (135)  

 (73)  

 (21)  

 (17)  

 (15)  

 (26)  

 (38)  

 (31)  

 (51)  

 (49)  

 (58)  

 (92)  

 (28)  

 (20)  

 (265)  

 (46)  

 (48)  

 (119)  

 (64)  

 (65)  

 (35)  

 (26)  

 (45)  

 (22)  

 (567)  

 (20)  

 (45)  

 (19)  

 (19)  

 (29)  

 (24)  

 (33)  

 (33)  

 (28)  

 (20)  

 (166)  

 (21)  

 (34)  

 (45)  

 (52)  

 (238)  

 (30)  

 (29)  

 (296)  

 (86)  

 (25)  

 (20)  

 (86)  

 (20)  

 (31)  

 (29)  

 (20)  

 (17)  

 (17)  

 (41)  

 (34)  

 (16)  

 (119)  

 (27)  

 (37)  

 (72)  

 (65)  

 (54)  

 (40)  

 (35)  

 (178)  

 (20)  

 (18)  

 (37)  

 (99)  

 (632)  

 (138)  

 (34)  

 (36)  

 (21)  

 (79)  

 (76)  

 (43)  

 (234)  

 (21)  

 (51)  

 (22)  

 (172)  

 (69)  

 (21)  

 (42)  

 (26)  

 (18)  

 (22)  

 (63)  

 (33)  

 (23)  

 (86)  

 (54)  

 (77)  

 (81)  

 (48)  

 (32)  

 (30)  

 (44)  

 (68)  

 (117)  

 (16)  

 (54)  

 (16)  

 (25)  

 (50)  

 (16)  

 (33)  

 (39)  

 (188)  

 (53)  

 (21)  

 (394)  

 (341)  

 (146)  

 (74)  

 (27)  

 (24)  

 (443)  

 (103)  

 (51)  

 (82)  

 (27)  

 (106)  

 (27)  

 (37)  

 (65)  

 (68)  

 (144)  

 (74)  

 (71)  

 (141)  

 (149)  

 (20)  

 (43)  

 (65)  

 (42)  

LAN  (24)  

 (153)  

 (57)  

 (46)  

 (156)  

 (158)  

 (18)  

 (49)  

 (28)  

 (29)  

 (23)  

 (71)  

 (26)  

 (79)  

 (42)  

 (60)  

 (42)  

 (104)  

 (55)  

 (79)  

 (365)  

 (104)  

 (18)  

 (63)  

 (28)  

 (23)  

 (162)  

 (102)  

 (61)  

 (40)  

 (54)  

 (58)  

 (34)  

 (17)  

 (43)  

 (44)  

 (21)  

調  (17)  

 (24)  

 (38)  

 (55)  

 (18)  

 (27)  

 (19)  

 (31)  

 (54)  

 (24)  

 (22)  

 (176)  

 (19)  

 (29)  

 (26)  

 (68)  

 (52)  

 (71)  

 (38)  

 (49)  

 (44)  

 (73)  

 (46)  

 (19)  

 (144)  

haskell  (3701)  

JavaScript  (1237)  

security  (948)  

web  (893)  

webassembly  (841)  

 (632)  

 (567)  

Ruby  (539)  

rust  (467)  

COVID-19  (454)  


 


 (5)



AWS  

OCaml  

os

OS

Xen  


 




exokerneligrep (2)  






Mirage OS - Xen Project  



8 users  

xenproject.org  


 


What is Mirage OS? MirageOS is a library operating system that constructs unikernels for secure, high-performance, low-energy footprint applications across various hypervisor and embedded platforms. Itis available as an open-source project created and maintained by the MirageOS Core Team. A unikernel can be customised based on the target architecture by picking the relevant MirageOS libraries and
 



igrep
igrep  2013/08/27  
"Code can be developed in a high-level functional programming language (OCaml) on a desktop OS such as Linux or Mac OSX, and is then compiled into a fully-standalone, specialised microkernel."  

exokernel

OS

OCaml

Xen

AWS
 



 














Exokernel - Wikipedia  



4 users  

en.wikipedia.org  


 


This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Exokernel"  news · newspapers · books · scholar · JSTOR (September 2016) (Learn how and when to remove this message) Graphic overview of Exokernel. Exokernels are much smaller than a normal kernel (mono
 Exokernel - Wikipedia


igrep
igrep  2013/08/27  


exokernel

os




 














1











202472

   



20242-20244

   



202471

   


 

Twitter



@HatenaBookmark


@hatebu

 









   




 



j

k

l

e

o
 

















 









 

















 









 









 







Pro



 




 






App Storeからダウンロード
Google Playで手に入れよう


Copyright © 2005-2024 Hatena. All Rights Reserved.
 



x