Re: [BLACKBOX] Ofront released as open source under a FreeBSD-style license

From: [at]} <Norayr>
Date: Tue, 24 Apr 2012 21:10:50 +0400

----boundary-LibPST-iamunique-971464216_-_-
Content-type: text/plain

I think I've sent you an Ofront which generates code for ucLinux/Blackfin.
Later I was able to run it right on the board.
Am... probably I must document the whole process in details and send you the comprehensive manual.

Norayr

On Tue, 24 Apr 2012 12:21:16 -0400
Wojtek Skulski <skulski{([at]})nowhere.xy

> Oleg:
>
> I sent you the PDF. I am wondering whether ofront could be used to add
> modular structure to embedded programming under uClinux. FYI, Linux has
> something named "kernel modules" that look like they have been inspired
> by Modula/Oberon, but the machanics of creating these is ugly. There is
> no type safety, just a bunch of #defines and other such usual kind of
> ugliness. I am wondering whether ofront could be used to add modules to
> Linux kernel programming, but in a rigorous way.
>
> I stress "kernel" rather than user space. Under the hood Linux kernel is
> similar to Oberon System. That is, Linux kernel is a cooperative
> environment without memory protection (for those who did not know). Not
> just uClinux, where you could perhaps expect lack of memory protection. In
> general, Linux kernel is not protected inside. So it is just like Oberon
> System, but all written in the unsafe language.
>
> I am wondering whether ofront could be used to remedy the unsafe Linux
> kernel programming.
>
> Perhaps it is a topic for a doctoral dissertation. It is a large topic, I
> think. In principle the payoff could be substantial because unsafe
> programming is probably one of the reasons enabling internet attacks. I do
> not know, but I suppose it may be so. Making Linux a bit safer could
> perhaps be important.
>
> Wojtek
>
> > Dear Wojtek,
> >
> > Of course, I'm interested to see the manual.
> > Have you confirm that usual desktop computer (or laptop) of Intel 386
> > architecture (or any useful free emulator under it) with runned uClinux
> > is enough for running the examples? I've not any microcontroller for it.
> > :)
> >
> > By the way, mr. Josef Templ has already designed Ofront for Linux
> > console. I think, it's not hard to modify this Ofront for uClinux.
> >
> > --
> > Oleg N. Cher
> > http://zx.oberon2.ru/
>
>
> ----
> To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy

-- 
Norayr Chilingarian <norayr{([at]})nowhere.xy----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-971464216_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEkgdGhpbmsgSSd2ZSBzZW50IHlvdSBhbiBPZnJv
bnQgd2hpY2ggZ2VuZXJhdGVzIGNvZGUgZm9yIHVjTGludXgvQmxhY2tmaW4uXHBhcg0KTGF0ZXIg
SSB3YXMgYWJsZSB0byBydW4gaXQgcmlnaHQgb24gdGhlIGJvYXJkLlxwYXINCkFtLi4uIHByb2Jh
Ymx5IEkgbXVzdCBkb2N1bWVudCB0aGUgd2hvbGUgcHJvY2VzcyBpbiBkZXRhaWxzIGFuZCBzZW5k
IHlvdSB0aGUgY29tcHJlaGVuc2l2ZSBtYW51YWwuXHBhcg0KXHBhcg0KTm9yYXlyXHBhcg0KXHBh
cg0KT24gVHVlLCAyNCBBcHIgMjAxMiAxMjoyMToxNiAtMDQwMFxwYXINCldvanRlayBTa3Vsc2tp
IDxza3Vsc2tpQFBBUy5ST0NIRVNURVIuRURVPiB3cm90ZTpccGFyDQpccGFyDQo+IE9sZWc6XHBh
cg0KPiBccGFyDQo+ICAgSSBzZW50IHlvdSB0aGUgUERGLiBJIGFtIHdvbmRlcmluZyB3aGV0aGVy
IG9mcm9udCBjb3VsZCBiZSB1c2VkIHRvIGFkZFxwYXINCj4gbW9kdWxhciBzdHJ1Y3R1cmUgdG8g
ZW1iZWRkZWQgcHJvZ3JhbW1pbmcgdW5kZXIgdUNsaW51eC4gRllJLCBMaW51eCBoYXNccGFyDQo+
IHNvbWV0aGluZyBuYW1lZCAia2VybmVsIG1vZHVsZXMiIHRoYXQgbG9vayBsaWtlIHRoZXkgaGF2
ZSBiZWVuIGluc3BpcmVkXHBhcg0KPiBieSBNb2R1bGEvT2Jlcm9uLCBidXQgdGhlIG1hY2hhbmlj
cyBvZiBjcmVhdGluZyB0aGVzZSBpcyB1Z2x5LiBUaGVyZSBpc1xwYXINCj4gbm8gdHlwZSBzYWZl
dHksIGp1c3QgYSBidW5jaCBvZiAjZGVmaW5lcyBhbmQgb3RoZXIgc3VjaCB1c3VhbCBraW5kIG9m
XHBhcg0KPiB1Z2xpbmVzcy4gSSBhbSB3b25kZXJpbmcgd2hldGhlciBvZnJvbnQgY291bGQgYmUg
dXNlZCB0byBhZGQgbW9kdWxlcyB0b1xwYXINCj4gTGludXgga2VybmVsIHByb2dyYW1taW5nLCBi
dXQgaW4gYSByaWdvcm91cyB3YXkuXHBhcg0KPiBccGFyDQo+IEkgc3RyZXNzICJrZXJuZWwiIHJh
dGhlciB0aGFuIHVzZXIgc3BhY2UuIFVuZGVyIHRoZSBob29kIExpbnV4IGtlcm5lbCBpc1xwYXIN
Cj4gc2ltaWxhciB0byBPYmVyb24gU3lzdGVtLiBUaGF0IGlzLCBMaW51eCBrZXJuZWwgaXMgYSBj
b29wZXJhdGl2ZVxwYXINCj4gZW52aXJvbm1lbnQgd2l0aG91dCBtZW1vcnkgcHJvdGVjdGlvbiAo
Zm9yIHRob3NlIHdobyBkaWQgbm90IGtub3cpLiBOb3RccGFyDQo+IGp1c3QgdUNsaW51eCwgd2hl
cmUgeW91IGNvdWxkIHBlcmhhcHMgZXhwZWN0IGxhY2sgb2YgbWVtb3J5IHByb3RlY3Rpb24uIElu
XHBhcg0KPiBnZW5lcmFsLCBMaW51eCBrZXJuZWwgaXMgbm90IHByb3RlY3RlZCBpbnNpZGUuIFNv
IGl0IGlzIGp1c3QgbGlrZSBPYmVyb25ccGFyDQo+IFN5c3RlbSwgYnV0IGFsbCB3cml0dGVuIGlu
IHRoZSB1bnNhZmUgbGFuZ3VhZ2UuXHBhcg0KPiBccGFyDQo+IEkgYW0gd29uZGVyaW5nIHdoZXRo
ZXIgb2Zyb250IGNvdWxkIGJlIHVzZWQgdG8gcmVtZWR5IHRoZSB1bnNhZmUgTGludXhccGFyDQo+
IGtlcm5lbCBwcm9ncmFtbWluZy5ccGFyDQo+IFxwYXINCj4gUGVyaGFwcyBpdCBpcyBhIHRvcGlj
IGZvciBhIGRvY3RvcmFsIGRpc3NlcnRhdGlvbi4gSXQgaXMgYSBsYXJnZSB0b3BpYywgSVxwYXIN
Cj4gdGhpbmsuIEluIHByaW5jaXBsZSB0aGUgcGF5b2ZmIGNvdWxkIGJlIHN1YnN0YW50aWFsIGJl
Y2F1c2UgdW5zYWZlXHBhcg0KPiBwcm9ncmFtbWluZyBpcyBwcm9iYWJseSBvbmUgb2YgdGhlIHJl
YXNvbnMgZW5hYmxpbmcgaW50ZXJuZXQgYXR0YWNrcy4gSSBkb1xwYXINCj4gbm90IGtub3csIGJ1
dCBJIHN1cHBvc2UgaXQgbWF5IGJlIHNvLiBNYWtpbmcgTGludXggYSBiaXQgc2FmZXIgY291bGRc
cGFyDQo+IHBlcmhhcHMgYmUgaW1wb3J0YW50LlxwYXINCj4gXHBhcg0KPiBXb2p0ZWtccGFyDQo+
IFxwYXINCj4gPiBEZWFyIFdvanRlayxccGFyDQo+ID5ccGFyDQo+ID4gT2YgY291cnNlLCBJJ20g
aW50ZXJlc3RlZCB0byBzZWUgdGhlIG1hbnVhbC5ccGFyDQo+ID4gSGF2ZSB5b3UgY29uZmlybSB0
aGF0IHVzdWFsIGRlc2t0b3AgY29tcHV0ZXIgKG9yIGxhcHRvcCkgb2YgSW50ZWwgMzg2XHBhcg0K
PiA+IGFyY2hpdGVjdHVyZSAob3IgYW55IHVzZWZ1bCBmcmVlIGVtdWxhdG9yIHVuZGVyIGl0KSB3
aXRoIHJ1bm5lZCB1Q2xpbnV4XHBhcg0KPiA+IGlzIGVub3VnaCBmb3IgcnVubmluZyB0aGUgZXhh
bXBsZXM/IEkndmUgbm90IGFueSBtaWNyb2NvbnRyb2xsZXIgZm9yIGl0LlxwYXINCj4gPiA6KVxw
YXINCj4gPlxwYXINCj4gPiBCeSB0aGUgd2F5LCBtci4gSm9zZWYgVGVtcGwgaGFzIGFscmVhZHkg
ZGVzaWduZWQgT2Zyb250IGZvciBMaW51eFxwYXINCj4gPiBjb25zb2xlLiBJIHRoaW5rLCBpdCdz
IG5vdCBoYXJkIHRvIG1vZGlmeSB0aGlzIE9mcm9udCBmb3IgdUNsaW51eC5ccGFyDQo+ID5ccGFy
DQo+ID4gLS1ccGFyDQo+ID4gT2xlZyBOLiBDaGVyXHBhcg0KPiA+IGh0dHA6Ly96eC5vYmVyb24y
LnJ1L1xwYXINCj4gXHBhcg0KPiBccGFyDQo+IC0tLS1ccGFyDQo+IFRvIHVuc3Vic2NyaWJlLCBz
ZW5kIGEgbWVzc2FnZSB3aXRoIGJvZHkgIlNJR05PRkYgQkxBQ0tCT1giIHRvIExJU1RTRVJWQExJ
U1RTLk9CRVJPTi5DSFxwYXINClxwYXINClxwYXINCi0tIFxwYXINCk5vcmF5ciBDaGlsaW5nYXJp
YW4gPG5vcmF5ckBhcm5ldC5hbT5ccGFyDQpccGFyDQpccGFyDQotLS0tXHBhcg0KVG8gdW5zdWJz
Y3JpYmUsIHNlbmQgYSBtZXNzYWdlIHdpdGggYm9keSAiU0lHTk9GRiBCTEFDS0JPWCIgdG8gTElT
VFNFUlZATElTVFMuT0JFUk9OLkNIXHBhcg0KfQ==
----boundary-LibPST-iamunique-971464216_-_---

Received on Tue Apr 24 2012 - 19:10:50 UTC