Enable nix development environment#12

jackyliu16 wants to merge 2 commits intousb-nextarceos-usb/arceos_experiment:usb-nextfrom

enable-nix-development-environmentarceos-usb/arceos_experiment:enable-nix-development-environmentCopy head branch name to clipboard