User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Raspberry Pi OS

Sun Sep 09, 2012 2:15 pm

I have been working on porting my OS (DexOS) from x86 to run on the pi.
Its still need a SD and fat driver coding to make it fully functional, but if anyone wants to test it, just post here and i will up load it to my site.
Image
Batteries not included, Some assembly required.

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Sun Sep 09, 2012 8:45 pm

HI, i would be greatful if people could test my OS on there PI's
http://www.dex-os.com/MinDos/PiDexOS.zip

Just format sd card to fat32 and add the files from boot folder and kernel.img.
You need a usb keyboard plugged in.
in the gui keys are enter, left, right arrow keys and type help in the cli.

As i am trying to get a picture of how many keyboards work.
Thanks.
Batteries not included, Some assembly required.

Z3r0
Posts: 23
Joined: Wed Sep 05, 2012 7:42 pm

Re: Raspberry Pi OS

Sun Sep 09, 2012 8:50 pm

Os boots, looks nice :) but keybord dont work. Oldie logitech deluxe 250

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Sun Sep 09, 2012 8:53 pm

Z3r0 wrote:Os boots, looks nice :) but keybord dont work. Oldie logitech deluxe 250
Thanks for testing, its seem i must be lucky with my keyboards, as all 3 work, but so far when others have tested it, keyboard does not work
Thanks again :)
Batteries not included, Some assembly required.

toxibunny
Posts: 1382
Joined: Thu Aug 18, 2011 9:21 pm

Re: Raspberry Pi OS

Sun Sep 09, 2012 8:56 pm

What size SD card does it need?
note: I may or may not know what I'm talking about...

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Sun Sep 09, 2012 9:03 pm

toxibunny wrote:What size SD card does it need?
I have only tested it with 2gb, but the img is only 4.2mb plus the size of boot files.
so 100mb and above should be fine.
Thanks.
Batteries not included, Some assembly required.

User avatar
panik
Posts: 369
Joined: Fri Sep 23, 2011 12:29 pm
Location: Netherlands

Re: Raspberry Pi OS

Sun Sep 09, 2012 10:23 pm

Congratulations on all the work so far. A 'Logitech Standard' keyboard works.

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Sun Sep 09, 2012 10:27 pm

panik wrote:Congratulations on all the work so far. A 'Logitech Standard' keyboard works.
Cool, thanks for testing, so i am not going mad :lol:
One of mine that works is a Logitech 200 classic.
Thanks again.
Batteries not included, Some assembly required.

User avatar
panik
Posts: 369
Joined: Fri Sep 23, 2011 12:29 pm
Location: Netherlands

Re: Raspberry Pi OS

Sun Sep 09, 2012 10:28 pm

To be precise:
Bus 008 Device 002: ID 046d:c315 Logitech, Inc. Classic New Touch Keyboard
on my ubuntu machine.

BrianW
Posts: 83
Joined: Sun Jul 29, 2012 9:03 pm

Re: Raspberry Pi OS

Mon Sep 10, 2012 12:01 am

DexOS wrote: As i am trying to get a picture of how many keyboards work.
Looking good.

And it works fine with a Dell L100 keyboard.

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Mon Sep 10, 2012 12:53 pm

BrianW wrote:
DexOS wrote: As i am trying to get a picture of how many keyboards work.
Looking good.

And it works fine with a Dell L100 keyboard.
Thanks for testing and keyboard info :) .

@panik, thanks for the updated info on the keyboard.
Batteries not included, Some assembly required.

stampatore
Posts: 7
Joined: Tue Jul 31, 2012 11:32 pm

Re: Raspberry Pi OS

Tue Sep 11, 2012 9:07 am

Your OS boots fine and looks ready to go but none of my 3 keyboards work.
  • Fujitsu SK-2500-2D
    Microsoft RT2300
    Acer SK-9620
However, they're all PS/2 keyboards and all plugged through the same unidentifiable ("made in China") USB to dual PS/2 keyboard and mouse adapter, so it's possibly this that's the problem rather than the keyboards themselves.

Nick

tritonium
Posts: 79
Joined: Tue Jan 03, 2012 7:10 pm

Re: Raspberry Pi OS

Tue Sep 11, 2012 12:18 pm

