gmane.os.prex.devel

Re: Current VCS?

Tony Garnock-Jones — 2013-05-22T17:33:32

https://github.com/tonyg/prex has a bug fix for exception handling (see 
http://www.eighty-twenty.org/index.cgi/tech/prex-bug-20110317.html) on 
its "master" branch, and a PIO IDE hard disk driver and PCI bus scan on 
its "hdd" branch. Both came about from class project work. I'm not 
working on Prex anymore.

Cheers,
   Tony

------------------------------------------------------------------------------
Try New Relic Now & We'll Send You this Cool Shirt
New Relic is the only SaaS-based application performance monitoring service 
that delivers powerful full stack analytics. Optimize and monitor your
browser, app, & servers with just a few lines of code. Try New Relic
and get this awesome Nerd Life shirt! http://p.sf.net/sfu/newrelic_d2d_may

Current VCS?

David Given — 2013-05-22T17:24:11

I have a hardware project for which I need a simple operating system
that works without an MMU, and Prex would seem to be a decent candidate.
While I'm aware that the Sourceforge site isn't receiving updates any
more, has anyone been doing any work on Prex and happen to have a DVCS
site with updates in it?

Re: Contact - Prex

2013-03-15T07:16:58

Gustavo Luiz Pasqualini писал 15-03-2013 04:44:

I don't thinks its any chance you have an answer about prex. As you can 
see last update was in 2010. Main author left development long time ago. 
There was some attempts to continue development, but AFAIK they have no 
luck.

Contact - Prex

Gustavo Luiz Pasqualini — 2013-03-15T00:44:24

Hello,

I am a student of Masters in Mechatronics by IFSC (Federal Institute of Science and Technology).

My research includes testing different RTOS (hard and soft) in order to determine which best responds to certain events of mechatronic systems and give a comparative result of these activities and performance time control and supervision.

The ideia is to load in the same hardware these compatibles RTOS. The plataform is the Kit Luminary lm3s8962(Stellaris Arm Cortex - Texas) and after make the tests.

My doubt is whether the license of the RTOS that you develop, and allows comparative study such as this survey will become part of the library and maybe future projects with public access.

Do you have any material / documentation / articles / monographies about this RTOS for i attach in my work?

Best Regards,
Gustavo
------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite fo

(no subject)

alireza ghassemi — 2011-11-22T04:10:38

http://dnfhw.com/dF8SbpvO3qHUTsB/templets/hbbbs.htm

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d

Re: Educational use?

Andrew Dennison — 2011-07-16T22:33:36

Hi Peter,

Was using Prex in your class successful? Which areas of Prex did your
students work on?

Andrew

------------------------------------------------------------------------------
AppSumo Presents a FREE Video for the SourceForge Community by Eric 
Ries, the creator of the Lean Startup Methodology on "Lean Startup 
Secrets Revealed." This video shows you how to validate your ideas, 
optimize your ideas and identify your business strategy.
http://p.sf.net/sfu/appsumosfdev2dev

Exception handling bug

Tony Garnock-Jones — 2011-05-30T11:38:39

Hi all,

Prex on x86 has a bug in its exception handler. I've tried a couple of 
times to post this to the list, but each time it has been held back, so 
this time I'll try linking to a blog post I wrote about it instead:
http://www.eighty-twenty.org/index.cgi/tech/prex-bug-20110317.html

Regards,
   Tony

------------------------------------------------------------------------------
vRanger cuts backup time in half-while increasing security.
With the market-leading solution for virtual backup and recovery, 
you get blazing-fast, flexible, and affordable data protection.
Download your free trial now. 
http://p.sf.net/sfu/quest-d2dcopy1

Arm based access point

Elinam Hini — 2011-05-28T20:39:42

Hey Guys,
What is the status of Prex, is it stable? I would like to use Prex to develop access points for a wireless sensor node project. I am targeting technologic's TS-7552 and TS 7300 single board computers. The are ARM based.

Thanks,
Eli
------------------------------------------------------------------------------
vRanger cuts backup time in half-while increasing security.
With the market-leading solution for virtual backup and recovery, 
you get blazing-fast, flexible, and affordable data protection.
Download your free trial now. 
http://p.sf.net/sfu/quest-d2dcopy1

Re: Educational use?

Andrew Dennison — 2011-02-12T20:11:45

There is one way to you can work around this - link the task(s) you
want to debug at a different virtual address. This way you can use
QEMU debug without modification: as long as the virtual address spaces
do not overlap. Of course this means an alternate link script for each
task you want to debug, but that is fairly simple to do with some make
file tweaking.


You could manipulate another threads context by hacking its stack, but
a more generic solution might be to add a GDB stub to the kernel as
you have access to the appropriate data structures from there. An
earlier version of Prex (0.4.2?) had a gdb stub for i386 in the kernel
but it was only really for kernel debug, it didn't hook in the context
switch.

Andrew

------------------------------------------------------------------------------
The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE:
Pinpoint memory and threading errors before they happen.
Find and fix more than 250 security defects in the development cycle.
Locate bottle

