An alternative BIOS from the original Pentium era

It’s a long shot, but does anyone remember the alternative (and often better) BIOS - I think it was sold, but maybe went free in the end, can’t remember the name of it, but they made it for a number of boards, been playing around with a P133 and began half remembering

pentium mmx era bioses had some limitations but i dont recall any different type of bios in those pcs
can you elaborate? motherboard name/id?

@Matth79

MR BIOS by Microid Research.

Yes, MR BIOS was what I was trying to think of, wonder if there’s anything on archive.org
You have a longer memory than I do

Check this out:
https://www.vogons.org/viewtopic.php?p=953935#p953935