Your OS boots fine from my shiny new Sandisc SDHC 4GB card, but alas my 'TRUST' ClassicLine usb Keyboard does not!
Nevertheless - good work and I'm eagerly awaiting news....
Dave H

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Tue Sep 11, 2012 1:34 pm

Thanks stampatore and tritonium, for testing, once i find a keyboard that does not work, i try and up date the usb driver.

If you want to know what it should do, or want to test it on a x86 or emulator like qemu.
You can get the x86 ver from the web site (including asm source code)

Or there some videos here:
http://www.youtube.com/watch?v=mYJx2zZK7c8
http://www.youtube.com/watch?v=p-XXCSxl ... el&list=UL
Theres even a server ver:
http://www.youtube.com/watch?v=LdXhuZ0s ... el&list=UL
Batteries not included, Some assembly required.

phil95
Posts: 141
Joined: Wed Sep 12, 2012 8:10 am
Location: Paris

Re: Raspberry Pi OS

Wed Sep 12, 2012 9:10 am

I have tried input01 and input02 with two PS2 to USB converters for keyboard + mouse, but keyboard is not working.(all is working with RaspBian)
Adapters were:
MCL SAMAR USB to 2 X PS2 cable adapter
TRENDNET / MEDIANET USB to 2 PS2 converter
Maybe these converters contain Hubs not recognized by driver ?
Anyway your tutorials are very interesting; it's a shade, we don't have technicals infos about hardware (VIDEO, USB, SD interfaces for example)
(Sorry for my poor english language)

hermanhermitage
Posts: 65
Joined: Sat Jul 07, 2012 11:21 pm
Location: Zero Page

Re: Raspberry Pi OS

Wed Sep 12, 2012 9:34 pm

DexOS wrote:HI, i would be greatful if people could test my OS on there PI's
As i am trying to get a picture of how many keyboards work.
Working with Logitech K120 keyboard.
Looking good.

phil95
Posts: 141
Joined: Wed Sep 12, 2012 8:10 am
Location: Paris

Re: Raspberry Pi OS

Thu Sep 13, 2012 7:50 am

Sorry for my last post, I was in the wrong topic...
I have tested DexOs but unfortunatly it doesn't boot.
I have only the colored start mire.
Some questions:
- Does it boot without keyboard ? (my keyboard is a PS2 keyboard with an adaptator PS2->USB) ?
- My SD card (8 GBytes) is formatted with 2 partitions (part 0 FAT32 (71 MBytes and part 1 LINUX). Is it mandatory to have only one partition on the SD card ?
Many thanks

Vanfanel
Posts: 433
Joined: Sat Aug 18, 2012 5:58 pm

Re: Raspberry Pi OS

Thu Sep 13, 2012 11:31 am

It boots succesfully from my 2GB Kingston micro-SD card with SD adapter. Now that's what I call an OS boot: fast and clean, Amiga-like.

But my keyboard doesn't work: it acceps first key push (be it left, right, enter...) but then it won't budge anymore. I can see the option move from "load program" to "Command Line", but just on the first key press.

Keyboard model is Conceptronic CKBFES C08-404.

Thanks for your work on this! I think we REALLY need a real, lightweight OS on the Pi for hardware-banging programming :) Dreaming of a Rpi demoscene based on this...

toxibunny
Posts: 1382
Joined: Thu Aug 18, 2011 9:21 pm

Re: Raspberry Pi OS

Thu Sep 13, 2012 2:26 pm

My wireless keyboard/mouse seems to work (the keyboard part, at least)

Externally, it's a Technika WKEY05, but it gets reported by raspbian as being ID 062a:0102 Creative Labs Wireless Keyboard/Mouse Combo.

Booted from a 32 megabyte SD card, BTW XD
note: I may or may not know what I'm talking about...

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Thu Sep 13, 2012 6:08 pm

Thanks all for testing and your reports on working or not, The keyboard seems to have 3 modes of working
1. not working at all
2. fully working
3. only returns first key press

I may post a ver that resets the usb after each key press, it may then work (in a slow way) for those that only get one key press, just so they can see how the OS works.
Cool it works with the wireless keyboard and big SD card.

Theres also a Uart ver, that replaces the keyboard with uart input from a pc/laptop to control the menu and cli.
But you need one of theres http://www.skpang.co.uk/catalog/ftdi-ba ... p-443.html

Also you can use DexOS functions and boot your own code written in asm or basic see here: http://www.dex-os.com/DexBasic/DexBasic.htm
Once again thanks for all your inputs.

