sthen 5e102b2628 Now that ports-gcc has switched to v8 it's able to build the vmm-firmware ...

package (seabios), so do so and stop using /usr/bin/gcc.

2019-04-28 14:29:29 +00:00

..

files

Change vmm-firmware port by adding:

2018-12-10 16:25:17 +00:00

patches

Change vmm-firmware port by adding:

2018-12-10 16:25:17 +00:00

pkg

…

distinfo

update to seabios 1.11.0, ok phessler mlarkin

2018-04-26 12:23:32 +00:00

Makefile

Now that ports-gcc has switched to v8 it's able to build the vmm-firmware

2019-04-28 14:29:29 +00:00