Updated the minix driver
[reactos.git] / reactos / install-system.sh
1 mkdir -p $1/reactos
2 mkdir -p $1/reactos/system32
3 mkdir -p $1/reactos/system32/drivers
4 mkdir -p $1/reactos/bin
5 cp loaders/dos/loadros.com $1
6 cp ntoskrnl/ntoskrnl.exe $1
7 cp services/fs/vfat/vfatfs.sys $1
8 cp services/dd/ide/ide.sys $1
9 cp services/dd/keyboard/keyboard.sys $1/reactos/system32/drivers
10 cp services/dd/blue/blue.sys $1/reactos/system32/drivers
11 #cp services/dd/vga/miniport/vgamp.sys $1/reactos/system32/drivers
12 #cp services/dd/vga/display/vgaddi.dll $1/reactos/system32/drivers
13 #cp services/dd/vidport/vidport.sys $1/reactos/system32/drivers
14 cp services/fs/minix/minixfs.sys $1/reactos/system32/drivers