From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner+willy=40w.ods.org-S262513AbVFJHrp@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S262513AbVFJHrp (ORCPT <rfc822;willy@w.ods.org>);
	Fri, 10 Jun 2005 03:47:45 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org id S262514AbVFJHrp
	(ORCPT <rfc822;linux-kernel-outgoing>);
	Fri, 10 Jun 2005 03:47:45 -0400
Received: from mail1001.centrum.cz ([213.29.7.173]:43685 "EHLO
	mail1001.centrum.cz") by vger.kernel.org with ESMTP id S262513AbVFJHrh
	(ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Fri, 10 Jun 2005 03:47:37 -0400
Date: Fri, 10 Jun 2005 09:47:25 +0200
From: "Milan Svoboda" <milan.svoboda@centrum.cz>
To: <simlo@phys.au.dk>
Cc: <linux-kernel@vger.kernel.org>
X-Mailer: Centrum Mail 1.0
MIME-Version: 1.0
X-Priority: 3
Message-ID: <200506100947.15536@centrum.cz>
Subject: Re: bug in Real-Time Preemption
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7BIT
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

> Please, try it again with 'while (1) {' (or some
> much bigger number) instead of original 'while (i < 10000) {'.

Ignore this sentence please.

It's good to know that it works and it's only my
local problem. Althrought I totally don't know where to
find.

Milan