Trammell hudson 4895e4704f

checkpointing a config that boots to user space, but serial still does not work

2018-01-19 15:53:05 -05:00

..

r630

generate ACPI firmware volume and removed Linux ACPI table hacks (issue #266)

2017-09-25 15:21:16 -04:00

s2600wf

checkpointing a config that boots to user space, but serial still does not work

2018-01-19 15:53:05 -05:00

winterfell

preliminary winterfell support for NERF

2017-10-18 13:56:32 -04:00

x220

fix typo and format with markdown (issue #206)

2017-07-27 06:26:04 -04:00

x3550m5

Initial support for the Lenovo x3550 m5 server, but it does not work yet

2017-10-05 15:16:34 -04:00