Skip to content

Pull requests: mirage/mirage

New pull request New
12 Open 1,130 Closed
12 Open 1,130 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Hack to not emit message when not configuring
#1648 opened Aug 10, 2026 by reynir Member • Draft
only print the 'adding unit argument' hint when configuring
#1647 opened Jul 31, 2026 by MavenRain Loading…
1
2
Avoid RSS memory leaks: call malloc_trim
#1644 opened Jul 7, 2026 by edwintorok Contributor Loading…
14
Add a new arg for dhcp request
#1643 opened Jul 5, 2026 by PizieDust Loading…
[tcp] introduce tcp-max-open-connections runtime argument
#1630 opened Feb 17, 2026 by Firobe Member Loading…
3
Make config.ml and unikernel.ml co-buildable
#1582 opened Oct 10, 2024 by samoht Member Loading…
5
WIP: Simplify dune files
#1495 opened Jan 21, 2024 by samoht Member Loading…
1
Add Raspberry Pi 4 target
#1253 opened Nov 7, 2021 by dinosaure Member • Draft
5 tasks
8
add PCIe support
#1160 opened Jun 5, 2020 by bonkf Loading…
Add HTTP/2 types for h2-mirage
#978 opened Apr 4, 2019 by anmonteiro Contributor Loading…
7
Implement initial ixy support
#977 opened Mar 8, 2019 by bonkf Loading…
Update Mirage with the effect/value distinction in 'connect'
#790 opened Feb 15, 2017 by yallop Member Loading…
ProTip! Exclude everything labeled bug with -label:bug.