void write_string(int colour, const char *string)
{
   char *video=(char*)0xB8000;
   while(*string!=0)
   {
      *video=*string;
      string++;
      video++;
      *video=colour;
      video++;
   }
}

int main()
{
write_string(7, "Hello world!!!");
getch();
return 0;
}