Hello, Andrea Monaco, le mer. 15 sept. 2021 15:22:35 +0200, a ecrit: > gnumach has two floppy.c files and they are almost identical,
Yes, linux/src and linux/dev are essentially duplicates, linux/src is meant to be the unmodified linux source code, and linux/dev the modified source code. There are probably some mismatches etc. but anyway this will all be gone when we move to rumpdisk. Samuel
