2 rmdir /q /s src\single_dir_for_windows_kernel 1>nul 2>nul
3 mkdir src\single_dir_for_windows_kernel 1>nul 2>nul
4 copy /y src\lfds610_abstraction\* src\single_dir_for_windows_kernel 1>nul 2>nul
5 copy /y src\lfds610_freelist\* src\single_dir_for_windows_kernel 1>nul 2>nul
6 copy /y src\lfds610_liblfds\* src\single_dir_for_windows_kernel 1>nul 2>nul
7 copy /y src\lfds610_queue\* src\single_dir_for_windows_kernel 1>nul 2>nul
8 copy /y src\lfds610_ringbuffer\* src\single_dir_for_windows_kernel 1>nul 2>nul
9 copy /y src\lfds610_slist\* src\single_dir_for_windows_kernel 1>nul 2>nul
10 copy /y src\lfds610_stack\* src\single_dir_for_windows_kernel 1>nul 2>nul
11 copy /y sources.dynamic src\single_dir_for_windows_kernel\sources 1>nul 2>nul
12 copy /y src\driver_entry.c src\single_dir_for_windows_kernel 1>nul 2>nul
13 echo Windows kernel dynamic library build directory structure created.
14 echo (Note the effects of this batch file are idempotent).