Gustav Olsson

Another idea, what about `fips switch config` or `fips prev config` to switch to the previous config? That way one can switch between 2 different configs easily..

Oh, that complicates it a bit, thanks for the heads-up :) I think your suggestion with the flag bit is a good one. A simpler solution might be to always...

I get the following error when trying to build hello-world on OSX 10.15.2 as well: ``` = note: Undefined symbols for architecture x86_64: "_emit_message", referenced from: redshirt_syscalls_interface::emit::MessageBuilder$LT$TLen$GT$::emit_raw::h6a473b1490af9c68 in libredshirt_stdout_interface-058555e5f4063c36.rlib(redshirt_stdout_interface-058555e5f4063c36.246sb9gtq03wi8ah.rcgu.o) ld:...