mirage/mirage-skeleton issues and pull requests

#405 - move runtime arguments out of config.ml

Pull Request - State: closed - Opened by hannesm about 2 months ago

#404 - Update website in opam file

Pull Request - State: closed - Opened by reynir about 2 months ago

#403 - adjust unikernels

Pull Request - State: closed - Opened by hannesm about 2 months ago

#402 - Upgrade h2 to 0.13.0 and change a bit the API from it

Pull Request - State: closed - Opened by dinosaure 3 months ago - 2 comments

#401 - applications/http doesn't compile anymore (due to h2 upgrade)

Issue - State: closed - Opened by hannesm 3 months ago - 1 comment

#400 - update to TLS 1.0 and mirage-crypto 1.0 API, remove mirage-random usage

Pull Request - State: closed - Opened by hannesm 3 months ago - 6 comments

#399 - re-enable docteur unikernel now that 0.0.7 is out

Pull Request - State: open - Opened by hannesm 4 months ago - 1 comment

#398 - http/git/dns adapt to happy-eyeballs changes

Pull Request - State: closed - Opened by hannesm 6 months ago

#397 - An example unikernel that just serves a website via HTTP would be great to have

Issue - State: open - Opened by hannesm 6 months ago - 1 comment
Labels: good first issue

#396 - use ethif instead of deprecated etif

Pull Request - State: closed - Opened by hannesm 6 months ago

#395 - Add Mirage bounds in config.ml (since mirage 4.4.1, mirage/mirage#1466)

Pull Request - State: closed - Opened by hannesm 7 months ago - 2 comments

#394 - mirage-time is now variant :)

Pull Request - State: closed - Opened by hannesm 7 months ago - 1 comment

#393 - dhcp: handle return value from N.listen

Pull Request - State: closed - Opened by hannesm 7 months ago

#392 - fix default https port

Pull Request - State: closed - Opened by verbosemode 7 months ago

#391 - Add simple dream server skeleton to applications

Pull Request - State: open - Opened by panglesd 7 months ago - 4 comments

#390 - clock goes variants

Pull Request - State: closed - Opened by hannesm 7 months ago - 1 comment

#389 - Remove extra newlines

Pull Request - State: closed - Opened by samoht 8 months ago

#388 - generate should return string rather than Cstuct.t

Pull Request - State: closed - Opened by oemmerson 8 months ago - 3 comments

#387 - Adapt to upstream changes

Pull Request - State: closed - Opened by samoht 9 months ago

#386 - Use `main` instead of `foreign`

Pull Request - State: closed - Opened by samoht 9 months ago

#385 - Adapt to API changes for Device.connect

Pull Request - State: closed - Opened by samoht 9 months ago

#384 - Rename Mirage_key to Mirage_arg

Pull Request - State: closed - Opened by samoht 9 months ago

#383 - Update .ocamlformat

Pull Request - State: closed - Opened by samoht 9 months ago

#382 - Update to the new runtime key API

Pull Request - State: closed - Opened by samoht 11 months ago - 1 comment

#381 - applications/static_website_tls: use standard ports

Pull Request - State: closed - Opened by reynir about 1 year ago - 1 comment

#380 - static_website_tls produce deprecation warnings with cohttp>=6.0.0

Pull Request - State: closed - Opened by samoht over 1 year ago - 6 comments