personal operating system running on s3c6410