Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mirage/mirage-skeleton issues and pull requests

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

Pull Request - State: closed - Opened by dinosaure 18 days ago - 2 comments

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

Issue - State: closed - Opened by hannesm 24 days 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 26 days ago - 6 comments

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

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

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

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

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

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

#396 - use ethif instead of deprecated etif

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

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

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

#394 - mirage-time is now variant :)

Pull Request - State: open - Opened by hannesm 5 months ago

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

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

#392 - fix default https port

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

#391 - Add simple dream server skeleton to applications

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

#390 - clock goes variants

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

#389 - Remove extra newlines

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

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

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

#387 - Adapt to upstream changes

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

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

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

#385 - Adapt to API changes for Device.connect

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

#384 - Rename Mirage_key to Mirage_arg

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

#383 - Update .ocamlformat

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

#382 - Update to the new runtime key API

Pull Request - State: closed - Opened by samoht 9 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 about 1 year ago - 6 comments

#379 - Update README.md

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

#378 - Test dev

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

#377 - Test

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

#376 - revert the Key.v -> key renaming, which doesn't work with latest release of mirage

Pull Request - State: closed - Opened by hannesm about 1 year ago - 2 comments

#375 - Revert "Update to latest mirage"

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

#374 - Move runtime keys to runtime modules

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

#373 - Use dune-build-info instead of mirage's app_info device

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

#372 - Move more keys to runtime

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

#371 - docteur: filename is a runtime parameter

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

#370 - Add game example that uses block devices

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

#369 - Rename docteur unikernel to docteur_kv_ro

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

#368 - docteur: use local git repository

Pull Request - State: closed - Opened by reynir over 1 year ago - 3 comments

#367 - Simplify noop example, revert hello example

Pull Request - State: closed - Opened by reynir over 1 year ago - 4 comments

#366 - remove tracing (which was removed in mirage 4.4.0)

Pull Request - State: closed - Opened by hannesm over 1 year ago

#365 - Update ocamlformat version

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

#364 - Update to latest mirage

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

#363 - Remove app_info example

Pull Request - State: closed - Opened by hannesm over 1 year ago

#362 - move packages to foreign/main, instead of register

Pull Request - State: closed - Opened by hannesm over 1 year ago

#361 - Update block device usage example

Pull Request - State: closed - Opened by reynir over 1 year ago - 7 comments

#360 - remove console from unikernels (apart from device-usage/console)

Pull Request - State: closed - Opened by hannesm over 1 year ago - 1 comment

#359 - Noop rev

Pull Request - State: closed - Opened by hannesm over 1 year ago - 2 comments

#358 - device-usage/block issues

Issue - State: closed - Opened by reynir over 1 year ago - 1 comment

#357 - use logs and no console for dhcp unikernel

Pull Request - State: closed - Opened by hannesm over 1 year ago - 1 comment

#356 - mirage-kv 6 fixes

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

#355 - Fix the http application and the rresult dependency

Pull Request - State: closed - Opened by dinosaure over 1 year ago - 1 comment

#354 - applications/crypto and device-usage/prng: explicitly require fmt

Pull Request - State: closed - Opened by hannesm over 1 year ago

#353 - adapt to git 3.13 changes

Pull Request - State: closed - Opened by hannesm over 1 year ago

#352 - fix CI by removing littlefs from makefile

Pull Request - State: closed - Opened by hannesm over 1 year ago

#351 - dune 3.7 introduced a breaking change that leads chamelon to not compile

Pull Request - State: closed - Opened by hannesm over 1 year ago - 1 comment

#350 - Rename git_happy_eyeballs to mimic_happy_eyeballs

Pull Request - State: closed - Opened by dinosaure almost 2 years ago

#349 - Add example of an encrypted littlefs

Pull Request - State: closed - Opened by dinosaure almost 2 years ago

#348 - avoid rec when called with a negative argument

Pull Request - State: open - Opened by palainp almost 2 years ago

#347 - Add an example about HTTP server (including ALPN negocitation)

Pull Request - State: closed - Opened by dinosaure almost 2 years ago

#346 - Use Mirage_block.pp_info

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

#345 - Protect repositories from the Makefile parser when they contain '#'

Pull Request - State: closed - Opened by dinosaure about 2 years ago - 1 comment