@phil95, it should work fine with two partitions, but you must use the boot files from the boot folder (only the files not the folder) and add the kernel.img to the fat32 partition.
But the keyboard will not work with a usb to ps2 adapter.
Batteries not included, Some assembly required.

toxibunny
Posts: 1382
Joined: Thu Aug 18, 2011 9:21 pm

Re: Raspberry Pi OS

Thu Sep 13, 2012 9:51 pm

*small* SD card...
note: I may or may not know what I'm talking about...

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Fri Sep 14, 2012 5:56 pm

toxibunny wrote:*small* SD card...
Sorry, yes i meant small SD card :) .
Batteries not included, Some assembly required.

g4eml
Posts: 56
Joined: Wed Oct 05, 2011 1:50 pm

Re: Raspberry Pi OS

Fri Sep 14, 2012 7:55 pm

Tried it with a 'Tesco Value' keyboard and worked fine, although I have to type slowly to avoid missed key presses.

Tried it with an 'ASDA ' Keyboard and it would not respond at all.

Both keyboards show up as the same manufacturer when checked in Linux. It looks like even small differences in model number can confuse the driver.

Working Tesco keyboard identifies as "Holtec Semiconductor Inc. Keyboard" Vendor ID 04D9 Product ID 1603

Non working Asda keyboard identifies as "Holtec Semiconductor Inc. Shortboard Lefty" Vendor ID 04D9 Product ID 1503

I also noticed that if the non-working keyboard is unplugged the screen blinks off then returns.
Unplugging the working keyboard does not cause the screen to blink.


Congratulations on getting this far. A simple operating system with access to keyboard, screen and SD card (and maybe basic ethernet) that can run assembler or C programs would make a good embedded board. I will monitor your progress with interest.

Colin

User avatar
DexOS
Posts: 876
Joined: Wed May 16, 2012 6:32 pm
Contact: Website

Re: Raspberry Pi OS

Fri Sep 14, 2012 10:14 pm

g4eml wrote:Tried it with a 'Tesco Value' keyboard and worked fine, although I have to type slowly to avoid missed key presses.

Tried it with an 'ASDA ' Keyboard and it would not respond at all.

Both keyboards show up as the same manufacturer when checked in Linux. It looks like even small differences in model number can confuse the driver.

Working Tesco keyboard identifies as "Holtec Semiconductor Inc. Keyboard" Vendor ID 04D9 Product ID 1603

Non working Asda keyboard identifies as "Holtec Semiconductor Inc. Shortboard Lefty" Vendor ID 04D9 Product ID 1503

I also noticed that if the non-working keyboard is unplugged the screen blinks off then returns.
Unplugging the working keyboard does not cause the screen to blink.


Congratulations on getting this far. A simple operating system with access to keyboard, screen and SD card (and maybe basic ethernet) that can run assembler or C programs would make a good embedded board. I will monitor your progress with interest.

Colin
Thanks g4eml, for that info, i am work on the SD driver and file sys.
I have noticed even on working keyboards, theres a big difference in speed you can type in from one make to another.
The "screen to blink" could mean the none working one coursers a reset on removing from usb.
Thanks again for testing, very helpful info.
Batteries not included, Some assembly required.

phil95
Posts: 141
Joined: Wed Sep 12, 2012 8:10 am
Location: Paris

Re: Raspberry Pi OS

Sat Sep 15, 2012 8:12 pm

Hello,
I have purchased a new USB keyboard LOGITECH K 200,
and still the same problem, DeXos doesn't boot on my RPI.
I have build a new SD card (4 GBytes), put the files of http://www.dex-os.com/MinDos/PiDexOS.zip,
all in the \ directory of the SD card, and still no boot, only the polychrom mire.
My configuration is normal, output PAL (sdtv_mode=2) and keyboard AZERTY.

But if I put the files from the Raspbian, surprise, DexOs boot and is working ...
Are you sure, the files in the ZIP are compatibles with your kernel.img (4385635)?

Files in the ZIP (doesn't boot on my RPI):
bootcode.bin 16528
loader.bin 314691
start.elf 2047400

Files from RASPBIAN (boot and run correctly):
bootcode.bin 16536
loader.bin 275235
start.elf 2458128

Thank's for your help ...

Return to “Bare metal, Assembly language”