From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <48B42DB6.4050704@domain.hid> Date: Tue, 26 Aug 2008 18:22:14 +0200 From: Philippe Gerum MIME-Version: 1.0 References: <48B3ED52.7080101@domain.hid> <48B3EFFC.8020408@domain.hid> <48B42A68.3020400@domain.hid> <48B42D29.6030701@domain.hid> In-Reply-To: <48B42D29.6030701@domain.hid> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai-core] [RESEND][PATCH 6/6] Report registry slot usage via /proc Reply-To: rpm@xenomai.org List-Id: "Xenomai life and development \(bug reports, patches, discussions\)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Jan Kiszka Cc: xenomai-core Jan Kiszka wrote: > Philippe Gerum wrote: >> Jan Kiszka wrote: >>> Some customer ran into the problem of lacking registry slots without >>> prior warning. We are lacking some report mechanism, specifically for >>> unexported (anonymous) entries (every native user object requires one >>> for its handle). >>> >>> This patch introduces /proc/xenomai/registry_usage in the form >>> >> Eeek. /proc/xenomai/registry/status or /usage. Otherwise, ok. > > There was a reason, there was a reason... Ah! That subdir depends on > CONFIG_XENO_EXPORT_REGISTRY. Needs more refactoring then... :-] > Ok, I'm freezing this one, waiting for next iteration. -- Philippe.