Re: Educational use?

Peter Desnoyers — 2011-02-12T16:38:08


What I'm not sure about is how to get gdb to take advantage of that,
especially e.g. via the QEMU debug stub. On the other hand, I can easily
see how to create a couple of debug operations to allow one thread to
get/set another's registers, and to single-step a thread; given this it
should be straightforward to add a thread to a process which implements
the gdb remote protocol.


It's more useful if you're working with the PC platform. All the devices
are supported out of the box, plus there's no such thing as a JTAG port
on a PC :-)

Re: Educational use?

Andrew Dennison — 2011-02-12T04:45:16

Replying to the list too...

On 12 February 2011 14:48, Peter Desnoyers <pjd< at >ccs.neu.edu> wrote:

Normally you would maintain a debug context for each process, and swap
the debug context as part of the task switch - the OS needs to
cooperate in this exercise. I've done this for some simple debug
support using the hardware debug support in our target processor: I'll
setup a gdb stub one day.
I haven't played with qemu debug - I've only used qemu for some basic
sanity checking that I haven't broken the architectures I don't have
hardware for.


That is currently one of the challenges - I think it has scared off a
few other users. I started maintaining a public git tree based on
0.8.1 to fill this void, but the large changes in the 0.9 tarball
stalled that effort.

Kohsuke mentioned setting up a public repository a few years ago and
it would be fantastic if he took that step. There are a few of us who
would like to contribute to Prex on a regular basis.

Andrew

-------------------------------------------------

Fwd: Educational use?

Andrew Dennison — 2011-02-12T00:29:51

This sounds like a very good use of Prex, as it has a fairly clean
structure and good abstraction of the architecture specific
components.

The Prex mailing list has always been quiet, but there seem to be a
few of us lurking and ready to join in whenever some discussion
starts.

For the most part we're been just _using_ Prex for the last 6 months
or so, it is now nice and stable so our efforts have all been focused
on our product rather than more enhancements to Prex. Unfortunately I
can't comment on Prex 0.9, as I haven't yet found the time to merge
our changes with the latest release.

We haven't heard from Kohsuke for a while but I'm sure he is working
away adding some interesting features.

Andrew

------------------------------------------------------------------------------
The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE:
Pinpoint memory and threading errors before they happen.
Find and fix more than 250 security defects in the development cycle.
Locate bottlenecks in serial

Educational use?

Peter Desnoyers — 2011-02-11T03:46:55

I'm  using Prex in an operating systems class this term, and was
wondering if anyone else had tried this.

I was also wondering whether the project has gone dead, as there are
very few messages on this list since last July.

ne2000 ethernet driver

bifferos — 2011-01-10T11:17:26

Hi all,

I just thought I'd mention I have ne2000 support added to my own small
IP stack in another project and thought it might be useful for Prex.  
I remember some time in a post long ago someone mentioning they'd be
prepared to port an IP stack to Prex so long as someone else wrote 
a driver.  I started looking at which was the simplest driver in 
Linux (ne2k), then removed all the parts that aren't needed for 
the Qemu emulated version by inspecting the Qemu sources, also 
removed interrupt support so you have to poll it.

All I've tested is that I can use the driver to do DHCP query and get an 
IP address back from Qemu, there could be plenty of bugs, but it's 
certainly helping me with my work, so thought I'd share it here.

The driver is C++ but in a C style, see attachment at the bottom of
the page:
http://sites.google.com/site/bifferboard/Home/rtos/grub-configuration-on-floppy-disk

Hopefully it's a trivial job to convert to C.

best regards,
Biff.

PS:  Consider the code to be in the public domain

hello 123n

Dave Skidmore — 2010-11-10T22:57:12

hello:
I have good news for you. Last week
I have Order china 16 Products Apple iPhone 4 HD 16GB Black
I completed  bank transfer payments,I have received the product!
w e b: tooaomo.com
It's amazing! The item is original, brand new and has high quality,
but it's muc cheaper. I'm pleased to share this good news with you!
I believe you will find what you want there and have an good experience
on shopping from them
Regards!




















































vcvcv        cv    蚀

------------------------------------------------------------------------------
Centralized Desktop Delivery: Dell and VMware Reference Architecture
Simplifying enterprise desktop deployment and management using
Dell EqualLogic storage and VMware View: A highly scalable, end-to-end
client virtualization framework. Read more!
http://p.sf.net/sfu/dell-eql-dev2dev
_______________________________________________
Prex-devel mailing list
Prex-devel< at >lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/prex-dev

Re : Re: BeaglePort with MMU and CACHE

Richard PANDION — 2010-10-01T21:31:30

Hello all,

The diff file I posted yesterday does actually work on BeagleBoard RevB but not on BeagleBoard RevC.

