> In the long term, I wish to guarantee the absence of bugs in the > security/safety-critical parts of Genode but I cannot predict the means > to get there yet (Formal verification? Use of higher-level languages?).
...Cogent? > The added Rust support gives us the chance to wet our toes with one > possible direction. ------------------------------------------------------------------------------ What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic patterns at an interface-level. Reveals which users, apps, and protocols are consuming the most bandwidth. Provides multi-vendor support for NetFlow, J-Flow, sFlow and other flows. Make informed decisions using capacity planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