#344 - use stackv4v6 instead of stackv4

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

#343 - adapt to mirage 4.2

Pull Request - State: closed - Opened by hannesm over 2 years ago - 1 comment

#342 - The noop and hello examples don’t build without changes

Issue - State: closed - Opened by schubev over 2 years ago - 2 comments

#341 - Rename the docteur example to static_kv_ro

Pull Request - State: closed - Opened by dinosaure over 2 years ago - 1 comment

#340 - adapt to single opam file workflow

Pull Request - State: closed - Opened by TheLortex over 2 years ago - 1 comment

#339 - device-usage/http-fetch tries ipv4 address even with --ipv6-only

Issue - State: open - Opened by reynir over 2 years ago - 1 comment

#338 - tell people which MirageOS version to use if they have the wrong one

Pull Request - State: closed - Opened by sabine over 2 years ago - 3 comments

#337 - Use ocamlformat

Pull Request - State: closed - Opened by samoht over 2 years ago

#336 - Fix warnings

Pull Request - State: closed - Opened by samoht over 2 years ago

#335 - Update git application with new git devices

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#334 - Use the new provided tcpv4v6_of_stackv4v6

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#333 - Add a simple DNS client example

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#332 - Use https:// instead of git:// to build the docteur image

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#331 - Add docteur example

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#329 - Upgrade the unikernel with git.3.8.0

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#328 - Be able to define multiple overlays and add them when we compile mirage-skeleton

Pull Request - State: closed - Opened by dinosaure over 2 years ago - 4 comments

#327 - Use Tcpip.Stack.V4 instead of Mirage_stack.V4

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#326 - Fix DHCP example

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

#325 - Update minigit example with git.3.7.0

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#324 - Missing constraints on git

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#323 - Missing constraints on git-paf

Pull Request - State: closed - Opened by dinosaure over 2 years ago

#322 - Add constraints on git packages to be sure to compile unikernel with them

Pull Request - State: closed - Opened by dinosaure over 2 years ago - 1 comment

#320 - adapt unikernels (ping6, dhcp) to new tcpip and ethernet interfaces

Pull Request - State: closed - Opened by hannesm almost 3 years ago

#319 - Use opam-monorepo's recurse-opam option

Pull Request - State: closed - Opened by TheLortex almost 3 years ago - 2 comments

#318 - Fix Fmt deprecation warnings

Pull Request - State: closed - Opened by reynir almost 3 years ago

#317 - Upgrade Git unikernel with git.3.6.0

Pull Request - State: closed - Opened by dinosaure almost 3 years ago - 1 comment

#316 - Fix Xen backend link

Pull Request - State: closed - Opened by jmid almost 3 years ago - 1 comment

#315 - Adapt to mirage#1240

Pull Request - State: closed - Opened by samoht almost 3 years ago

#314 - control the overlay location via an env variable

Pull Request - State: closed - Opened by samoht almost 3 years ago - 1 comment

#313 - Add a Dockerfile

Pull Request - State: closed - Opened by samoht almost 3 years ago - 6 comments

#290 - adapt prng example to mirage 3.7.7

Pull Request - State: closed - Opened by hannesm over 4 years ago - 1 comment

#286 - update prng for new mirage-crypto mirage

Pull Request - State: closed - Opened by hannesm over 4 years ago

#267 - Releng 3.5.0

Pull Request - State: closed - Opened by hannesm over 5 years ago - 1 comment

#265 - Rename ethif to ethernet

Pull Request - State: closed - Opened by hannesm over 5 years ago

#264 - adjust to mirage-net 2.0.0

Pull Request - State: closed - Opened by hannesm over 5 years ago

#263 - adapt to upcoming changes: ethernet and arp are now in separate repositories

Pull Request - State: closed - Opened by hannesm over 5 years ago - 1 comment

#253 - nsupdate functionality for our dhcp example

Pull Request - State: closed - Opened by hannesm over 6 years ago

#251 - conduit_server/network unikernel crashes with page fault

Issue - State: closed - Opened by vitcozzolino over 6 years ago - 9 comments

#246 - make depend fails due to pkgconfig not detected

Issue - State: closed - Opened by justinc1 almost 7 years ago - 4 comments

#238 - Evaluation of Unikernels

Issue - State: closed - Opened by marqueswsm about 7 years ago - 4 comments