[bug#41820] [PATCH] file-systems: Add record type <nfs-share> for a file system device.

[Stefan]

Hi!

Now that the new record <nfs-share> is working and seeing the amount of changes 
to make this working, I get the impression that this is unnecessarily 
complicated.

In the end there will be the "--root=" option for the kernel, which is only a 
plain string. And most of the device record related functions in the end target 
to produce a string.

And then there is (device-string->file-system-device) in 
gnu/build/linux-boot.scm to convert this string back into a device record.

As long as this conversion to and from string is necessary, there is no real 
benefit in having different record types for (file-system (device …)), it could 
just be a string. Then there would only be the need for a simple parser 
function like (device-string->device-type) to determine the type of device to 
be used in places where the type matters.


Bye

Stefan