Publish LimengOS of L4Re microkernel running on BBB

LimengOS

The LimengOS is based on L4Re snapshots (ver: 22.04) OS framework

LimengOS is the L4Re microkernel that develop new Device Driver Environment(DDE)

by linux-3.2.0 to build device drivers environment for Arm AM335x devices.

Develope drivers for AM335x

  • Power and Clock Management

  • Control module

  • Ethernet subsystem

  • The enhanced direct memory access (EDMA)

  • General-purpose memory controller (GPMC)

  • Mtd Nand driver

  • Multimedia Card (MMC)

  • I2c and Gpio

Implement Virtual File Systems

  • Ubifs filesystem

  • Ext4 filesystem

Implement Tcp/Ip Stack

  • Lwip-2.1.2

  • http server

  • wget implement

2 Likes

The Log On BeagleBone Black(BBB)

U-Boot SPL 2021.10-00011-g6988a04622-dirty (Nov 28 2022 - 14:47:54 +0800)
Trying to boot from MMC2


U-Boot 2021.10-00011-g6988a04622-dirty (Nov 28 2022 - 14:47:54 +0800)

CPU  : AM335X-GP rev 2.1
Model: TI AM335x BeagleBone Black
DRAM:  512 MiB
Reset Source: Global external warm reset has occurred.
Reset Source: Global warm SW reset has occurred.
Reset Source: Power-on reset has occurred.
RTC 32KCLK Source: External.
WDT:   Started with servicing (60s timeout)
MMC:   OMAP SD/MMC: 0, OMAP SD/MMC: 1
Loading Environment from EXT4... OK
Board: BeagleBone Black
BeagleBone Black:
BeagleBone Cape EEPROM: no EEPROM at address: 0x54
BeagleBone Cape EEPROM: no EEPROM at address: 0x55
BeagleBone Cape EEPROM: no EEPROM at address: 0x56
BeagleBone Cape EEPROM: no EEPROM at address: 0x57
Net:   eth2: ethernet@4a100000, eth3: usb_ether
Press SPACE to abort autoboot in 1 seconds
ethernet@4a100000 Waiting for PHY auto negotiation to complete. done
link up on port 0, speed 100, full duplex
Using ethernet@4a100000 device
TFTP from server 192.168.3.23; our IP address is 192.168.3.100
Filename 'bootstrap.uimage'.
Load address: 0x82000000
Loading: ##################################################  7.6 MiB
         3.8 MiB/s
done
Bytes transferred = 7982708 (79ce74 hex)
## Booting kernel from Legacy Image at 82000000 ...
   Image Name:   L4 Image #159
   Created:      2023-04-10   7:53:51 UTC
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    7982644 Bytes = 7.6 MiB
   Load Address: 81000000
   Entry Point:  81000000
   Verifying Checksum ... OK
   Loading Kernel Image

Starting kernel ...


L4 Bootstrapper
  Build: #159 Mon Apr 10 15:53:49 CST 2023, 9.4.0
  Scanning up to 512 MB RAM, starting at offset 32MB
  Memory size is 512MB (80000000 - 9fffffff)
  ....
wget    | dhcp start...
ankh    | PHY: 0:00 - Link is Up<c> - 100/Full<c>
lwip    | Network interface is up.
lwip    | IP: 192.168.3.26
lwip    | GW: 192.168.3.1
lwip    | to read file :rom/L4Re.html
lwip    | read file ret len = 20020
lwip    | to read file :/sys/test_new_dir/new.html
lwip    | read file ret len = 20020
lwip    | md5sum = c5067d0a4cb3513312918c078af34828
lwip    | socket created: 3
lwip    | bound to addr: -1
lwip    | listen(): 0
wget    | Network interface is up.
wget    | IP: 192.168.3.25
wget    | MASK: 255.255.255.0
wget    | GW: 192.168.3.1
wget    | --1970-01-01 00:00:05--  http://mirrors.bupt.edu.cn/ubuntu-releases/20.04.6/ubuntu-20.04.6-live-server-amd64.iso.zsync
wget    | Resolving mirrors.bupt.edu.cn... 211.68.71.120
wget    | Connecting to mirrors.bupt.edu.cn|211.68.71.120|:80... connected.
wget    | HTTP request sent, awaiting response... 200 OK
wget    | Length: 2905205 (2.8M) [application/octet-stream]
wget    | Saving to: `/sys/ubuntu-server-amd64.iso.zsync'
wget    |
100%[======================================>] 2,905,205    640K/s   in 4.5s
wget    |
wget    | 1970-01-01 00:00:10 (637 KB/s) - `/sys/ubuntu-server-amd64.iso.zsync' saved [2905205/2905205]
wget    |


1 Like

Does this line support your host or the armhf arch?

wget | 1970-01-01 00:00:10 (637 KB/s) - '/sys/ubuntu-server-amd64.iso.zsync' saved [2905205/2905205]

Anyway, keep it up. It seems like you have an OS built already!

Seth

P.S. I was thinking you were building on the amd64 server. If this is true and right, okay. Or…are you building on the BBB for an image for 64-bit arch, i.e. like aarch64?

Hi,

The log from the BBB board, that image had built by L4Re microkernel OS,

I had ported am335x device drivers from linux-3.2.0 to that microkernel OS,

Plan to implement L4Re microkernel OS 's product On BBB board.

see github: https://github.com/limengOS/limengOS.git

Thanks

在 2023/4/22 06:30, Seth via BeagleBoard 写道:

2 Likes