Debian Source and Steps for Compilation

[mkleox]

Hi,

I am working on a project with the OSD32MP1-BRK board and I tried the Debian Linux on that. Everything works perfectly.
But now I want to modify the kernel to remove some unnecessary parts and drivers and also change the device tree. I want to know if you are planning to provide documentation and a user guide about how to compile the baseline Debian for the OSD-BRK board.

Best regards,
Leox

[Neeraj Dantu]

Leox,

We will release the Debian build system in the coming weeks along with some documentation. Please keep a look out for announcements.

Best,

Neeraj

[mkleox]

Hi,

I appreciate it if we could get a general time schedule for this announcement.

BR,
Leox

• This reply was modified 3 years, 2 months ago by mkleox.

[mkleox]

Hi,

Thank you for the prompt response.
This is great news.

looking forward to the announcement.

BR,
Leox

[karlchansen]

https://octavosystems.com/forums/users/neeraj-dantu/ — We are also looking for this. Any anticipated availability date?

[Neeraj Dantu]

Karl & Leox,

The source code should be online in the next week.

Best,

Neeraj

[Anton]

Hi!

We would like to use OSD32MP15x module in our products.
Debian/rootfs build scripts will be very appreciated.
Waiting for the release.

Thanks!

Best regards,
Anton

[Neeraj Dantu]

Anton,

We are wrapping up the finishing touched on the SDK. It should be officially released by the end of next week 3/26.

Best,

Neeraj

[Greg Sheridan]

The Debian SDK for the MP1 has been posted here.  Currently it is set up to support the OSD32MP1-RED so some modification will be needed for the OSD32MP1-BRK.

• This reply was modified 3 years, 1 month ago by Greg Sheridan.

[mkleox]

Thank you so much for sharing this.
I wanted to ask if there is any simple instruction for the preparation of the environment and compilation for the brk boards?

We are new to the Device Tree and the embedded Linux compilation.
We are developing our system based on this processor and this would really help us in facilitating the development of the final product.

[Neeraj Dantu]

mkleox,

We are currently putting together Debian support for BRK. The binary image for Debian is available in the BRK page here: https://octavosystems.com/octavo_products/osd32mp1-brk/#Software. You can use the Device tree sources(https://github.com/octavosystems/OSD32MP1-BRK-device-tree/tree/v1.2) if you want to make changes to the hardware configuration. For compilation of the device tree please take a look at how to use the developer package: https://wiki.st.com/stm32mpu/wiki/How_to_compile_the_device_tree_with_the_Developer_Package. Please note that you will need to use OpenSTLinux V1.2 linked here: https://wiki.st.com/stm32mpu-ecosystem-v1/wiki/Main_Page.

Best,

Neeraj

[mkleox]

Dear Neeraj,

Thank you so much for the reply. This was really helpful.

Just one more request; Is there any CubeMX project for the brk board that you can share with us?

I used the OSD32MP15x_MinimalConfig.zip provided here: https://octavosystems.com/app_notes/stm32mp1-cubemx-tutorial-for-osd32mp15x/

but after the compilation, when I replace the .dtb file in the bootfs of the Debian image with the new .dtb file from CubeMX output, the board does not boot successfully.

[Author]

Posts