I have posted a new diff (available at the same pastebin URL ==>http://pastebin.com/JV2Mipbq) which fixes the issue and now works on both RevB and RevC boards. Thanks a lot to Yocto for his precious help tracking down the issue.

Basically, it failed on BeagleBoard RevC because this board has a 2nd memory bank which start address spans over memory bank 1 start address+4 MB and Prex ARM core cannot cope with this. Drop me a line if you want more details.

Please continue sharing your experiments with this new BeagleBoard port.

Cheers,

RICHARD

----- Message d'origine -----
De : Yocto
Envoyés : 01.10.10 01:03
À : rpandion< at >caramail.com, prex-devel< at >lists.sourceforge.net
Objet : Re: [Prex-devel] BeaglePort with MMU and CACHE

Hi> Please share your experiments with this patch!In order to build on CYGWIN, you need the following changesto LIBGCC_PATH and PLATFORM_LIBS in mk/gcc.mk: LIBGCC_PATH := $(s

Re: BeaglePort with MMU and CACHE

Yocto — 2010-09-30T23:03:57

Hi


In order to build on CYGWIN, you need the following changes
to LIBGCC_PATH and PLATFORM_LIBS in mk/gcc.mk:

   LIBGCC_PATH :=  $(shell $(CC) $(CFLAGS) -print-file-name=)

   PLATFORM_LIBS+= -L"$(LIBGCC_PATH)" -lgcc


With these, your patch build Prex 0.9.0 and generate a 249670 bytes prexos.

$ openssl dgst -md5 prexos
MD5(prexos)= 2af3784c6d3bca3989d9be37d2d428c7

But it hang after starting.  [ CodeSourcery G++ lite 2007q3-53 ]

ps: I miss stuff like "--build=builddir/beagle" from Prex 0.8 that kept the 
dir clean...
     Do you have any news for the release of Prex 1.0 ?

Thanks
// Yocto


----- Original Message ----- 
From: <rpandion< at >caramail.com>
To: <prex-devel< at >lists.sourceforge.net>
Sent: Thursday, September 30, 2010 3:19 PM
Subject: [Prex-devel] BeaglePort with MMU and CACHE




------------------------------------------------------------------------------
Start uncovering the many advantages of virtual appliances
and start using them to simplify application deployment and
accelerate your shift t

BeaglePort with MMU and CACHE

2010-09-30T19:19:57

Hello all,

I have finally updated my port of Prex 0.9.0 for the BeagleBoard to support the MMU and the CACHE (L1 cache only for the moment).

As the diff file is more than 2,000 lines long, I make it available via PasteBin at the following URL: http://pastebin.com/JV2Mipbq

This patch also provides support for R_ARM_V4BX relocations (thank you Andrew - this makes it possible to use latest CodeSoursourcey G++ toolchain 2010q1 to compile for the BeagleBoard) and includes a few bug fixes (including a nasty one in usr/sbin/init/init.c which only showed up when DEBUG was turned off!).

As a reminder, to load this patch on the BeagleBoard, put the prexos compiled image on a FAT formatted SD CARD and issue the following commands in u-boot:
  mmc init
  fatload mmc 0 0x80300000 prexos
  go 0x80300000

Please share your experiments with this patch!

Cheers,

RICHARD

------------------------------------------------------------------------------
Start uncovering the many advantages of virtual appliances
and sta

booting prex

alireza ghassemi — 2010-09-12T13:36:38

------------------------------------------------------------------------------
Start uncovering the many advantages of virtual appliances
and start using them to simplify application deployment and
accelerate your shift to cloud computing
http://p.sf.net/sfu/novell-sfdev2dev
_______________________________________________
Prex-devel mailing list
Prex-devel< at >lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/prex-devel

Re: Bug detected in Prex boot loader

Kohsuke Ohtani — 2010-07-14T17:17:50

Hi,

(7/13/2010 8:07 PM) Richard PANDION wrote:

I've applied fix.
Thanks.

- Kohsuke

------------------------------------------------------------------------------
This SF.net email is sponsored by Sprint
What will you do first with EVO, the first 4G phone?
Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first

Bug detected in Prex boot loader

Richard PANDION — 2010-07-13T11:07:02

Hello all,

I believe I've detected a bug in Prex 0.9.0 bootloader.

Indeed, in the load_elf() function in bsp/boot/common/elf.c, at line #75, there is the following assignment:

 load_base = (vaddr_t)ptokv(phdr->p_paddr);

This seems to be wrong and should be:

 load_base = (paddr_t)kvtop(phdr->p_vaddr);

This is a nasty bug as it remains silent if you stick to the default config where offset to the kernel area start address (0x80000000) from ram base (0x00000000) equals 0x80000000.
Indeed, phdr->p_paddr and phdr->p_vaddr both holds the same value as CONFIG_KERNEL_TEXT while the kernel is loaded and, in MMU-enabled default config, this value is > 0x80000000. But adding 0x80000000 (this is what ptokv() does) or substrating 0x80000000 (this is what kvtop() does) to such address actually gives the exact same result since we are here dealing with 32-bits wide unsigned longs! Now, if for any reason, offset to kernel start address from ram base does no equal 0x80000000, the bug comes out.

Hopefully, fixing this