OKL4 Community Forum This forum is an archive for the mailing list: developer@okl4.org (more options) Messages posted here will be sent to this mailing list. Interact with the OKL4 Developers Community. Advanced Search

1 2 3 4 5 6 7 ... 21

	Topics (718)		Replies	Last Post	Views
	Re: Difference between hypercells and address s paces by XavierL		0	by XavierL	|
	Difference between hypercells and address spaces by XavierL		3	by Josh Matthews	|
	OKL4 License Issue by 고원석		2	by Gernot Heiser-2	|
	what is the difference among image.elf, image.sim and image.boot and others by Guanghui, Cheng		2	by Guanghui, Cheng	|
	A problem when i port okl4 to androind emulator by Guanghui, Cheng		2	by Guanghui, Cheng	|
	Building the toolchain, problem with TLS support and kernel heade rs by XavierL		0	by XavierL	|
	are there any documents about the functions implemented in the driver/ directory? by Guanghui, Cheng		0	by Guanghui, Cheng	|
	Where is the function of printing magic number in the OKL4 booting? by Guanghui, Cheng		2	by Guanghui, Cheng	|
	assign PCI devices to windows and linux by LeonardMichelet		1	by Josh Matthews	|
	Hello World on arm926ejs (continued) by Hugues Balp		9	by Josh Matthews	|
	Hello World tutorial problem by MathiasB		1	by MathiasB	|
	CAmkES: component-based development for OKL4 by Ihor Kuz		4	by Ihor Kuz	|
	Different questions about OKL4 by Alexander Valitov		2	by Alexander Valitov	|
	where is the patch "poky-linux.patch" mentioned in the tutorial "tut-sdk-linux.pdf" by Asias He		4	by Tim Heath	|
	from version 2.1 to 3.0: something changed with register_event? vlcd_server not working anymore by Dennis Gessner		1	by Josh Matthews	|
	Anyone virtualized a home-gateway platform? by nrajesh		1	by Josh Matthews	|
	Floating points by Peter Nguyen-2		0	by Peter Nguyen-2	|
	Poky Linux patch for OKL4 by Rob McCammon		1	by Asias He	|
	Capability Passing in OKL4 3.0 by Toby Murray		3	by Gernot Heiser	|
	HowTo build OKLinux for versatile by Alexander Valitov		0	by Alexander Valitov	|
	how to resolve page_fault by Sean Chiang		1	by Josh Matthews	|
	vserial_serverloop.c generates bad code for (u)int64_t variables in okl4 2.1. by Gabi Voiculescu		3	by Joshua Root	|
	Strange thing in “pingpong“ example by Alexander Valitov		2	by Alexander Valitov	|
	Re : MR registers corrupted when using L4_Send, L4_Receive by Gabi Voiculescu		0	by Gabi Voiculescu	|
	MR registers corrupted when using L4_Send, L4_Receive by Gabi Voiculescu		0	by Gabi Voiculescu	|
	okl4 3.0 for openmoko Neo FreeRunner(s3c2442) by Sean Chiang		2	by Sean Chiang	|
	the memory overlap between iguana/vtimer and oklinux by Guanghui, Cheng		0	by Guanghui, Cheng	|
	two serial servers using differenet memory regions by Gabi Voiculescu		1	by Josh Matthews	|
	Hardware question by MathiasB		1	by Rob McCammon	|
	Re: How to get rid of IRQ conflicts between two OK linux cells ? by Guanghui, Cheng		0	by Guanghui, Cheng	|
	How to deal with out of memory errors ? Test case using two oklinux cells. by Hugues Balp-2		5	by Guanghui, Cheng	|
	importing external object files in okl4 image okl4 2.1. by Gabi Voiculescu		1	by Gabi Voiculescu	|
	[camkes] deadlock within a basic hello world example.... by Hugues Balp-2		0	by Hugues Balp-2	|
	Neo FreeRunner AKA GTA02 support ? by Alexander Valitov		0	by Alexander Valitov	|
	About Remote debugging of Skyeye by mozan		1	by Peter Howard	|

1 2 3 4 5 6 7 ... 21

Feeds

| Created by

Josh Matthews

| 1 view|%1 views

Free Embeddable Forum Powered by Nabble

Help