On Fri, Jun 30, 2023 at 10:12:10AM +0100, Luca Fancellu wrote: > This is an RFC to get the feeling of the community about the name > change, for now it's everything in one patch just to see how it > will look like, if there is interest on proceeding into it, I can > split in more commit.
I seem to recall something else using the term "hyperlaunch". I'm though unable to find the reference. "dom0less" might be a poor name choice, but my initial feeling is to prefer it to "hyperlaunch". Perhaps "dom0--", "dom0decrement" or "dom0alternative" since it is providing an alternative approach to services previously offered by Domain 0? -- (\___(\___(\______ --=> 8-) EHM <=-- ______/)___/)___/) \BS ( | ehem+sig...@m5p.com PGP 87145445 | ) / \_CS\ | _____ -O #include <stddisclaimer.h> O- _____ | / _/ 8A19\___\_|_/58D2 7E3D DDF4 7BA6 <-PGP-> 41D1 B375 37D0 8714\_|_/___/5445
